「形式数学」共找到 420 篇相关文章
震撼全网，AlphaEvolve矩阵乘法突破被证明为真！开发者用代码证实
开发者用Claude写代码证实谷歌DeepMind的AlphaEvolve求解矩阵乘法的突破为真，它将4×4复数矩阵计算次数从49次减到48次。小哥测试代码各项指标与论文报告一致，还上传到GitHub。
GPT-5.6仅用一天改写数学史，「双菲」五人团队8年纪录被破！
GPT-5.6一天打破陶哲轩五人团队8年大素数空隙纪录，提出「倾斜剩余类」构造法，当天通过Lean语言机器验证。此前数学家张益唐、陶哲轩等在素数分布问题上各有探索。
鹅厂员工都是怎么被AI“糊弄”的？
文章邀请鹅厂同事分享被AI“糊弄”的离谱事件，如AI在发票报销、数学计算、编程问题等方面出错，还会编造不存在的信息，其“系统性可信”假象比单纯答错更危险。
马斯克宣布：Grok学会看片了！无字幕看懂陶哲轩菲奖级难题
马斯克宣布Grok可分析任何视频。它能对伪造视频鉴假溯源，但也有处理画面靠字幕、有幻觉问题和效果不稳定的缺陷。实测中它能理解无字幕视频，还整理访谈内容。这功能虽便利，但引发人类能力退化担忧。
米哈游蔡浩宇AI公司首个视频模型曝光了
米哈游蔡浩宇的AI公司Anuttacon首个视频模型LPM 1.0曝光。它可通过多模态形式生成动态角色，有超绝情绪演绎、实时视频生成等能力，背后技术架构复杂，目前未正式上线。
Claude一夜杀入Excel和PPT，暴击微软Copilot！永久记忆血洗软件业
Anthropic发布Claude for Excel与Claude for PowerPoint重大更新，实现跨文件全上下文共享，以研究预览形式面向付费用户。还引入「技能」「指令」功能，能与微软Copilot协同，已超OpenAI成美企首选。
刚刚，Gemini攻克「宇宙弦」终极难题！AI科学家最优雅解法震撼物理学
Google Research团队用Gemini Deep Think + 树搜索框架，攻克理论物理领域宇宙弦引力辐射功率谱精确解析解难题。AI探索600条候选路径，找出6种解法，最优雅的格根鲍尔方法让物理学家拍案叫绝。
谷歌DeepMind：AGI不必是巨型模型，拼凑型AI群或率先涌现，管理大规模Agent迫在眉睫
DeepMind最新研究提出，AGI未必以单一巨型模型形式出现，可能由多个次级AGI智能体协作拼凑涌现。为此，团队提出分布式AGI安全框架，包含四层深度防御模型应对新安全挑战。
这，才是Vibe Coding的未来。
作者分享蚂蚁灵光更新，可搓小游戏，认为这是Vibe Coding未来。普通人能用上是其亮点，还举例扫地机器人、灵光开发三国人物关系等游戏，指出技术应隐藏自己，降低门槛。
NeurIPS25高分论文｜以判别式监督学习强化推理LLM，解决难度偏差和熵崩塌难题
德州农工大学博士生李港在NeurIPS25高分论文中，分析GRPO优化目标，发现难度偏差局限及与判别式监督学习联系，提出DisCO框架强化大型推理模型，其优势显著，实验表现优于GRPO及其变体。