「数学成果」共找到 1063 篇相关文章
独家丨MiniMax 高级研究总监钟怡然已于半年前离职
AI 科技评论独家获悉，MiniMax 高级研究总监钟怡然已离职，去向未公开。他曾主导设计 MiniMax - 01，该模型在超长上下文处理能力上表现突出，走出独特架构创新与效率优化路径。
刚刚，UCLA周博磊也加入了一家机器人公司
加州大学洛杉矶分校副教授周博磊官宣加入机器人初创公司Coco Robotics，同时该公司成立Physical AI Lab，周博磊任首席AI科学家。Coco积累大量数据，想借此推进自动化研发，且与OpenAI有合作。
深夜炸场！Claude Sonnet 4.5上线，自主编程30小时，网友实测：一次调用重构代码库，新增3000行代码却运行失败
Anthropic推出Claude Sonnet 4.5，号称‘世界上最好的编码模型’，持续运行时长、推理等能力提升，‘幻觉’等问题改进，Claude Code也有更新，开发者实测有惊喜也有问题，新一轮AI‘内卷’开启。
智能流体力学青年学者论坛第二十五讲 | AI赋能生物力学
2025年8月7日9点至12点，智能流体力学青年学者论坛第二十五讲将在航空楼A310举行。国际权威学者Michael V. Swain教授将探讨AI给口腔、骨科和眼科临床生物力学测量带来的机遇。他学术成就斐然，贡献获国际认可。
解道奥赛题成本5000美元？陶哲轩警告，AI下一步要规模化的「更便宜」
谷歌新一代 Gemini 进阶版在 IMO 竞赛达金牌水平，华人数学家陶哲轩对此关注且担忧。他认为评估 AI 表现应谨慎，AI 发展需从定性转向定量，要‘降本增效’，未来标准化评测很重要。
PAS刊发西工大张伟伟教授智能流体力学重磅综述论文
西工大张伟伟教授团队受主编邀请，系统调研人工智能与流体力学交叉领域进展。通过科学计量学方法，展示发展脉络、现状与前沿方向，分析研究格局、梳理团队，为该领域提供全景图。
刚刚，马斯克发布Grok-4，在各大基准测试上表现太猛了。
马斯克的 xAI 发布 Grok - 4，在各大基准测试表现出色，如 AIME25 拿满分、GPQA 领先等。第三方测评显示其登顶，编码和数学指数居首。价格与 Grok 3 相同，今日上线但价格高，甚至有已售罄情况。
微软开源新版Phi-4：推理效率暴涨10倍，笔记本可运行
今天凌晨微软官网开源Phi - 4家族最新版Phi - 4 - mini - flash - reasoning，它参数小性能强，适合边缘设备。采用自研SambaY架构，推理效率涨10倍，延迟降2 - 3倍，多场景测试表现优异。
大模型首次直接理解代码图：不用Agent自动修bug，登顶SWE-Bench开源模型榜单
蚂蚁开源新模型CGM，首创将仓库代码图模态融入大模型，不依赖闭源模型和复杂Agent，仅需4步就能快速定位、生成补丁。它在多个测试基准中领先，技术论文等均已开源。
这届机器人太会了！百事蓝宝出道，人形机器人也开始卷情绪价值了
百事可乐首个人形机器人「百事蓝宝」出道，与贝克汉姆等互动表演。AI和硬件进步使机器人走入生活，它迎合年轻人情绪价值需求，其诞生是百事与智元价值共振，未来将创造更多惊喜。