DeepMind AlphaProof Nexus 解决多个开放数学问题

Google DeepMind 的 AlphaProof Nexus 解决了数十个开放数学问题，包括9个 Erdős 问题，其中2个已悬而未决56年。研究成果经过同行评审并发表在 Science 上，与 OpenAI 未经评审的做法形成对比。

• 什么是通用人工智能？OpenAI总裁称GPT-6 Astra或已实现AGI2026-10-28
• 英国拨款1亿英镑建AI生物安全实验室2026-10-23
• Elorian发布首个模型Glimpse，主打视觉推理2026-10-16
• 都柏林AI峰会聚焦安全：AI蠕虫与重大事件风险引担忧2026-10-14
• 一周科技综述：SpaceX拓展无线业务、亚马逊裁员、OpenAI收入下降2026-10-10