DeepSeek没改权重却暴涨7分！中间层插纠错代码，算偏就回滚
这波“DeepSeek数学暴涨7分”讨论，核心不是又训了一个新模型，而是研究团队声称在不改权重的前提下，把一段纠错代码插进推理流程，让模型发现自己快算偏时回滚重算。
标签: 数学
AI24天核验数学最长证明！查出600处实质漏洞，定理仍成立
Axiom公司调度数十个AI智能体，用24天将数学史上最长的证明——有限单群分类定理——写成约4310万行可逐步机器核验的代码，并在过程中发现历史论证漏洞。
晶鸿节能申请一种光储协同灵活调度方法和系统专利, 对光储协同系统内各设备的出力进行实时优化调度
国家知识产权局信息显示, 北京晶鸿节能科技有限公司申请一项名为“一种光储协同灵活调度方法和系统”的专利, 公开号CN122993001A, 申请日期为2026年6月。 专利摘要显示, 本申请涉及一种光储协同灵活调度方法, 包括: 获取光储协同系统的运行数据;构建光储协同调度数学模型, 光储协同调度数学模型包括光储协同优化目标方程和多场景时序耦合的约束条件;约束条件基于底层物理设备的运行边界构建,
邓煜、陶哲轩对谈“AI与数学”: 把解题当基准测试犹如抛出“有毒废料”
近日SAIR播客举办了一场瞩目的学术对话, 新晋菲尔兹奖得主、芝加哥大学数学教授邓煜, SAIRFoundation主席、菲尔兹奖得主陶哲轩共同探讨了AI时代对数学学术科研的影响。 这场对话不仅为理解当下“AI+数学”的热潮提供了冷静的视角, 也展现了学术界对技术异化风险的反思。 SAIRFoundation(科学与人工智能研究基金会)是由陶哲轩教授等顶尖学者发起的非营利机构, 致力于推动开源、安
杨振宁去世1年，翁帆后记首谈“后悔”，真相并非没生孩子
2025年10月18日，杨振宁在北京辞世，享年103岁。一年后，围绕他的学术遗产落地与遗孀翁帆的舆论争议，同步进入公众视野。
OpenAI撤回3篇AI数学论文！竟因正负号写错，陶哲轩质疑
2026年10月6日，OpenAI在GitHub静默上传722篇AI生成数学手稿，覆盖372个成果族，不到24小时就因符号错误撤回3篇。此举引爆数学界：以陶哲轩为代表的顶尖学者高调质疑，丘成桐另起炉灶，两条路线正面交锋。
脑筋急转弯数学测试：35秒移动1根火柴棒以修复方程式5-9=3
脑筋急转弯数学测试：35秒移动1根火柴棒以修复方程式5-9=3
![数学卷子是不给辛苦分的[捂脸哭]](http://image.uczzd.cn/3914912488840537033.jpg?id=0)
