标签： 数学

2026 年刚开年，DeepSeek就放出了一项重要技术进展。 1月1日，DeepSeek发表论文《Manifold-Constrained Hyper-Connections》，提出一种全新的模型连 … Continue reading DeepSeek梁文峰发表新论文

新智元报道 编辑：YHluck 【新智元导读】数学大神陶哲轩近期发现，AI声称破解的Erdos难题，实则是多年前已被人类解决但被遗忘的「旧闻」。这揭示了AI当前的核心能力并非从0创新，而是利用超强算力 … Continue reading 陶哲轩亲自曝光：AI破解数学难题，竟全是“抄”的？

智东西 编译 | 王欣逸 编辑 | 程茜 智东西12月26日消息，据《福布斯》报道，2025年，AI造就了超过50位新晋亿万富翁，涵盖模型、基础设施和应用各个环节，其中身价最高的是数据基建创企Surg … Continue reading 00后已身家百亿！2025 AI造富榜单：超50位亿万富翁诞生

凤凰网科技讯 12月24日，字节跳动Seed团队近日推出新一代形式化数学推理模型Seed Prover 1.5。该模型基于大规模智能体强化学习训练，在数学竞赛题的形式化证明能力上有所提升。 据官方信息 … Continue reading 达到金牌分数线：字节跳动推出新一代数学推理专用模型Seed Prover 1.5

IT之家 12 月 22 日消息，在 AI 不断重塑就业结构的背景下，被视为“AI 教父”之一的约书亚・本吉奥，谈到了自己会给 4 岁孙子的职业建议。 据《商业内幕》今晚报道，本吉奥在播客节目中说：“ … Continue reading “AI 教父”约书亚・本吉奥：AI时代的人类要努力成为一个“美丽的个体”

IT之家 12 月 22 日消息，科学领域正迎来一场大规模的论文发表热潮，这在很大程度上要归功于人工智能技术。发表于《科学》期刊的一项新研究显示，在诸多学科领域中，使用 ChatGPT 等大语言模型（ … Continue reading 研究显示：用AI的科研人员论文产出量暴增，但质量隐忧浮现

快科技12月21日消息，据媒体报道，近日，年仅27岁的姚顺雨出任腾讯AI首席科学家。 腾讯升级大模型研发架构，新成立AI Infra部、AI Data部、数据计算平台部，全面强化其大模型的研发体系与核 … Continue reading 年仅27岁出任腾讯AI首席科学家：高考数学睡觉错失全省第一

新智元报道 编辑：元宇 【新智元导读】近日，在与数学家Hannah Fry的对话中，DeepMind CEO Demis Hassabis回顾了AI在过去一年的飞跃式进展，他谈到了「参差智能」、持续学 … Continue reading 诺奖得主Hassabis：5-10年AGI将至，冲击力将是工业革命10倍！

OpenAI 的十周岁生日，过得不太体面。 在当天发布的 GPT-5.2 交出了一份完美答卷：它横扫许多基准测试的 SOTA，在数学和编程等竞赛场景中的表现堪称亮眼，也被官方描述为 AI「超级大脑」。 … Continue reading GPT-5.2 翻车内幕曝光：技术团队没走歪路，但用户成了大冤种