广场
最新
热门
资讯
我的主页
发布
GPT-5.6调64个Agent，一小时给出50年猜想证明
区块律动
2026-07-11 01:31:38
关注
摘要生成中
据动察 Beating 监测，OpenAI 称，GPT-5.6 Sol Ultra 调用 64 个子 Agent，用不到 1 小时，为提出约 50 年的「循环双覆盖猜想」给出一份证明。
OpenAI 已公开完整 prompt 和证明全文，并开源 Lean 形式化版本。相关代码已通过 Lean 内核检查。不过，这仍是 OpenAI 发布的结果。数学界尚未完成独立审查，因此暂时只能说「给出证明」，不能直接说「正式解决」。
此页面可能包含第三方内容，仅供参考（非陈述/保证），不应被视为 Gate 认可其观点表述，也不得被视为财务或专业建议。详见
声明
。
赞赏
点赞
评论
转发
分享
评论
请输入评论内容
请输入评论内容
评论
暂无评论
热门话题
查看更多
#
预测世界杯挪威VS英格兰
31.94万 热度
#
GateUS合规扩展佛罗里达
431.9万 热度
#
美股AI概念股普涨
251.96万 热度
#
美伊战争阴云再起
399.69万 热度
#
GUSD年化升至3.8%
86.28万 热度
置顶
网站地图
GPT-5.6调64个Agent，一小时给出50年猜想证明
OpenAI 已公开完整 prompt 和证明全文，并开源 Lean 形式化版本。相关代码已通过 Lean 内核检查。不过，这仍是 OpenAI 发布的结果。数学界尚未完成独立审查，因此暂时只能说「给出证明」，不能直接说「正式解决」。