AI快开门
发现AI的无限可能
首页
工具
模型
模型历史
模型排名
模型价格
话题
简报
搜索
首页
工具
模型
话题
简报
搜索
← 返回话题列表
#
自主证明
相关话题
2026-10-01
AI for Science与自主推理突破
AI在基础科学领域取得标志性突破,10个Claude模型自主协作完成百年未解的汤姆逊问题严格数学证明,全程无需人类干预;同时MitoSpace解码线粒体四维时空图谱。这标志着AI自主推理与复杂问题求解能力达到新高度,加速科学研究范式变革。
AI for Science
数学推理
汤姆逊问题
线粒体
自主证明