OpenAI 一周发布 722 篇数学论文，Mistral 开源 1T 参数 Large 4

The Rundown AI 周报把多件事拢在一起：OpenAI 发布 722 篇来自未公开内部模型的数学论文，按 372 个结果族分组，并称其中包含对“准黎曼猜想”的证明，162 篇主结果用 Lean 写出，多数任务只需一次 Prompt、平均消耗 3 小时 ChatGPT Pro 算力。