丘成桐牵头成立数学与 AI 实验室联盟
菲尔兹奖得主、清华大学讲席教授丘成桐牵头联合多家机构，成立丘成桐数学与人工智能实验室联盟，自主开发中国数学专用大模型。联盟 10 月 11 日在清华大学成立，丘成桐任主席，汇集超过 1000 名科学家。
丘成桐称，AI 对数学的冲击“像海啸来了”，应主动冲浪而非回避。联盟将重点研发数学专用模型、建设 AI 辅助数学研究基础设施，并拓展至量子计算、生命科学、金融经济等交叉领域。
北京日报 | 联合早报
Post #1698
2
华人日记 OpenAI 发布内部前沿模型生成的数学成果合集 OpenAI 发布由内部未公开前沿模型生成的数学成果，GitHub 合集含 722 篇手稿、372 个结果系列，涉及长期未解问题。许多证明已用 Lean 形式化验证。 仓库称，模型平均每项结果使用约 3 小时 ChatGPT Pro 思考算力，评估期间约尝试 4000 道题，并提供 10 份推理摘要。部分结果仍处于验证阶段。 The Verge | GitHub | OpenAI