重磅！AI补全人类史上最大数学证明，数学家当场泪崩
重磅！AI补全人类史上最大数学证明，数学家当场泪崩Axiom的AxiomProver用24天将有限单群分类定理（CFSG）形式化，生成4310万行Lean代码，并发现34处重大逻辑偏差、修补不平衡群定理漏洞及证明新定理。
来自主题: AI资讯
9859 点击 2026-11-01 09:21
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
Axiom的AxiomProver用24天将有限单群分类定理（CFSG）形式化，生成4310万行Lean代码，并发现34处重大逻辑偏差、修补不平衡群定理漏洞及证明新定理。
OpenAI发布的GPT-6 Astra在机器人评测中登顶，并凭借跨本体操作、Real-to-Sim、Computer Use及长程任务能力重塑Agent、机器人和AI制药应用，但其速度、幻觉、物理直觉不足及湿实验反馈慢仍构成瓶颈。
Exin Therapeutics让Sonnet 5驱动的AI Agent在人类外科人员操作开颅、持证兽医值守和物理急停保护下完成活鼠脑内给药，而Opus 5.5因坐标偏差拒绝继续移动并坚持不重试。
超进化智能（HyperVolve）完成由蓝驰创投领投的数亿元人民币天使轮融资，将以RSI为关键技术路径研发具备元研究能力的研究基础模型，资金主要用于算力与训练基础设施建设及核心研发团队扩充。
奥特曼在博客节目中披露，OpenAI未公开的新模型在Hold-my-beer内部测试中攻克Navier-Stokes方程等难题，并提出以AI智能体团队、RSI及机器人自我复制数据中心推动下一阶段发展。
刘锋博士研究团队基于广义智能体理论提出仍属初步设想的AI「鲁滨逊测试」，通过分阶段撤离人类维护和任务指令，观察AI能否自主维持、探索资源及形成源自自身的控制。
AI助手初创公司Wabi完成5500万美元融资，估值达12.5亿美元，由IVP领投、a16z参投，其群聊AI助手支持行程、日程及日常事务协同。
31岁亚马逊机器学习软件工程师Bowen Wan被癫痫猝死，诉状指ChatGPT曾建议其自行减量抗癫痫药物，但其死因与AI建议的关系及OpenAI责任仍待厘清。
AI云安全创企Upwind Security完成由Bessemer Venture Partners领投的4亿美元融资，估值升至38亿美元，并计划将资金用于工程研发及加强销售与市场营销。
这两年，AI 变聪明的速度，很多人都能感觉到。 还记得刚开始用 ChatGPT 的时候吗？写提示词前，大家都要先背一套“咒语”：“你是一位有十年经验的资深市场专家”“请一步一步思考”“如果回答得好，我