OpenAI使用了一个比Astra更强的内部模型来解决纳维-斯托克斯有限时间爆破问题，在听到关于千禧年大奖难题已解决的传闻后，仅用88小时就完成了任务。

  • 智能体发送了270万条消息，并使用了约1300亿个输出token来解决纳维-斯托克斯问题。
  • 在所有尝试的问题中，智能体共发送了490万条消息，并使用了约3000亿个输出token。
  • 数学家Tristan Buckmaster和Levent Alpoge此前曾借助LLM协助研究过相关成果，但因未完全验证而被迫提前发表。
  • OpenAI就署名权和发布时间向Buckmaster提出了两项提案，但他拒绝了。

这一事件凸显了人工智能在数学研究领域的快速发展速度，并引发了关于学术归属和合作标准的讨论。