「数学成果」共找到 1026 篇相关文章
深夜炸场！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和硬件进步使机器人走入生活，它迎合年轻人情绪价值需求，其诞生是百事与智元价值共振，未来将创造更多惊喜。
无需人工标注！AI自生成训练数据，靠「演绎-归纳-溯因」解锁推理能力
新加坡国立大学等机构研究者提出元能力对齐训练框架，模仿人类推理心理学原理，将演绎、归纳与溯因能力融入模型训练。实验显示，该方法提升模型在多任务上的性能，且有跨领域可扩展性。
「AI大咖谈」顶尖量化机构Quant谈"算法工程师"转量化方向的可能性与优劣势
文章是对顶尖量化机构量化研究员的匿名访谈，探讨算法工程师转量化方向的可能性与优劣势，涉及收入、考核、压力、技能差距等方面，还提及量化岗位分类、市场环境及对机器学习的依赖程度。