搜索结果
OpenAI称已攻克数学‘千禧年难题’之一
突发消息:OpenAI表示已攻克数学领域最大的未解难题之一,这是人工智能将如何改变该领域的又一显著标志。 该公司的这一声明是迄今为止最引人注目的迹象,表明人工智能正在从根本上改变高等数学领域。
OpenAI暴力截胡,数学家集体声讨
这是AI第一次宣称攻破克雷数学研究所悬赏100万美元的“千禧年大奖难题”之一。然而,这一高调宣示不仅没有赢得学术界的掌声,反而引发了一场关于学术道德与数据掠夺的声讨。 几乎就在同一时间,纽约大学数学家特里斯坦·巴克马斯特(Tristan Buckmaster)发表声明,指控OpenAI“截胡”了自己和合作者一年多来的核心成果。 NS方程由法国科学家克劳德-路易·纳维(Claude-Louis Na
顶尖数学家将为OpenAI提供关于发布其AI数学成果的建议
“我们目前面临一个非常具体的挑战:需要为 OpenAI 提供咨询,帮助他们协调发布大量数学研究成果。这些成果据称是由 OpenAI 的内部模型产生的,”数学与人工智能咨询小组在成立声明中写道。 OpenAI 于周一宣布了该咨询小组的成立。该小组自 8 月 28 日开始训练一个新的内部数学模型,并在随后的声明中表示,该模型已经解决了数学领域中大多数领域的 100 多个长期未解决的问题。此外,Open
评论:人工智能的领袖们真能为了共同利益而放下竞争吗?
上周,数学界被一项声称取得的突破所震动——一个困扰了人们两百多年的复杂方程组“纳维-斯托克斯方程”的长期难题据称得到了解决。 这是首批借助人工智能解决的同等量级难题之一,本应作为一项智力成就受到庆祝。但相反,这一消息却因一场愈演愈烈的争议而蒙上阴影:功劳究竟该归于纽约那位数学家及其来自AI巨头Anthropic的合作者——他们此前已接近解决方案,还是归于其竞争对手OpenAI——后者花费了数百万美
OpenAI发布其纳维-斯托克斯方程证明并表示不会申请千禧年大奖
当OpenAI在一次新闻发布会上宣布其内部模型攻克了数学中最困难的开放问题之一时,我们曾写道,没有人见过这个证明。 现在情况不再如此了,最新发布的内容以公告中未曾提及的方式缩小了这一说法的范围。OpenAI已经发布了一份总结报告、一篇PDF论文以及……
OpenAI未发布内部AI模型据称攻克纳维-斯托克斯方程难题
OpenAI未发布内部AI模型据称攻克纳维–斯托克斯方程难题,相关结果已由机器验证。报道还称,该公司动用了约1万个并发自主代理完成推理与形式化验证,但这项成果目前仍未被克雷数学研究所正式认定为千禧年大奖难题的已解答案。 公司称已用机器验证方式给出纳维–斯托克斯方程解法,但距离正式获奖仍有数学界审查程序要走。 OpenAI称,这一内部模型在数学与理论计算机科学方向的多项长期难题上都取得了突破;在先前
AI解决了一个数学上最棘手的问题。人类(目前)什么也没学到
特里斯坦·巴克马斯特是纽约大学的一位数学家。2026年9月11日,他在曼哈顿的办公室里为肖像摄影摆姿势。巴克马斯特和他的合作者莱文特·阿尔普格一直在研究纳维-斯托克斯方程。他们与OpenAI发生冲突,后者声称已经破解了这些方程。 卡斯滕·莫兰/为《华盛顿邮报》/盖蒂图片社 拍摄 隐藏说明 切换说明本月早些时候,当OpenAI宣布其人工智能解决了世界上最棘手的数学问题之一时,其语气充满庆祝意味:“我
美国在知识产权问题上的虚伪立场
一份被忽视的美国司法部(DOJ)文件指出,针对人工智能(AI)公司的版权诉讼应当被广泛驳回。 《Strike 3》(一家成人电影公司)的创始人亚历克斯·雷斯纳(Alex Reisner)或许与这些公司看起来没什么共同点,但他们都有一个共同目标:他们希望因自己的作品被用于训练AI模型而获得相应的报酬。在过去一年里,这些公司纷纷对大型AI公司提起诉讼,指控这些公司未经许可就使用了他们的内容来训练AI模
OpenAI告诉法庭,苹果的商业秘密案是“苹果自己造成的烂摊子”
OpenAI已向联邦法院表示,苹果创造了它现在所称的盗窃条件。 该公司在周一晚些时候提交给圣何塞美国地区法院的文件中表示:“这场纠纷是苹果自己造成的烂摊子,它试图责怪其他所有人。”据……报道。该[…]
“垃圾数学”:OpenAI退出加州理工学院AI数学竞赛
OpenAI已撤回对加州理工学院一项由学生运营的人工智能数学活动的100万美元赞助。数学家们此前签署了一封公开信,要求取消该活动。次日,25位菲尔兹奖得主发表了他们自己的另一份声明。 两天之内、来自两个不同群体的两封信,是数学界迄今为止对人工智能公司最尖锐的回应。两封信都不是关于模型是否管用,而是关于这些公司拿结果去做什么。 第一封信,以及那个挥之不去的词一个由加州理工学院现任和前任数学家组成的联
苹果指控OpenAI销毁证据
苹果在其与OpenAI的法律纠纷中推动“快速取证”,担心该公司正在积极销毁证据。 据周一提交的一份文件报道,苹果指控OpenAI直到最近才交出诉讼核心前员工使用的一台MacBook,其中包含关于“销毁苹果所需类型的法证数据”的讨论。 这是苹果起诉OpenAI的最新进展,该诉讼指控这家ChatGPT制造商窃取商业机密以构建AI设备。 诉讼涉及三名最近加入OpenAI的前苹果员工,其中包括Chang
又一起!OpenAI承认了
据9月5日报道,美国开放人工智能研究中心(OpenAI)当天承认,该公司旗下人工智能体今年早些时候“劫持”了一个德国网站,用于相互传递信息,分享测试任务答案和突破运行环境限制的方法。该公司表示,未来需要提高此类事件的信息透明度。 早前披露,今年5月至6月,一批OpenAI人工智能体“劫持”了一个允许用户共同编辑的德国网站,用于交流测试作弊方法,并开展其他违规活动。一些智能体会把已经获得的任务答案发
OpenAI解出千禧年数学难题后,Altman下一目标:攻克室温超导?
OpenAI正将AI驱动的科学发现推向更广阔的领域。9月8日,OpenAI宣布,其内部AI系统已提出纳维-斯托克斯方程存在性与光滑性问题的解决方案,并通过Lean形式化验证。这是七大千禧年大奖难题之一,也意味着AI在前沿数学研究中的能力再次向前迈进。 据OpenAI官网公告,这套系统由约1万个并发智能体组成,从启动到形成解决方案耗时约88小时。OpenAI称,完成证明所使用的内部模型“能力显著超越
OpenAI的AGI数字来自测试工具,而非模型本身
OpenAI凭借99.9%的得分宣布了AGI时代。但通过基准测试自身的软件运行同一模型,其得分仅为62.7%。 这一差距并非四舍五入的误差,也不是竞争对手的抱怨,而是来自构建该测试的组织。 ARC Prize在GPT-6 Astra发布当天公布了这两个数字。
微软高管称AI抓取是规模空前的惊人盗窃
纽约时报提交的新诉讼文件显示,OpenAI在明知其对出版商构成生存威胁的情况下,仍复制了数百万篇受版权保护的文章。 OpenAI一直辩称,根据版权法,利用公开可获得的内容训练模型属于 “合理使用”,这一法律依据与搜索引擎访问用受版权保护的内容训练大语言模型是 “一场规模空前的惊人盗窃”,此案胜诉将“彻底嘲弄‘合理使用’这一理念”。微软发现与传统搜索引擎相比,使用其AI回答工具的用户对原始内容的点击