2026 年 10 月 9 日 · 星期五AI · 每日要闻每天 08:00 出刊
AI 日报 · 2026 年 10 月 9 日 · 星期五
MYHOT
第 5 期092026 年 10 月星期五
十月本月 5 期
一二三四五六日
3件大事3个来源1件一手发布约 1 分钟读完
头条
数学家呼吁抵制 OpenAI，AI 生成证明涌入数学领域
部分数学家呼吁抵制 OpenAI，起因是该公司一次性放出 700 多份 AI 生成的数学证明文件，一个数学家顾问团体称这是展示力量而非学术成果。陶哲轩转发该声明并提出 Math 2.0，认为解题不应再是学科的主要衡量标准。
产品发布/更新
BestBlogs.dev微软发布 Surface Laptop Ultra 与 Windows 混合智能战略
微软联合英伟达推出搭载 NVIDIA RTX Spark Superchip 的 Surface Laptop Ultra，最高支持 128GB 统一内存，可本地运行超过 1200 亿参数模型。
行业动态
The Decoder数学家呼吁抵制 OpenAI，AI 生成证明涌入数学领域
部分数学家呼吁抵制 OpenAI，起因是该公司一次性放出 700 多份 AI 生成的数学证明文件，一个数学家顾问团体称这是展示力量而非学术成果。陶哲轩在博客转发该声明并提出 Math 2.0，认为解题不应再是学科的主要衡量标准；Scott Aaronson 则对比了 OpenAI 批量放出草稿与 Anthropic 与研究者合作并支付报酬的两种路径。
技巧与观点
作者用 ML Intern 两天做出六个模型，总算力约 103 美元
作者借助 HuggingChat 中的 ML Intern，在几天内做出六个模型并全部发布到 Hub，总 GPU 与 CPU 算力开销约 103 美元。其中包括把 Qwen-Image 2.1 的 9B 提示词改写器蒸馏成 0.8B 版本，可在 CPU 上运行，输出有效率 99.7%，token 用量约为教师模型的四分之一。