JUAN LI · AI4SCIENCE
每日简报从有可靠来源、已完成中英文整理的动态中，优先挑选信息完整、便于核验的事件。简报由 AI 自动编排，条目默认为 AI 生成、未逐条人工审核（人工复核条目单独标注），引用科学结论前请核验原始来源。
精选依据：只收录有可靠来源、已完成中英文整理的 AI4Science 动态；优先保留信息更完整、便于核验的事件。
数学家 Sophie Huiberts 在客座文章中主张，证明定理意味着对数学领域负有责任：要说明做了什么、哪些步骤需要新想法、哪些已众所周知，并应更好地阐释重要想法。她把 OpenAI 的行为与此对比：不关心其“预印本”，不适当标注想法来源，把 372 项结果切分成 719 份 PDF，工作含有应被撤稿的错误，承诺代码却未提供，证明极难解析。她称这些 PDF 拖累文献，是内部基准测试的废气，并非“为了科学”；新内部模型或许一键生成文本，但类似结果很快也会由专家发现，部分已由 ChatGPT 用户发现并正在被正式撰写。即便不指控剽窃，科学软件供应商主动抢发客户成果也不好看；专家提示出结果会承担责任，OpenAI 不仅拒绝承担，还阻止客户承担。
OpenAI 公布 722 份数学手稿与证明，称逾 400 项结果涉及困扰人类数十年的数学公式，但仅 300 项被形式化，人类或需数年才能验证。研究者发现其中有无意义的解释、说不通的公式和他人已完成的工作；结果由未具名的 OpenAI 内部前沿模型生成，模型名与提示词均未公开，与 AGMAI 建议相悖。数学家担忧，从提示直接跳到答案、缺少中间过程，使这些结果难以被沿用，也未催生新的数学理解。另有观点认为，前沿 AI 数学与网络安全能力汇合可能动摇密码学根基，危及数万亿美元加密货币。有教授主张该领域应更注重建设共同体，而非追求现成解。