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

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

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

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

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

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

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

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

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

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

未来几个月，OpenAI 将发布一个名为 GPT-5 的模型，该模型将 OpenAI 的大量技术融入 ChatGPT 和 API 中，包括 o3。由于该路线图决策，OpenAI 不再计划将 o3 作为独立模型发布，o3 将成为 GPT-5 的一部分。

随着AI技术在未来十年的持续升级，它将成为每个人手中的 “超级助手”，大幅提升工作效率和创造力，让人们能够涉足更广泛的领域，完成更复杂的任务，从而创造出远超当下的价值。