Tag: formal-math

All the articles with the tag "formal-math".

• 8.0

  AI 首次验证 Fields 奖获奖数学证明，New Scientist：数学正在经历史上最大变革

  2026年03月13日

  · New Scientist

  AI 系统成功验证了 Maryna Viazovska 的球堆积问题证明（2022 Fields 奖），OpenAI 和 Google DeepMind 的 AI 模型也在尝试解决 First Proof 难题。