高中生联手AI破解Fields Medalist难题
Unsolved Problem by Fields Medalist Breached by Two High School Students
来自Oak Park High School的两名学生Aayush Bathija和Prince Rohatgi，在UCLA博士后Daniel Soskin指导下，利用Claude Opus 5和GPT-5.6 Sol等AI工具，成功解决了Fields Medalist June Huh提出的关于Lorentzian polynomials的未解难题。这项研究将此前仅限于二次多项式的结论推广到了任意次数，并发表于arXiv。有趣的是，就在该成果公布前夕，包括June Huh在内的25位Fields Medalist刚签署公开信警告AI对数学严谨性的威胁。这一事件不仅展示了AI如何降低科研门槛，让高中生也能触碰数学前沿，也引发了关于AI在纯数学研究中角色的深刻讨论：是破坏严谨性，还是开启了新的探索可能？
AI已经进入了探索阶段，但严格的验证仍然是得出有效结果的前提。
HN 评论区
59- no-name-here
原标题其实应该是：
> 菲尔兹奖得主提出的未解难题被两名高中生借助 AI 攻破
我推荐的标题：借助 AI 解决菲尔兹奖难题
他们使用 AI 进行“计算、证明思路生成和编辑辅助”。
他们列出所用 AI 的方式有点奇怪——“Claude Opus 5、Anthropic 和 ChatGPT Sol5.6 被用于计算、证明思路和编辑辅助。”
- sp-ti-en-ma-in
论文：
标题：Bounded Ratios for Lorentzian Polynomials
- htrp
你必须鼓励这些模型，告诉它们能解决这些问题，并让它们先在简单问题上热身，这一事实表明，AI 结对编程的价值远不止于提示词（prompt）。
- dataflow
我好奇的是，如果没有那位博士后，他们能走到哪一步。
- Aargau
我从 Navier-Stokes 方程的解倒推，引导 Astra 走通了求解路径。这需要一些前期构建：先提出问题，然后挑战它去更仔细地审视具体路径，并在它卡住时进行迭代，最终它成功得出了答案。