「数学危机」共找到 456 篇相关文章
九天大模型大变身：性能狂飙35%！还能一键P大象
7月26日，中国移动在2025世界人工智能大会发布「九天」基础大模型3.0，端到端技术全面升级，复杂推理能力提升35%，智能体调用效率提升21%，还推出代码、数学等专项大模型，多模态能力也焕新。
OpenAI拿下IMO金牌，职业数学家崩溃：我终于明白李世石为何会落泪
AI在IMO获金牌，数学家Dave White自我认同崩塌，认为这是一种‘死亡’，探讨AGI带来的身份危机。加密教授Adam Cochran则从哲学视角回应，称人生身份重建与崩塌不断循环，真正的‘自我’超越单一标签。
DeepMind夺得IMO官方「唯一」金牌，却成为OpenAI大型社死现场
谷歌DeepMind宣布其Gemini进阶版模型在IMO竞赛达金牌水平，解决五道超高难度试题，首次证明AI仅靠自然语言理解就能攻克复杂数学难题。其谨慎发布方式获赞誉，与OpenAI形成鲜明对比。
开放世界任务成功率82%！美的攻克机器人泛化控制难题
美的AI研究院和华东师范大学联合提出ChatVLA - 2模型，引入动态混合专家架构和双阶段训练流程。真机实验显示其开放世界任务成功率达82%，远超现有方法，为通用机器人控制提供新思路。
史上最黑暗求职季！我，牛津硕士，失业半年、背债百万，只因AI抢了我的饭碗
英国卫报报道英国毕业生在AI危机下面临求职困境，如名校博士海投700份简历9个月后才拿到低薪offer，文科硕士求职艰难，招聘流程大量用AI让求职如同噩梦，雇主也抱怨毕业生能力差。
杨植麟被梁文锋叫醒了！Kimi新模型发布即开源，1T参数全线SOTA
172天后，Kimi推出全新Kimi K2基础大模型回应DeepSeek冲击。它为MoE架构，1T参数，激活参数32B，在多任务上领先，发布即开源，还分享技术细节，实测有亮点也待优化，展现回归之势。
顶尖数学家含泪退圈：熬了多年的博士难题，被AI几周秒杀！
顶尖数学学者Rishikesh Gajjala靠AI攻破博士课题，却宣布退出学术圈。他认为AI生成证明虽精巧但难验证，“漂亮证明未验证和垃圾无异”。他投身形式化验证领域，而AxiomProver完成“246定理”形式化验证。
小模型推理极限在哪里？微博开源3B小模型，比肩顶级闭源
微博新开源的VibeThinker - 3B小模型，将特定能力维度性能推向极限。它在数学竞赛、编程等可验证推理基准上表现优异，成绩直逼顶尖大模型。其训练流程层层叠加，还提出参数压缩 - 覆盖假说。
炸奥特曼的人：要阻止AI灭绝人类、手捏AI公司CEO&投资人“死亡名单”
20岁青年Daniel Moreno - Gama号称阻止AI灭绝人类，向奥特曼住宅投燃烧瓶、冲击OpenAI办公室。他身上有“死亡名单”，列多位科技公司CEO及投资者。他有反AI立场，律师以“精神健康危机”辩护。
马斯克首席AI脑与莱姆病抗争！曾师从丘成桐，杨格宣布辞职
马斯克xAI核心架构师、联创之一杨格宣布离职，转任非正式顾问。他长期与莱姆病斗争，打算康复后复出。杨格是数学天才，师从丘成桐，是Tensor Programs理论之父，其技术为xAI节省大量算力成本。