AI智能体据称证明纳维-斯托克斯千禧年问题

OpenAI 称一组 AI 智能体借助新一代模型，为困扰学界约 90 年的纳维-斯托克斯千禧年问题给出了证明，并展示了 AI 数学推理成本的快速下降。

内容详情 · 原文链接

via AI Pulse | 全球 AI 动态简报 - Telegram Channel