AI助力数学家解决曲线模空间交点数问题

太棒了！Johannes Schmitt 使用 GPT5 解决了他自己关于曲线模空间上交点数的开放问题（证明结果出奇简单，是“低垂的果实”）。他撰写了论文，并仔细标明了哪些*整段*是由人类还是 AI 书写的。这会是未来的协议吗？..