AI 会毁掉数学吗？它先学会了大厂的虚荣
AI 会毁掉数学吗？它先学会了大厂的虚荣大概是今年以来，AI 冲击各种数学猜想，越来越像永不结局的连续剧。这个模型又拿到了更高分，那个模型又解开了一道多年无人攻克的难题，人类的数学智慧岌岌可危。
来自主题: AI资讯
9840 点击 2026-09-15 09:43
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
大概是今年以来，AI 冲击各种数学猜想，越来越像永不结局的连续剧。这个模型又拿到了更高分，那个模型又解开了一道多年无人攻克的难题，人类的数学智慧岌岌可危。
Claude Opus 5.2深夜在Claude Code中开启灰度测试悄然上线，开发者通过抓包确认前端未变的Opus 5已被路由至5.2版本，响应速度和自主迭代能力显著提升；同时Anthropic内部代号Model 2的模型在CoBench v2榜单取得62.8%高分并接管大部分代码编写工作，RSI进程疑似加速。
据雷峰网独家获悉，一位长期在英国工作的Google Gemini预训练专家（L7-L8级别）近期加入国内某互联网大厂，被视为本轮BAT高价争抢Gemini人才以来首次"找对了人"；此前多家大厂虽从Gemini硅谷办公室挖角，但因Google有意将核心预训练人才留在DeepMind英国办公室，导致此前引入的部分人选并未触及预训练核心环节。
分子之心自主研发的反应性机器学习力场QuantaMind登上《Science Advances》，将十万原子级化学反应的单步模拟耗时从传统方法的约1300万天压缩至0.25秒，并在万原子级体系上稳定模拟了完整的酶催化循环，已应用于酶工程和抗体设计等产业项目。
网友将HHMI Janelia和Google Research发布的果蝇大脑神经图谱MaleCNS接入AI，让虚拟苍蝇玩《超级马里奥64》《反恐精英2》《艾尔登法环》等游戏、在Coinbase炒币、识别日文平假名、参加虚拟MMA格斗，甚至操控多足机器人。
DeepSeek据悉将迎来高瓴创投90后合伙人严文韬出任CFO，同时已聘请中信证券筹备上海科创板IPO，并近期发布了DeepSeek V4.1 Flash模型，资本与产品双线加速推进。
虎牙推出全新AI情感陪伴产品"24:01"，基于自研VAM1.0数字人技术，通过多角色长期关系沉淀与房间、约会、语音、剧情副本等沉浸式玩法，跳出传统直播框架，寻找直播之外的第二增长曲线。
Grok Bot正式推出网页版，用户可直接在Grok页面使用，同时SpaceX AI发布官方教程《Grok Bot 101》，详解其作为拥有云端电脑的Agent如何创建Bot、调度工作流程并取代人类监控环节。
众所周知，现在的大模型基本每隔 35 天左右就会换一轮。
最近一周，我们被一件事惊到了。