突发!OpenAI官宣24天攻破100+世界级数学难题
突发!OpenAI官宣24天攻破100+世界级数学难题数学界,真被AI追到家门口了!
搜索
数学界,真被AI追到家门口了!
在一道千禧年大奖难题的解答还在接受数学界审视的同时,超过 100 道长期开放问题也已经被内部模型解决。OpenAI 最新公布的信息描绘了这样的局面。
悬着的心终于死了。
数学界重大突破!
GPT-6 Astra联合三位人类研究员首次攻克FrontierMath基准测试中一道自2017年悬而未决的「重大进展」级数学难题,证明批准式委员会选举中「核」永远不为空,并创造性地提出基于「调和熵」的新型投票规则及多项式时间算法。
OpenAI还有大结果即将公布!
说AI毁了数学,可能还是太小瞧AI了。
大概是今年以来,AI 冲击各种数学猜想,越来越像永不结局的连续剧。这个模型又拿到了更高分,那个模型又解开了一道多年无人攻克的难题,人类的数学智慧岌岌可危。
新智元报道 你敢信? 人没上大学,研究已经接上了「菲尔兹奖得主」的工作了。 就在今天,UCLA数学圈传出了一条让所有人震惊的消息—— 两名高中生Aayush Bathija和Prince Rohatg
Shengtao Guo、Ethan X. Fang和Junwei Lu署名的预印本论文宣称利用Odin Automatic AI Research Agent证明了悬而未决40年的Komlós猜想并给出常数界3√(2π),次日陶哲轩等25位菲尔兹奖得主发表联合声明《AI在数学中的严重失准》,警告AI证明速度已远超学界验证与消化的能力。