跳到正文
热点事件持续更新

OpenAI 发布722项数学成果 学界热议

1 篇报道1 个报道来源10 小时前更新

先了解这件事

AI 综述

2026年11月3日,OpenAI 发布其内部模型生成的722份数学手稿,该成果被划分为372个主题簇。早先报道称约700篇,后续报道精确为722项。 著名数学家 Gil Kalai 在博客更新中详细梳理了其中26项结果与其过往研究的关联。内容涵盖 Mahler 猜想、平面色数、Kakeya 问题及 Erdős 算术级数猜想等经典难题,其中 Unique Games 猜想已获证明。 Gil Kalai 提醒学界,这些结果目前处于不同验证阶段。报告指出即使使用 Lean 验证工具也可能存在问题,相关证明需数学家在未来数月内完成消化与检验。

AI 根据报道生成 · 10 小时前更新

报道时间线

沿着报道,了解事件的不同侧面。

11月3日
  1. Hacker News AI
    OpenAI 722项数学成果引发学界热议,Gil Kalai 详述其中 26 项结果

    OpenAI 已发布由其内部模型生成的722份数学手稿,分为372个主题簇。Gil Kalai 博客更新梳理了其中26项结果与其过往文章的关联,涵盖 Mahler 猜想、平面色数、Kakeya 问题、Erdős 算术级数猜想等经典难题,部分结果如 Unique Games 猜想已获证明。他提醒学界,这些结果目前仍处于不同验证阶段,需数学家在未来数月的消化与检验。

本事件热度走势

可比范围当前
8
可比范围峰值
1011月3日 03:00
近 24 小时变化
–

趋势仅比较持续完整观测到的相同主体,范围可能小于当前热度统计。移动指针或点击图表查看每小时热度;键盘可用左右方向键切换。