搜索结果
OpenAI未发布内部AI模型据称攻克纳维-斯托克斯方程难题
OpenAI未发布内部AI模型据称攻克纳维–斯托克斯方程难题，相关结果已由机器验证。报道还称，该公司动用了约1万个并发自主代理完成推理与形式化验证，但这项成果目前仍未被克雷数学研究所正式认定为千禧年大奖难题的已解答案。 公司称已用机器验证方式给出纳维–斯托克斯方程解法，但距离正式获奖仍有数学界审查程序要走。 OpenAI称，这一内部模型在数学与理论计算机科学方向的多项长期难题上都取得了突破；在先前
OpenAI发布其纳维-斯托克斯方程证明并表示不会申请千禧年大奖
当OpenAI在一次新闻发布会上宣布其内部模型攻克了数学中最困难的开放问题之一时，我们曾写道，没有人见过这个证明。 现在情况不再如此了，最新发布的内容以公告中未曾提及的方式缩小了这一说法的范围。OpenAI已经发布了一份总结报告、一篇PDF论文以及……
OpenAI有望攻克另一项千禧年大奖数学难题
还记得本月早些时候，数学家指责OpenAI试图抢占先机、争夺一道超高难度数学难题的成果，令这家公司陷入舆论风波吗？据了解该研究进展的人士透露，事实是OpenAI距离攻克千禧年大奖难题中的另一道数学难题已近在咫尺。千禧年大奖难题一共包含七大著名数学挑战，此前引发争议的纳维–斯托克斯方程存在性与光滑性问题正是其中之一。 该消息人士称，公司内部员工预计，下一个目标——霍奇猜想，有望在较短时间内得到证明。
OpenAI解出千禧年数学难题后，Altman下一目标：攻克室温超导？
OpenAI正将AI驱动的科学发现推向更广阔的领域。9月8日，OpenAI宣布，其内部AI系统已提出纳维-斯托克斯方程存在性与光滑性问题的解决方案，并通过Lean形式化验证。这是七大千禧年大奖难题之一，也意味着AI在前沿数学研究中的能力再次向前迈进。 据OpenAI官网公告，这套系统由约1万个并发智能体组成，从启动到形成解决方案耗时约88小时。OpenAI称，完成证明所使用的内部模型“能力显著超越
OpenAI前沿数学训练数据来源与数据使用边界遭深度质疑
伴随OpenAI高调宣布其内部人工智能系统成功攻克困扰数学界近百年的“千禧年大奖难题”之一——纳维-斯托克斯方程（Navier-Stokes）的存在性与光滑性问题，一场围绕前沿模型底层训练数据来源、科研知识产权归属以及学术伦理的巨大争议迅速在全球学术界与科技行业引爆。 在人工智能逐步侵入基础科学研究前沿的当下，OpenAI这类巨头的高阶数学推理模型究竟从何处汲取关键养分，以及科研人员在日常使用商业
OpenAI数学领域取得突破 但相关成果归属存在多方争议
ChatGPT开发商OpenAI宣称攻克数学界一大难题后，卷入了与一名数学家的公开争执。这名数学家此前正与其头号竞争对手Anthropic的一名研究员开展相关研究。OpenAI于周二宣布，一款尚未对外发布的内部模型求解出了纳维-斯托克斯方程。这道复杂数学难题的悬赏奖金高达100万美元。 但纽约大学数学家特里斯坦・巴克马斯特对此成果提出指控，称OpenAI存在不当行为。巴克马斯特此前曾与Anthro
25名菲尔兹奖得主批评AI解数学难题
被誉为“数学界诺贝尔奖”的菲尔兹奖得主中，有25名数学家于9月11日发表紧急声明，批评企业试图利用人工智能解决数学难题的做法。他们表示，今后还将继续征集更多数学家的签名。 这份声明被认为与美国OpenAI宣布利用AI解决名为“纳维-斯托克斯方程”的数学难题有关。纳维-斯托克斯方程是美国克雷数学研究所于2000年公布的“千禧年大奖难题”之一。这7道难题每道悬赏100万美元（约合人民币710万元）。
“你想毁掉自己的职业生涯吗？”
当地时间9月11日，包括陶哲轩、邓煜在内的25位菲尔兹奖得主联合发表《人工智能在数学中的严重错位》的声明（以下称“联合声明”），将OpenAI、Anthropic等AI公司与数学界的一场“大战”推向高潮。联合声明称，AI公司将解决数学难题作为模型能力基准的做法，对数学科学本身及数学界造成了损害，与数学共同体追求概念理解的根本目标产生了显著分歧。这一分歧近期越发明显。9月8日，OpenAI宣称其未公
陶哲轩、邓煜等菲奖得主联合抗议：AI公司正毁掉整个数学圈
OpenAI，又开始对黎曼猜想和P与NP问题下手了？？最近，这些AI大公司仿佛疯了一般在冲刺“千禧年问题”的KPI。9月8日，NS方程被宣布解决；9月11日，第二道千禧年难题霍奇猜想被曝接近解决；据称，O/A两家正疯狂竞速，向BSD猜想发起冲锋。到了今天，OpenAI已经在用内部模型尝试解决黎曼猜想和P与NP问题。如果该模型证明了 P = NP，整个计算机科学领域都将被颠覆！然而，人类数学家们已经
OpenAI宣布成立数学与AI顾问组，神秘新模型24天攻破100+世界级难题
IT之家 9 月 22 日消息，OpenAI 宣布成立“数学与 AI 顾问组”（Advisory Group on Mathematics and Artificial Intelligence）。据介绍，该顾问组设在普林斯顿高等研究院，由九位数学家组成，将独立于 OpenAI 运作。 相较于此，更重磅的是 OpenAI 在公告中披露 —— 公司于 8 月 28 日开始训练的一个神秘模型已成功解决
当人工智能解出“千禧年难题”，人类还需要亲自做数学吗？
【编者案】什么是信息，什么是知识？在 AI 时代，两者有怎样的差别，又有哪些知识是仍然值得拥有的？人工智能发展正对许多学科带来冲击，尤其是在信息丰富，但需投入海量计算资源的领域，例如预测新的蛋白质 3D 结构，解决数学问题，描绘生物演化关系等。前所未有的效率工具让学科进步提速，但变化日新月异，想要辨明当下的发展方向也变得更加困难。端传媒推出“未来怎么学”系列，关心 AI 时代的学习问题，大到“还要
OpenAI暴力截胡，数学家集体声讨
这是AI第一次宣称攻破克雷数学研究所悬赏100万美元的“千禧年大奖难题”之一。然而，这一高调宣示不仅没有赢得学术界的掌声，反而引发了一场关于学术道德与数据掠夺的声讨。 几乎就在同一时间，纽约大学数学家特里斯坦·巴克马斯特（Tristan Buckmaster）发表声明，指控OpenAI“截胡”了自己和合作者一年多来的核心成果。 NS方程由法国科学家克劳德-路易·纳维（Claude-Louis Na
OpenAI 历史性数学解题引发署名争议，光芒受掩
OpenAI 宣布其人工智能已解决纳维-斯托克斯千禧年大奖难题，这是一项潜在的历史性突破，但由于外部数学家尚未发表的研究引发了种种质疑，其光芒受到掩盖。 争议直击人工智能辅助研究的核心信任问题：研究人员能否安全地使用前沿实验室的工具来开展未公开的发现工作。 现状：OpenAI 周二表示，一个内部模型（“能力显著强于 GPT-6 Astra”）生成了三维纳维-斯托克斯方程可能在有限时间内发展出奇点的
OpenAI称AI模型解决了数学“千禧年大奖难题”之一
未发布的模型耗时88小时，动用了多达10,000个AI智能体来解决纳维-斯托克斯问题。
纽约大学数学家称OpenAI在造就职业生涯的数学难题上使用不公平手段
纽约大学数学教授特里斯坦·巴克马斯特（Tristan Buckmaster）于周二宣布了三项证明，并对理论数学中主要未解问题之一给出了初步研究结果。这些发现是与Anthropic数学家勒旺·阿尔珀热（Levent Alpöge）合作完成的，并使用了Codex和Claude AI模型，其本身意义重大——但它们也伴随着一场不同寻常的争议，涉及OpenAI试图解决同一问题的尝试。 巴克马斯特在宣布证明的
《卫报》观点：AI 对决数学家——人类仍是该领域核心，科技公司却拒不承认 | 社论
OpenAI 声称其智能体已解决纳维-斯托克斯问题。但关于其工作的实用性和独立性仍存疑问。9月8日，OpenAI 宣称其 AI 智能体解决了纳维-斯托克斯问题，这是数学界最著名、最困难的挑战之一。若由人类解出，本可获得奖金和同行赞誉。该声明反而引发了部分数学家所谓的领域“生存危机”，并招致 OpenAI 滥用人类成果的指责。 纳维-斯托克斯背后的数学难以理解，但数学家们的批评对艺术家、办公室职员或
三个月后的AI有多猛 连顶尖研究员都不敢预测了
一名参与千禧年难题攻关的研究人员，过去还愿意预测未来12个月的AI进展，现在连三个月以后都不敢判断了。9月17日，OpenAI研究员诺姆·布朗（Noam Brown）接受德瓦克什·帕特尔（Dwarkesh Patel）采访，转述了这个细节。访谈还谈到多智能体、AI参与制造下一代AI，以及越来越难做的安全测试。 这名研究人员参与的，是纳维-斯托克斯方程（Navier-Stokes）的存在性与光滑性问
数学家们发表了可机器校验的证明。OpenAI在与记者的通话中宣布了其结果。
OpenAI表示，其一个内部模型利用约10,000个智能体在88小时内证明了3D纳维-斯托克斯方程可以在有限时间内发展出奇点。 该公司在一次新闻发布会上描述了这一结果，但尚未公布证明过程。 致力于相关问题的Tristan Buckmaster和Levent Alpoge发表了带有Lean形式化验证的预印本，任何人都可以对其进行机器校验。[…]
OpenAI的Bubeck否认试图剥夺Anthropic数学家的功劳
Sébastien Bubeck是Navier-Stokes功劳争议中心的OpenAI研究员。 他现在讲述了他与两位数学家的私下谈话，这两位数学家称OpenAI亏待了他们。他否认试图剥夺其中一位数学家对自己工作的功劳。他还为一句言论道歉。
OpenAI丨CFO:企业业务增长势头劲
ChatGPT开发商OpenAI财务总监弗莱尔(Sarah Friar)透露，该公司企业业务增长非常强劲，7月收入按月增长32%，同期整体年化收入则升20%。 弗莱尔出席高盛会议时表示，该公司正将人工智能(AI)技术推向更专业行业领域，期望在成本方面取胜。她又称，正专注晶片设计、生命科学和金融服务等，企业愈来愈需要针对特别需要的度身定制AI系统，亦将基于业务成果而非使用量定价。 她透露，早前下调L
OpenAI 看似取得的数学突破引发深刻疑问
数学家们至少一个世纪以来一直在试图解决纳维-斯托克斯问题。OpenAI 表示，其智能体团队仅用 88 小时就做到了。这引发了关于这门学科应如何运作的争议。
OpenAI成立数学顾问小组，其AI已解决100多个开放问题
周一，OpenAI宣布成立了一个新的独立咨询小组，该小组设在位于新泽西州普林斯顿的高等研究院（Institute for Advanced Study）内。这个名为“数学与人工智能咨询小组”（Advisory Group on Mathematics and Artificial Intelligence）的机构旨在让数学家们能够更多地参与公司的数学研究工作。 “这个咨询小组将充当数学界与公众之间
费尔兹奖得主警告：AI竞赛对数学领域构成威胁
邓煜、陶哲轩（右）。（《麻省理工科技评论》照片） （纽约17日综合电）法新社报导，25位数学界最高荣誉“费尔兹奖”(Fields Medal)得主上周五（11日）发表联名信警告，人工智能(AI)公司竞相破解著名的未解数学难题，可能会对这个领域造成持久伤害。 在陶哲轩等数学家签署、并在他的部落格发表这封警告信的几天前，美国AI公司OpenAI才刚表示，旗下的AI模型已破解一项数代数学家都无法破解的“
数学不能再这样下去了
七月下旬，一位世界著名数学家向他的领域发出了警告。加州大学洛杉矶分校的特伦斯·陶（Terence Tao）教授在国际数学家大会一个挤满听众的讲堂上表示，数学正进入一个“动荡时期”。他说，人工智能在数学方面的能力越来越强，这正导致“我们的数学价值观和实践面临危机”。就在陶教授在最负盛名的数学会议上发表演讲的同一周早些时候，一位来自Anthropic的研究人员使用Claude推翻了一个已有87年历史的