标签
一项研究发现，在与数学相关的arXiv论文中，公开的AI使用率在六个月内从1.39%显著增加到14.09%。
本文介绍了FrontierMath Erdős，这是一个包含68个开放性Erdős问题的基准测试，用于使用Lean证明助手评估数学领域的AI模型，旨在解决当前AI研究演示中的不足。
OpenAI成立了一个由顶尖数学家组成的独立顾问小组，指导公司处理数学研究和人工智能互动，旨在避免未来的声誉危机。
OpenAI声称解决了Navier-Stokes千禧年问题，但数学家们认为该解决方案通过只解决部分标准而逃避了问题。
两年前，AI研究人员相信解决千禧年数学问题需要AI 30年，但最近的进展表明这一时间线可能更短。
据报道，OpenAI训练了一个新的AI模型，该模型已解决了超过100个长期存在的开放数学问题，导致成立了一个咨询小组来评估和协调这些结果的发布。
文章强调，数学是一个不断扩展的领域，拥有无数未解之谜，而人工智能是一个变革性工具，能够以前所未有的速度推进数学研究，将焦点从个人成就转向协作进步。
一个开源自主智能体在一项实验中已经运行超过50小时，处理了超过1亿token，旨在解决C(25,15,5)覆盖设计问题，目标是实现在数学上的突破。
X上的一篇帖子批评学术界低估了人工智能的进步，指出OpenAI的模型解决Erdős问题作为重大进展的证据。
OpenAI仅用24天训练了一个模型，该模型解决了超过100个长期存在的数学未解难题，表明AI驱动的数学研究取得了重大进展。
本文批评OpenAI通过咨询委员会给予数学家特殊待遇，同时据称破坏了入门级软件工程的工作机会。
OpenAI在Institute for Advanced Study设立独立数学顾问组，此前宣称其AI破解逾百道开放数学难题，引发知名数学家争议。
一位早先贬低LLMs为不智能的菲尔兹奖得主，在AI解决一个千禧年问题后表达了震惊，将其描述为数学界的一场灾难性事件。
OpenAI正在与一个由数学家组成的独立咨询小组合作，以指导对数学领域新兴AI结果的负责任审核和沟通，确保学术标准和公众透明度。
OpenAI成立了一个由数学家组成的独立咨询小组，以指导人工智能在数学领域进展的负责任共享，该小组将遵循一种新的模式，该模式已解决了100多个未解决的数学问题。
OpenAI 声称对 Navier-Stokes 问题的解决方案引发了争议，专家质疑其是否解决了该数学问题的正确变体。
这篇文章质疑了当报道称 OpenAI 接近解决一个 Millennium Prize 问题时这意味着什么，并强调了在复杂未解数学问题上了解进展的挑战。
SAIR Foundation宣布一项倡议，旨在构建面向数学的开放权重AI模型，邀请社区贡献和资金支持，以促进科学中的负责任AI发展。
这篇文章讨论了人工智能对数学的影响，提到了 OpenAI 对 Navier-Stokes 问题的解决方案和社区反应，同时提出了一个以人为本的公理，以在AI进步中保持人类专业知识。