Aleph Prover 形式化了 OpenAI 对 Paul Erdős 平面单位问题的反驳，并发布了形式化内容。这是一个数学问题的 AI 形式化验证进展。
Yann LeCun转发招募信息，经过一年努力，现在可以轻松参与JEPA和World Models的研究工作。
Meta AI团队宣布启动ATLAS项目，这是迄今最大规模的自动化形式化验证努力之一。该项目旨在通过自动化技术提升形式化验证的效率与规模，推动AI在数学与软件验证领域的应用。
Nature发布新AI工具，生成超过十亿个预测蛋白质结构，以及数十亿更多蛋白质相关信息。
Ebetica发布仅需9行代码的蛋白质结构预测方法，无需多序列比对（MSA），达到最先进水平。
David Klindt宣布可证明JEPA学习内容，提出可识别的世界模型理论，标志着在AI可解释性方面取得进展。
JEPA-WM研究的第二版被TMLR会议接收并获得可重复性认证，已发布新数据。
《新英格兰医学杂志》一项研究显示，美国人在各收入水平上均比欧洲人早逝，且差距在扩大，覆盖不同收入群体。
美国艺术与科学院（American Academy of Arts and Sciences）的《Daedalus》期刊出版了由James Manyika编辑的AI与科学特刊。
Aleph，一个完全自洽的AI智能体系统，在包括Putnam在内的所有主要定理证明基准测试中表现优异，达到最高水平。
Yann LeCun转发消息：宣布发布NeuralBench，用于在开放环境中对神经AI模型和数据集进行基准测试，并提供了代码和白皮书。