AI资讯新闻榜单内容搜索-清华

关键词: AI新闻,AI数学,claude,人工智能

原来，首位华人菲尔茨奖获得者、清华大学教授丘成桐也是新智元读者！

关键词: AI新闻,Claude,Anthropic,AI证明费马大定理

清华姚班出身的彭天翼带队，Anthropic旗下Claude仅用11天、消耗60亿Token和1300万行代码，首次端到端形式化证明了困扰数学界350年的费马大定理，并产出29500条可验证中间定理，成为迄今为止最大的Lean证明。

关键词: AI新闻,模型训练,近似投机解码,ASD

北航、清华、港大、北大联合团队提出近似投机解码（ASD），作为即插即用的验证器模块，在严格预算内接受极少数低遗憾分歧字并复用大模型已算好的后缀，免训练地挂载于DSpark、EAGLE3、Medusa等主流投机解码算法，吞吐最高提升15.26%。

关键词: AI新闻,AI制药,艾斐智药,高博文

艾斐智药成立一个多月便完成亿元天使轮融资，由襄禾资本领投、星连资本等跟投，并依托DrugCLIP、PharmAgents探索AI原生药物研发及共同开发模式。

关键词: AI新闻,模型训练,Zeva,具身智能

模型不更新，能力却持续增长。

关键词: AI新闻,模型训练,Full Attention,人工智能

Full Attention 层尚未开始计算，它前一层的激活值已提前「冲上峰值」—— 这就像演唱会主角尚未登台，观众席已提前沸腾。来自 StartLux、清华大学等机构的研究者以 Massive Activations 为探针，首次系统刻画了少数 Full Attention 层在混合线性注意力大模型中留下的「跨层痕迹」，并识别出「注意力前尖峰」（PAS）与「尖峰间平台」（ISP）两种核心形态。

关键词: AI新闻,AI教育,教育版的Codex,OpenMAIC

和一个还在做 AI 教育培训的老板闲扯，我说兄弟，ChatGPT、豆包这些 AI 产品都已经这么强了，随便问什么问题，它都能通俗易懂地给出，你那卖课的生意怎么还能有市场？

关键词: AI新闻,徐梦迪,物理AI,AI访谈

从《四驱兄弟》里那些在赛道上奔跑的机械想象，到后来扎进机器人学习领域的漫长探索，徐梦迪始终被同一个问题牵引：机器要怎样进入物理世界，并在那里持续生长。

关键词: AI新闻,kimi,唐杰,杨植麟,智谱

一对清华师生，两家AI公司。十多年前，唐杰和杨植麟还只是清华实验室里的一对师生。如今，唐杰联合创办了智谱AI，杨植麟带领月之暗面（Moonshot AI）。智谱港股上市后市值一度突破1万亿港元，月之暗面则在2026年完成F轮融资后估值达到350亿美元。

关键词: AI新闻,Science Robotics,具身智能,人工智能

顶会可以年年开，但这本期刊不是每个实验室都能进的。