搜索结果
韦神主攻的千禧年难题 被Claude攻破了？
原来，首位华人菲尔茨奖获得者、清华大学教授丘成桐也是新智元读者！昨日，我们报道了费马大定理的证明被 Claude 首次形式化，其中的关键是清华姚班校友彭天翼基于 Claude 的 Prove2Me 系统。出乎我们意料的是，丘成桐先生悬赏 10 万元，征集对佩雷尔曼的庞加莱猜想证明的形式化验证！ 庞加莱猜想是拓扑学中一个关于三维空间形状的著名数学定理，指出如果在一个封闭的三维空间里，每条封闭的曲线都
OpenAI称已攻克数学‘千禧年难题’之一
突发消息：OpenAI表示已攻克数学领域最大的未解难题之一，这是人工智能将如何改变该领域的又一显著标志。 该公司的这一声明是迄今为止最引人注目的迹象，表明人工智能正在从根本上改变高等数学领域。
“不成熟的操场吹嘘”：数学家对 OpenAI 的最新战果感到不安
随着 OpenAI 的模型攻克了困扰专家数十年的千禧年大奖难题，许多人对变革的速度感到震惊。这让数学家们感到晕头转向。在人工智能不断推动该领域发展的多起案例之后，OpenAI 宣布其最新的 AI 模型攻克了一个千禧年大奖难题——一个悬赏 100 万美元、数十年里一直难倒人类大脑的谜题。 这一成就与数学问题的常规解决方式几乎没有相似之处。一家价值近万亿美元的私营公司向该问题部署了 10,000 个智
那个永远改变了数学的星期——播客
九月初，OpenAI宣布他们解决了一个困扰人类近一个世纪的重大数学问题。 这一消息让数学家们感到震惊，许多人担心随着AI在解决复杂问题方面变得越来越熟练，人类将失去什么。 现在，25位菲尔兹奖（常被称为数学界的诺贝尔奖）得主签署了一封公开信，表达了他们对AI公司与数学界之间可能存在“严重脱节”的担忧。 为了了解AI将如何颠覆数学领域以及数学家们可能会做出怎样的反应，Ian Sample采访了圣安德
费尔兹奖得主警告：AI竞赛对数学领域构成威胁
邓煜、陶哲轩（右）。（《麻省理工科技评论》照片） （纽约17日综合电）法新社报导，25位数学界最高荣誉“费尔兹奖”(Fields Medal)得主上周五（11日）发表联名信警告，人工智能(AI)公司竞相破解著名的未解数学难题，可能会对这个领域造成持久伤害。 在陶哲轩等数学家签署、并在他的部落格发表这封警告信的几天前，美国AI公司OpenAI才刚表示，旗下的AI模型已破解一项数代数学家都无法破解的“
AI解决了一个数学上最棘手的问题。人类(目前)什么也没学到
特里斯坦·巴克马斯特是纽约大学的一位数学家。2026年9月11日，他在曼哈顿的办公室里为肖像摄影摆姿势。巴克马斯特和他的合作者莱文特·阿尔普格一直在研究纳维-斯托克斯方程。他们与OpenAI发生冲突，后者声称已经破解了这些方程。 卡斯滕·莫兰/为《华盛顿邮报》/盖蒂图片社 拍摄 隐藏说明 切换说明本月早些时候，当OpenAI宣布其人工智能解决了世界上最棘手的数学问题之一时，其语气充满庆祝意味：“我
OpenAI成立数学顾问小组，其AI已解决100多个开放问题
周一，OpenAI宣布成立了一个新的独立咨询小组，该小组设在位于新泽西州普林斯顿的高等研究院（Institute for Advanced Study）内。这个名为“数学与人工智能咨询小组”（Advisory Group on Mathematics and Artificial Intelligence）的机构旨在让数学家们能够更多地参与公司的数学研究工作。 “这个咨询小组将充当数学界与公众之间
OpenAI 称其模型攻克数学最难难题之一，研究人员提出质疑
美国科技巨头 OpenAI 于周二表示，他们仅用了 88 小时和价值数百万美元的计算能力，就用一款未发布的人工智能模型解决了数学中最棘手的问题之一。 然而，一位美国数学家和竞争对手 Anthropic 的一名研究人员指控称，OpenAI 只有在获悉他们自己利用人工智能攻克该难题的努力后，才着手解决这一问题，而后者耗费了数月时间来构思一种截然不同的独特方法。
OpenAI狡猾的数学突破让学术界不寒而栗
OpenAI周二宣布解决了数学界传奇的千禧年大奖难题之一，这本应是一个胜利的时刻。 这一成果既是一项不可否认的成就，也惊人地展示了人工智能正在以多快的速度改变数学。 但在这项突破正式宣布之前，它就已经因促使OpenAI追求这一问题的异常情况而变得复杂。 在听说其他研究人员正在取得进展后，它似乎投入了大量资源，在最后一刻努力抢先一步。随之而来的争议引发了关于抢占、刺探的指控……
人工智能圈的人似乎并不理解智能
作者：高塔姆·穆昆达。就在OpenAI宣称其模型擅长小学数学仅仅三年后，该公司宣布它们在88小时内解决了纳维-斯托克斯千年奖问题，而这个问题自20世纪30年代以来一直困扰着人类最伟大的数学头脑。将这一趋势向前推演，你就能理解为什么OpenAI首席执行官萨姆·奥尔特曼认为人工智能将治愈所有疾病——以及为什么人们担心失控的人工智能可能伤害人类。 圣塔菲研究所的科学家梅拉妮·米切尔和戴维·克拉考尔将人工
评论：人工智能的领袖们真能为了共同利益而放下竞争吗？
上周，数学界被一项声称取得的突破所震动——一个困扰了人们两百多年的复杂方程组“纳维-斯托克斯方程”的长期难题据称得到了解决。 这是首批借助人工智能解决的同等量级难题之一，本应作为一项智力成就受到庆祝。但相反，这一消息却因一场愈演愈烈的争议而蒙上阴影：功劳究竟该归于纽约那位数学家及其来自AI巨头Anthropic的合作者——他们此前已接近解决方案，还是归于其竞争对手OpenAI——后者花费了数百万美
数学家们发表了可机器校验的证明。OpenAI在与记者的通话中宣布了其结果。
OpenAI表示，其一个内部模型利用约10,000个智能体在88小时内证明了3D纳维-斯托克斯方程可以在有限时间内发展出奇点。 该公司在一次新闻发布会上描述了这一结果，但尚未公布证明过程。 致力于相关问题的Tristan Buckmaster和Levent Alpoge发表了带有Lean形式化验证的预印本，任何人都可以对其进行机器校验。[…]
OpenAI丨CFO:企业业务增长势头劲
ChatGPT开发商OpenAI财务总监弗莱尔(Sarah Friar)透露，该公司企业业务增长非常强劲，7月收入按月增长32%，同期整体年化收入则升20%。 弗莱尔出席高盛会议时表示，该公司正将人工智能(AI)技术推向更专业行业领域，期望在成本方面取胜。她又称，正专注晶片设计、生命科学和金融服务等，企业愈来愈需要针对特别需要的度身定制AI系统，亦将基于业务成果而非使用量定价。 她透露，早前下调L
OpenAI在数学领域的明显突破引发了深刻的问题
它引发了关于这门学科应该如何运作的争议
三个月后的AI有多猛 连顶尖研究员都不敢预测了
一名参与千禧年难题攻关的研究人员，过去还愿意预测未来12个月的AI进展，现在连三个月以后都不敢判断了。9月17日，OpenAI研究员诺姆·布朗（Noam Brown）接受德瓦克什·帕特尔（Dwarkesh Patel）采访，转述了这个细节。访谈还谈到多智能体、AI参与制造下一代AI，以及越来越难做的安全测试。 这名研究人员参与的，是纳维-斯托克斯方程（Navier-Stokes）的存在性与光滑性问
数学家讨厌人工智能，却又离不开它
但这并不足以让他停止使用该公司的模型——持这种观点的数学家也不止他一人。 “即使你不同意这一切，你也几乎别无选择。由于人工智能如此有用，要完全避免使用它很难，”巴克马斯特（Buckmaster）告诉《连线》杂志。“这些公司拥有垄断地位，选择余地很小，”他补充道。 自纽约大学教授指控OpenAI抄袭其方法以来，已过去一个半月。在此期间，巴克马斯特一直在使用该公司的编程智能体Codex来整理他的研究论