OpenAI突破数学难题！AI模型Astra解出十年未决问题
创始人
2026-08-02 15:10:16
0次
8月1日，OpenAI官方宣布在数学与理论计算机科学领域取得十项重大进展，这些成果曾长期悬而未决，且在至少十年的时间里未有实质性突破。这些成果由OpenAI下一代核心模型Astra的内部版本计算得出，若按SolAPI的费率计算，寻找这些问题解决方案所需消耗的总词元成本约为2000美元。
OpenAI强调，署名权应当如实反映研究成果的产生过程。人类研究员协助撰写了论文手稿，并在Lean语言中对这些证明进行了形式化验证，对其正确性负责；然而这些数学论证本身均由OpenAI的系统生成。这些进展包括高维球体堆积密度的新上界、二进制与球面码最大规模界限的指数级改进、非柔性群的存在性证明、康纳斯刚性猜想的证伪等。
具体进展涵盖了算术电路复杂性、量子平行重复、最近向量问题、埃尔哈特体积猜想、多色拉姆齐数、极值数猜想等多个领域。这些成果不仅展示了人工智能在解决复杂科学问题上的潜力，也为数学和理论计算机科学的发展开辟了新的道路。
相关内容
热门资讯
新能源车电池脱保潮来袭，灰色改...
8月2日，据快科技报道，未来八年内，国内将有近2000万辆新能源汽车电池面临脱保问题。到2028年，...
“国产AI新突破！DeepSe...
8月2日，DeepSeek宣布其最新版本DeepSeek-V4-Flash正式版API开启公测。国家...
广汽本田未来两年推5款新车，智...
8月2日，广汽本田在企业战略沟通会上宣布了其最新战略。广汽本田副总经理林志斌透露，未来两年内将推出5...
小米澎程N90Max：全尺寸S...
近日，小米汽车发布了答网友问（第265集），详细介绍了澎程系列旗舰SUV N90Max的核心亮点。这...
科普大咖汉克·格林因AI争议宣...
8月2日，海外科普创作者汉克·格林（Hank Green）宣布将放缓内容创作节奏，原因是他因使用AI...
沃尔沃S90限时置换价22.9...
日前，沃尔沃推出了全新S90的限时置换感恩价，将旗舰轿车的起步价降至22.99万元，活动时间为202...
奇瑞艾瑞泽8PRO 2027款...
8月1日，奇瑞汽车宣布2027款艾瑞泽8PRO将于8月10日上市。新车在智能维度实现全面进化，搭载猎...
OpenAI突破数学难题！AI...
8月1日，OpenAI官方宣布在数学与理论计算机科学领域取得十项重大进展，这些成果曾长期悬而未决，且...
岚图7月销量破万，追光S搭载华...
8月1日，岚图汽车公布了7月的交付数据，显示7月交付量为13189辆，1-7月累计交付量达到8945...
广汽埃安7月销量破3.4万，新...
今日，广汽昊铂埃安BU宣布7月销量达到34987辆，同比增长31.74%，显示出品牌的强劲增长势头。...