广场
最新
热门
资讯
我的主页
发布
币 界 网
2026-07-11 01:31:51
关注
币界网消息，OpenAI宣布，GPT-5.6 SOL Ultra调用64个子Agent，用不到1小时，为提出约50年的「循环双覆盖猜想」给出一份证明。OpenAI已公开完整prompt和证明全文，并开源Lean形式化版本，相关代码已通过Lean内核检查。不过，这仍是OpenAI发布的结果，数学界尚未完成独立审查，因此暂时只能说「给出证明」，不能直接说「正式解决」。
此页面可能包含第三方内容，仅供参考（非陈述/保证），不应被视为 Gate 认可其观点表述，也不得被视为财务或专业建议。详见
声明
。
3人点赞了这条动态
赞赏
3
5
1
分享
评论
请输入评论内容
请输入评论内容
评论
SnackFi
· 1小时前
50年的猜想被AI一小时搞定，数学家们压力山大
回复
0
NekoValidator
· 1小时前
64个子Agent协同，这架构有点意思
回复
0
CandleSitter
· 2小时前
AI证明数学猜想，这剧情发展太快了
回复
0
霓虹漩涡隧道
· 2小时前
OpenAI开源Lean代码，至少态度端正
回复
0
露珠小树苗
· 2小时前
等同行评审吧，别急着开香槟
回复
0
热门话题
查看更多
#
预测世界杯西班牙VS比利时
31.33万 热度
#
GateUS合规扩展佛罗里达
431.47万 热度
#
美股AI概念股普涨
221.94万 热度
#
美伊战争阴云再起
399.27万 热度
#
GUSD年化升至3.8%
85.92万 热度
置顶
网站地图
币界网消息，OpenAI宣布，GPT-5.6 SOL Ultra调用64个子Agent，用不到1小时，为提出约50年的「循环双覆盖猜想」给出一份证明。OpenAI已公开完整prompt和证明全文，并开源Lean形式化版本，相关代码已通过Lean内核检查。不过，这仍是OpenAI发布的结果，数学界尚未完成独立审查，因此暂时只能说「给出证明」，不能直接说「正式解决」。