「数学AI」共找到 9864 篇相关文章
谷歌Gemini 3杀疯了!陶哲轩亲测:10分钟干翻百年数学难题
Gemini 3本周一发布后开启横扫基准测试之旅。在FrontierMath基准测试创纪录,Epoch能力指数超GPT - 5.1。陶哲轩用Gemini Deepthink十分钟解决埃尔德什问题关键证明,同时它还霸榜物理基准测试CritPt。
DeepMind爆火论文:向量嵌入模型存在数学上限,Scaling laws放缓实锤?
DeepMind一篇关于向量嵌入局限性的论文在AlphaXiv爆火。其证明向量嵌入有数学上限,Scaling laws或放缓。研究构建LIMIT数据集,测试发现即便是先进嵌入模型也难解决简单任务,揭示了RAG系统约束,让人反思Scaling Laws边界。
微软反制Meta发起人才狙击战!“精准打击”名单+特制数百万美元薪酬包,高管24小时内批复
微软计划从小扎手里挖人,实施“精准打击”,列出Meta意向人员名单,准备新流程和特殊预算,为目标AI人才提供数百万美元薪酬包,硅谷AI人才争夺战愈发激烈。
陶哲轩在线安利Claude Code:审稿意见全给它,15分钟欧了
科研人投稿论文常被审稿人“折磨”,陶哲轩用Claude Code修改论文,15分钟搞定,还捉出审稿人错误。他认为应让AI干脏活累活,人类解决难题,AI+人成数学界新趋势。
Codex自改进Prompt:让AI自己把重复工作变成自动化
开发者Vaibhav更新的Codex自改进Prompt引发AI开发者群体讨论,被OpenAI联合创始人转发。完整版核心逻辑可拆解为8步,加了严格跳过规则。实测有反馈,也有优化建议和现存问题。
上海AI Lab新研究:SFT能泛化,只要满足这三个条件
上海人工智能实验室等团队研究指出,“SFT泛化能力差”定论有局限。SFT泛化能力受优化过程、数据质量与结构、模型基础能力共同制约,研究还揭示其训练中的现象及副作用。
ICML Desk Reject 引发热议,AI审稿究竟该如何科学检测
ICML 2026 部分论文被 desk reject,因 reviewer 用 LLM 写 review。ICML 用带诱导的隐式水印检测,引发支持与反对争议。有论文提出从文本检测转向判断检测,还开发 J - Detector,结合文本检测准确率达 99.3%。
陈天桥重磅出手!20瓦人脑秘籍,AI大模型瞬间「破防」
上周六,天桥脑科学研究院创始人雒芊芊宣布成立尖峰智能实验室,由李国齐教授领衔,致力于类脑大模型和脉冲神经网络研发。该实验室是‘发现式智能’理念落地载体,将借鉴人脑特性研发类脑大模型。
谷歌Gemini闹乌龙:我家狗子,竟被AI开除了「狗籍」!
2025年10月谷歌让Gemini for Home接管智能家居生态。它能识别人脸、快递等,还会生成家庭日报。不过,它也闹了把狗认成猫的乌龙。谷歌正改进识别准确度,这也是智能家居竞争中的小插曲。
AI终于“长”进机器人身体里!机械臂学会用触觉思考
香港科技大学申亚京教授团队研发出具身机器人手臂 EmArm,实现亚毫米级触觉定位与实时‘感知 - 行动’闭环。研究还提出‘感知 - 驱动’一体化算法,为打造物理 AI 机器人提供可扩展技术路径。