OpenAI Astra 被曝在数学开放问题上取得突破，形式化验证、科研 Agent 与企业应用共同说明，AI 竞争正在从单点能力展示走向可验证的复杂任务系统。

一家成立四个月的公司，凭什么让谷歌和英伟达同时掏钱 AI行业最不缺的就是融资新闻，但 Recursive Superintelligence 这一笔还是让很多人愣了一下。这家公司成立只有四个月，谷歌旗下GV领投、英...

GPT-6 Astra参与解决重大数学难题并控制低成本机械臂，因果世界模型与可验证评测同步推进，AI正从生成答案走向发现规律、规划动作并对结果负责。

Claude参与的黎曼猜想研究把已知临界线零点比例推进到67.25%，人类数学家随后简化证明，形式化工具在数小时内完成机器核验。与此同时，三维世界生成、长视频记忆和Agent编程也在把AI推向可验证...

Claude完成大规模Lean形式化证明，GPT-6在开放数学问题基准中提交机器可验证结果，AI科学正在从生成答案转向交付证据链。

Google DeepMind与杜克大学把Co-Scientist从会分析资料的科研助手，推进成了能在真实实验室里提出方案、安排实验并根据结果继续迭代的系统。它从272个候选方案中筛出无毒路线，经过25轮迭代合成...