OpenAI 让内部前沿模型做数学开放问题,并公开 Lean 形式化证明
OpenAI 公布其内部前沿模型在数学开放问题上的新结果,同时在 GitHub 上开源 Lean 证明形式化与研究细节,把「AI 做数学」从演示推向可验证、可复现的路径。
重要论文与方法
OpenAI 公布其内部前沿模型在数学开放问题上的新结果,同时在 GitHub 上开源 Lean 证明形式化与研究细节,把「AI 做数学」从演示推向可验证、可复现的路径。

PhAI Labs 将 Yann LeCun 提出的 JEPA 架构扩展到机器人、生物医学等七个领域,并由此筛出一个在实验室测试中表现积极的肝癌治疗候选方案,但距离真正的疗法仍有距离。

JEPA-Anything 将 JEPA 的单一潜空间目标拆解为四个正交因子,各配独立预测器,在七个领域、十项动力学任务上全面超越匹配基线,并将 Interventional Pong 的干预误差降低 34.8%。
Hacker News 上关于“AI 意识信徒”的讨论引发关注:在模型能力不断逼近人类对话体验的当下,如何区分流畅表达与真正的主观体验,正在成为技术与哲学交叉处的现实问题。

The Verge 一文借控制论之父维纳的名言,反思人类心智是否具备理解 AI 的能力,以及业界将大脑类比为图灵机的思维惯性。

一篇引发讨论的观点指出:真正危险的并非科幻式的超级智能或邪恶意图,而是把 AI 接入核指挥链条后,由误判、速度与自动化叠加出的系统性风险。

Google 研究者提出 RRSI,用于抑制自我改进型 AI Agent 对测试任务的记忆化倾向,在未见过的基准上最多提升 4.7 分,同时比未加正则化的版本少用约 30% token。

哈佛物理学家用开源工具BootLoops配合Claude,三个月产出36篇跨18个领域的论文草稿;但Schwartz强调,成果往往要等人类专家介入后才真正具备科学价值。

当多数前沿实验室将高风险研究锁在内部时,Trillium Labs 选择公开自我改进与模型行为方向的探索,这背后是对AI研究透明度与安全平衡的一次重新押注。

MIT Tech Review 发文质疑大模型的推理能力,以 AlphaGo 第37手为引,探讨 LLM 与真正推理之间的差距。

Ars Technica 报道,长期难倒 AI 的军棋(Stratego)因大部分棋子身份不可见而成为难题,研究者引入第二个用于推测隐藏棋子身份的神经网络后取得突破。
