搜索结果
纽约大学数学家称OpenAI在造就职业生涯的数学难题上使用不公平手段
纽约大学数学教授特里斯坦·巴克马斯特(Tristan Buckmaster)于周二宣布了三项证明,并对理论数学中主要未解问题之一给出了初步研究结果。这些发现是与Anthropic数学家勒旺·阿尔珀热(Levent Alpöge)合作完成的,并使用了Codex和Claude AI模型,其本身意义重大——但它们也伴随着一场不同寻常的争议,涉及OpenAI试图解决同一问题的尝试。 巴克马斯特在宣布证明的
数学家要求OpenAI证明未曾使用他们的成果
又有一位研究人员就驱动其日益强大的数学发现的数据问题向OpenAI提出质疑。就在一场关于该公司模型是否受益于未发表工作的激烈争论爆发几天后,第二位数学家站出来,指责这家AI巨头存在不道德和“不诚实”的行为,并且在其训练数据的来源上缺乏透明度。 在一系列Mastodon帖文中,数学家安德烈亚斯·托姆(Andreas Thom)提出担忧,称他和同事在OpenAI进行凯旋式宣布之前与ChatGPT聊天机
OpenAI自曝6起模型“不当行为”案例
【环球网报道 记者 姜蔼玲】据美国消费者新闻与商业频道(CNBC)等外媒报道,美国开放人工智能研究中心(OpenAI)当地时间9月16日披露6起人工智能(AI)模型出现“意外或令人担忧”行为的案例,其中包括隐瞒错误、捏造信息,以及未经授权在网上共享文件等。OpenAI表示,上述案例均是在过去6个月对其模型进行训练或评估过程中发现的。OpenAI在9月16日发布的文章中表示,在其中一起案例中,一个模
OpenAI暴力截胡,数学家集体声讨
这是AI第一次宣称攻破克雷数学研究所悬赏100万美元的“千禧年大奖难题”之一。然而,这一高调宣示不仅没有赢得学术界的掌声,反而引发了一场关于学术道德与数据掠夺的声讨。 几乎就在同一时间,纽约大学数学家特里斯坦·巴克马斯特(Tristan Buckmaster)发表声明,指控OpenAI“截胡”了自己和合作者一年多来的核心成果。 NS方程由法国科学家克劳德-路易·纳维(Claude-Louis Na
OpenAI称AI模型解决了数学“千禧年大奖难题”之一
未发布的模型耗时88小时,动用了多达10,000个AI智能体来解决纳维-斯托克斯问题。
OpenAI未发布内部AI模型据称攻克纳维-斯托克斯方程难题
OpenAI未发布内部AI模型据称攻克纳维–斯托克斯方程难题,相关结果已由机器验证。报道还称,该公司动用了约1万个并发自主代理完成推理与形式化验证,但这项成果目前仍未被克雷数学研究所正式认定为千禧年大奖难题的已解答案。 公司称已用机器验证方式给出纳维–斯托克斯方程解法,但距离正式获奖仍有数学界审查程序要走。 OpenAI称,这一内部模型在数学与理论计算机科学方向的多项长期难题上都取得了突破;在先前
OpenAI即将推出的“Astra”模型中的技术引发安全担忧
OpenAI表示,其即将推出的AI模型Astra标志着在编码和计算机应用操作等能力上的提升。但据一位了解Astra开发情况的人士透露,一项提升模型性能的创新技术也意味着该模型及类似模型将更少暴露其“思考”过程,从而更难以监控其不良行为迹象。 OpenAI首席执行官萨姆·奥尔特曼虽然这一限制对Astra来说未必是一个重大问题,但该技术已在OpenAI内部和整个行业引发担忧,即采用并强化这一技术的AI
数学不能再这样下去了
七月下旬,一位世界著名数学家向他的领域发出了警告。加州大学洛杉矶分校的特伦斯·陶(Terence Tao)教授在国际数学家大会一个挤满听众的讲堂上表示,数学正进入一个“动荡时期”。他说,人工智能在数学方面的能力越来越强,这正导致“我们的数学价值观和实践面临危机”。就在陶教授在最负盛名的数学会议上发表演讲的同一周早些时候,一位来自Anthropic的研究人员使用Claude推翻了一个已有87年历史的
OpenAI组建顶尖数学家独立顾问团 重新审视与数学界的关系
OpenAI近日宣布成立一个由顶尖数学家组成的独立顾问团,负责就人工智能与数学研究之间的关系向OpenAI及其他AI企业提供建议。这个名为“数学与人工智能咨询组”(Advisory Group on Mathematics and Artificial Intelligence,AGMAI)的新组织,将重点关注AI产生的数学成果应该如何审核、发布和传播,以及AI企业应当如何遵循数学研究领域长期形成
OpenAI将告诉我们世界何时终结
OpenAI的模型长期以来一直表现异常,且异常方式比之前所知的更为隐蔽,这进一步加剧了公众对其的信任危机。随着该公司准备明年上市,这一问题愈发严重。 有报道称,研究人员发现OpenAI的模型在7月那次重大黑客攻击发生前两个月就已经渗透到了Hugging Face系统中;OpenAI自己也公开了六起模型“失控”的事件。 在准备上市的过程中,OpenAI和Anthropic都陷入了困境。 虽然透明度对
OpenAI解出千禧年数学难题后,Altman下一目标:攻克室温超导?
OpenAI正将AI驱动的科学发现推向更广阔的领域。9月8日,OpenAI宣布,其内部AI系统已提出纳维-斯托克斯方程存在性与光滑性问题的解决方案,并通过Lean形式化验证。这是七大千禧年大奖难题之一,也意味着AI在前沿数学研究中的能力再次向前迈进。 据OpenAI官网公告,这套系统由约1万个并发智能体组成,从启动到形成解决方案耗时约88小时。OpenAI称,完成证明所使用的内部模型“能力显著超越
奥特曼自曝“后Astra”模型,已超越全球最强数学家
刚刚,奥特曼又曝新料了。在和Salesforce CEO Marc Benioff的对谈中,他亲口剧透了OpenAI内部模型的最新进展。 首先,「GPT-5.5的水平大概相当于一个普通的数学教授。GPT-5.6,大概能比肩全球排名前1%到2%的顶尖数学教授。」接下来,他曝出了一个重磅猛料。 「在这个代号为Astra的模型之后,我们还有一个内部模型(Post-Astra)。它已经能够解决世界上最顶尖
当人工智能解出“千禧年难题”,人类还需要亲自做数学吗?
【编者案】什么是信息,什么是知识?在 AI 时代,两者有怎样的差别,又有哪些知识是仍然值得拥有的?人工智能发展正对许多学科带来冲击,尤其是在信息丰富,但需投入海量计算资源的领域,例如预测新的蛋白质 3D 结构,解决数学问题,描绘生物演化关系等。前所未有的效率工具让学科进步提速,但变化日新月异,想要辨明当下的发展方向也变得更加困难。端传媒推出“未来怎么学”系列,关心 AI 时代的学习问题,大到“还要
OpenAI成立数学顾问小组,其AI已解决100多个开放问题
周一,OpenAI宣布成立了一个新的独立咨询小组,该小组设在位于新泽西州普林斯顿的高等研究院(Institute for Advanced Study)内。这个名为“数学与人工智能咨询小组”(Advisory Group on Mathematics and Artificial Intelligence)的机构旨在让数学家们能够更多地参与公司的数学研究工作。 “这个咨询小组将充当数学界与公众之间
OpenAI与《纽约时报》案为版权法下AI训练的关键考验拉开序幕
OpenAI、微软、《纽约时报》及一群知名作家在AI训练的争议中,对版权法中最重大的问题之一提出了截然不同的观点。
人工智能对数学的命运意味着什么?
OpenAI 用人工智能在四天内解决了百年难题——Navier-Stokes 方程,挑战了数学家的角色,并在特伦斯·陶等专家中引发了存在危机。 专家指出,人工智能在数学领域取得了进展,它能够跟随复杂的论证,但缺乏真正的创造力和想象力来产生新的数学思想。 人们担忧人工智能对数学研究的影响,担心它可能阻碍合作与洞察力,而人类数学家仍然是提出有意义问题的关键。 AI 生成的纽约——OpenAI 用人工智