刚刚，十个Claude 5.5攻克百年物理猜想！
刚刚，十个Claude 5.5攻克百年物理猜想！10个Claude Sonnet 5.5智能体通宵15小时、互发1270条消息并写出17895行Lean代码，在无人类介入的情况下完成悬置122年的汤姆逊问题N=7形式化证明，且通过Lean内核与nanoda双重验证。
来自主题: AI资讯
7528 点击 2026-09-30 11:56
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT