「AI生成数学」共找到 11008 篇相关文章
谷歌Gemini 3杀疯了！陶哲轩亲测：10分钟干翻百年数学难题
Gemini 3本周一发布后开启横扫基准测试之旅。在FrontierMath基准测试创纪录，Epoch能力指数超GPT - 5.1。陶哲轩用Gemini Deepthink十分钟解决埃尔德什问题关键证明，同时它还霸榜物理基准测试CritPt。
Anthropic、Thinking Machines Lab论文曝光：30万次压力测试揭示AI规范缺陷
Anthropic和Thinking Machines Lab等机构研究人员提出模型规范压力测试法，基于细粒度价值体系生成超30万个查询场景，分析12个前沿大模型回答，揭示模型规范存在原则冲突、解释歧义等缺陷。
DeepMind爆火论文：向量嵌入模型存在数学上限，Scaling laws放缓实锤？
DeepMind一篇关于向量嵌入局限性的论文在AlphaXiv爆火。其证明向量嵌入有数学上限，Scaling laws或放缓。研究构建LIMIT数据集，测试发现即便是先进嵌入模型也难解决简单任务，揭示了RAG系统约束，让人反思Scaling Laws边界。
ICML 2025 Spotlight | 新理论框架解锁流匹配模型的引导生成
西湖大学冯睿骐、吴泰霖等针对流匹配模型能量引导算法难题，推导新理论框架，提出三大类实用算法，给出性能分析与比较，为流匹配引导采样及生成模型应用提供理论基础。
AgentA/B：用AI模拟用户，真人AB测试或将成为历史
宾夕法尼亚州立大学和亚马逊合作研发AgentA/B测试框架，用大语言模型生成虚拟用户模拟真实行为，成本低、速度快，还能绕开真实流量测试。虽有人质疑，但它或改变传统AB测试。
微软反制Meta发起人才狙击战！“精准打击”名单+特制数百万美元薪酬包，高管24小时内批复
微软计划从小扎手里挖人，实施“精准打击”，列出Meta意向人员名单，准备新流程和特殊预算，为目标AI人才提供数百万美元薪酬包，硅谷AI人才争夺战愈发激烈。
陶哲轩在线安利Claude Code：审稿意见全给它，15分钟欧了
科研人投稿论文常被审稿人“折磨”，陶哲轩用Claude Code修改论文，15分钟搞定，还捉出审稿人错误。他认为应让AI干脏活累活，人类解决难题，AI+人成数学界新趋势。
上海AI Lab新研究：SFT能泛化，只要满足这三个条件
上海人工智能实验室等团队研究指出，“SFT泛化能力差”定论有局限。SFT泛化能力受优化过程、数据质量与结构、模型基础能力共同制约，研究还揭示其训练中的现象及副作用。
ICML Desk Reject 引发热议，AI审稿究竟该如何科学检测
ICML 2026 部分论文被 desk reject，因 reviewer 用 LLM 写 review。ICML 用带诱导的隐式水印检测，引发支持与反对争议。有论文提出从文本检测转向判断检测，还开发 J - Detector，结合文本检测准确率达 99.3%。
陈天桥重磅出手！20瓦人脑秘籍，AI大模型瞬间「破防」
上周六，天桥脑科学研究院创始人雒芊芊宣布成立尖峰智能实验室，由李国齐教授领衔，致力于类脑大模型和脉冲神经网络研发。该实验室是‘发现式智能’理念落地载体，将借鉴人脑特性研发类脑大模型。