标签
Amit Sahai 讨论了 AI 对数学的影响，强调需要更多数学家来理解 AI 生成的想法，并与 AI 系统合作，以保持研究中人类的主导权。
本文介绍了一个框架，使LLMs能够发现和证明有趣的数学定理，通过优化基于证明难度的指标，从而产生更多新颖且有用的数学知识，并减少与现有库的重叠。
一项研究发现，在与数学相关的arXiv论文中，公开的AI使用率在六个月内从1.39%显著增加到14.09%。
本文介绍了FrontierMath Erdős，这是一个包含68个开放性Erdős问题的基准测试，用于使用Lean证明助手评估数学领域的AI模型，旨在解决当前AI研究演示中的不足。
OpenAI成立了一个由顶尖数学家组成的独立顾问小组，指导公司处理数学研究和人工智能互动，旨在避免未来的声誉危机。
本文通过证明与陈述长度之比定义了数学定理的内在趣味性，并训练了一个27B模型来预测证明难度，从而能够生成更有趣的定理，并构建与现有知识（如 Mathlib）重叠更少的自扩展数学知识库。
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 问题的解决方案引发了争议，专家质疑其是否解决了该数学问题的正确变体。