Timothy Gowers
PulseAugur coverage of Timothy Gowers — every cluster mentioning Timothy Gowers across labs, papers, and developer communities, ranked by signal.
1 天有情绪数据
-
AI与我播客：超级智能时代的个人目标
最新一期“AI与我”播客节目中，Dan Shipper 与 Surge AI 创始人 Edwin Chen 讨论了人工智能超越人类能力所带来的影响。他们探讨了人工智能解决复杂问题的能力，例如证伪数学猜想，如何挑战了传统的人类优越论。对话还触及了创造作为一种选择的哲学理念，即使人工智能能更高效地完成任务，以及人类驱动的目标与人工智能驱动的自动化之间的区别。
-
OpenAI AI 解决了已有80年历史的数学猜想
一个内部的OpenAI AI模型成功证伪了Erdős单位距离猜想，这是一个复杂且已悬而未决80年的数学难题。该AI模型应用现有的数学概念构建了一个完整的证明，这一壮举令包括菲尔兹奖得主Tim Gowers在内的数学家们印象深刻。虽然该AI并未开发出新的技术，但其综合知识和推演证明策略的能力标志着AI在数学研究领域贡献的一个重要进步，预示着人机协作的未来。
-
OpenAI 人工智能推翻一项已有 80 年的数学猜想，引发透明度呼吁
OpenAI 的内部人工智能模型推翻了已有 80 年历史的 Erdős 单位距离猜想，这是数学领域的一项重大成就。这一突破促使数学家们发布了莱顿宣言，要求在人工智能辅助的研究中提高透明度。该宣言呼吁披露论文中使用的 AI 工具、人类对正确性的责任以及同行评审员获取计算细节的权利。
-
OpenAI 模型以不足1000美元的成本证伪了已有80年历史的数学难题
OpenAI宣布，其内部模型（推测为GPT-5的一个版本）已经证伪了一个已有80年历史的数学猜想，即 Erdős 平面单位距离问题。该通用推理模型以不足1000美元的成本完成了这项工作，数学家们称之为人工智能在科学发现领域的一个重要里程碑。该模型的广泛输出表明，大型语言模型（LLMs）正在展现出高级推理能力，并有可能从数学领域扩展到其他科学领域。
-
OpenAI模型证伪Erdős单位距离猜想
一个OpenAI模型证伪了Erdős单位距离猜想，这是离散几何学中的一个重要问题。这一成就标志着AI模型从仅仅协助数学家到独立产生原创数学见解的转变。AI的证明在配套论文中有详细介绍，数学家们也提供了进一步的评论。
-
OpenAI AI模型证伪一项已有80年历史的数学猜想
OpenAI宣布在数学领域取得重大突破，其通用推理模型之一证伪了一个已有80年历史的猜想，即平面单位距离问题。该AI模型发现了离散几何与代数数论之间意想不到的联系，这一联系已被人类数学家验证，并被誉为一项里程碑。这一成就凸显了AI系统不仅能解决复杂问题，还能连接不同知识领域，从而可能加速未来的研究。
-
OpenAI模型证伪一项已有80年历史的数学猜想
OpenAI的通用推理模型证伪了离散几何学中一个已有80年历史的猜想，即单位距离问题。这标志着AI在数学领域取得了重大进展，因为该模型自主生成了一个新的证明，挑战了该领域长期以来的观点。与之前一项被撤回的说法不同，这一突破已得到数学家们的证实，包括那些先前表示怀疑的人。
-
GPT-5.5 Pro 解决数论问题，生成研究论文
OpenAI 的 GPT-5.5 Pro 模型已独立解决了数论中的开放性问题，在无需人类协助的情况下生成了完整的学术预印本。一位著名数学家称其成果具有扎实的博士论文质量。这一发展预示着科学研究可能发生范式转变，人工智能将承担复杂的理论任务。
-
菲尔兹奖得主：ChatGPT 5.5 Pro 可生成博士级别数学研究
菲尔兹奖得主Timothy Gowers展示了ChatGPT 5.5 Pro在解决复杂数论问题方面的先进数学能力。据报道，该AI在不到两小时内产生了相当于博士论文的成果，改进了现有界限，甚至生成了“k-dissociated sets”等新概念。这一快速进展促使Gowers对数学研究和教育的未来表示担忧，他认为人类贡献的门槛将转向AI尚无法执行的任务，例如真正的理解和新颖的创意生成。