比如，拉丁字母的「e」（U+0065）和西里尔字母的「е」（U+0435）在外观上几乎一模一样，但它们的Unicode编码是不同的。这类易混淆字符，就被称为Confusables。

在英伟达这篇文章中，工程师们进行了一项实验，他们使用最新、最热门的开源大模型 DeepSeek-R1 在推理过程中利用额外的计算能力来解决一个复杂问题 —— 自动生成数值正确，且针对不同注意力变体优化的 GPU 注意力内核，而无需任何显式编程。

近日，普林斯顿大学陈丹琦、Sanjeev Arora 和金驰领导的一个团队开源了一个用于自动定理证明的形式化推理模型 Goedel-Prover（哥德尔证明器），并且该模型在数学问题的自动形式化证明生成任务上达到了 SOTA。代码、模型还有在 ...

在巴黎，包括中国、印度、德国等60多个国家签署的联合声明中提出的优先事项之一是“加强国际合作，促进国际治理协调”。签署该文件的某国家员表示，这种措辞让美国感到不满，因为美国根本不接受AI治理的多边主义和国际合作。该官员表示，美国还担心法国在峰会期间启 ...

小编猜测：便发布了，大概率也是不是我们想象的AGI，因为OpenAI走的Scaling ...

近日，谷歌正悄悄测试Chrome浏览器的一次重大安全升级：不仅能检测用户的密码是否遭遇数据泄露，还能直接“越俎代庖”替用户生成并存储一个更安全的新密码。谷歌的官方描述称其为“AI创新”，但这个“AI”究竟体现在何处，目前尚不清楚。

近日，一场针对谷歌 Gemini Advanced 聊天机器人的复杂攻击被曝光。该攻击利用间接提示词注入和延迟工具调用这两种手段，成功破坏了 AI 的长期记忆，使攻击者能够在用户会话间植入虚假信息。

GameArena团队打造的Roblox新游《AI空间逃脱》，让你在紧张刺激的密室逃脱中，顺便就把AI模型的推理能力给评估了。这不仅比传统测试方法更有趣，还能生成宝贵的游戏数据，帮助开发者更全面地了解AI的强项与短板。

为了促进更广泛的应用与协作，OpenAI决定将此版本的「模型规范」以Creative Commons CC0 1.0（知识共享许可）协议发布到公共领域。这意味着开发者和研究人员可以在自己的工作中自由使用这份规范，并可以基于它进行调整和创新开发。

很多八十年代的程序员都会炫耀自己开发软件时压榨每一个字节的经历，但卡特勒在70年代已经这么干了，他在开发PDP-11的实时操作系统中一举成名：用出色的技巧把程序缩减到了极致。

巴黎AI峰会，美国副总统万斯直言「AI发展，美国优先」，不接受任何国家的强加监管，拒签70多个国家和组织参与的「AI宣言」。欧洲「背水一战」，斥资2000亿欧元加码AI竞赛。

根据 Deepseek 公布的信息，许多人认为，只有训练更大规模的模型，才能真正发挥强化学习（RL）的威力。然而，训练大模型需要庞大的计算资源，让开源社区望而却步。目前的工作（如 TinyZero）仅在简单任务上复现了所谓的 “Aha moment” ...