「数学应用」共找到 2490 篇相关文章
刚刚，马斯克发布Grok-4，在各大基准测试上表现太猛了。
马斯克的 xAI 发布 Grok - 4，在各大基准测试表现出色，如 AIME25 拿满分、GPQA 领先等。第三方测评显示其登顶，编码和数学指数居首。价格与 Grok 3 相同，今日上线但价格高，甚至有已售罄情况。
微软开源新版Phi-4：推理效率暴涨10倍，笔记本可运行
今天凌晨微软官网开源Phi - 4家族最新版Phi - 4 - mini - flash - reasoning，它参数小性能强，适合边缘设备。采用自研SambaY架构，推理效率涨10倍，延迟降2 - 3倍，多场景测试表现优异。
DeepResearch的概念、核心挑战与进化路径
华为、利物浦大学等研究者撰写综述文章《DEEP RESEARCH AGENTS》，梳理了DeepResearch进展。它由大语言模型驱动，超越RAG等现有技术，介绍其核心技术组件，指出面临的挑战并指明未来发展方向。
西工大张伟伟团队：大模型时代航空科技的蓝图畅想 | 航空学报CJA
随着国产开源大模型涌现，大语言模型走入生活，挑战传统航空教育，革新科研范式，与航空产业融合推动变革。西工大张伟伟团队探讨其在航空工程教育、科研、行业全链条的影响及挑战。
OpenAI获五角大楼2亿美元订单，迈向军工领域
OpenAI推出“OpenAI for Government”计划，为美国政府提供AI工具。首个合作是与五角大楼的试点项目，合同上限2亿美元，用于变革行政运营，州和联邦层面已有应用实例。
PolyVivid实现多主体视频定制，身份一致性超越现有模型
现有视频生成模型在多主体定制中难保持身份一致与自然交互，上交和腾讯提出PolyVivid框架解决此问题。它在多方面优于现有方法，还介绍技术原理、演示效果，证明其在多领域有实用价值。
ICML 2025｜趣丸研发新型人脸动画技术，声音+指令精准控制表情
广州趣丸科技团队提出新颖肖像驱动框架Playmate，能根据音频和控制条件生成高质量肖像视频，精准控制表情和姿态。成果被ICML 2025收录，代码开源筹备中，在多方面优于现有方法。
无需人工标注！AI自生成训练数据，靠「演绎-归纳-溯因」解锁推理能力
新加坡国立大学等机构研究者提出元能力对齐训练框架，模仿人类推理心理学原理，将演绎、归纳与溯因能力融入模型训练。实验显示，该方法提升模型在多任务上的性能，且有跨领域可扩展性。
4000亿国产算力航母：芯片巨头合并超算巨头
上交所披露海光信息拟换股吸收合并中科曙光并募资，两家公司A股自5月26日开市起停牌，预计不超10个交易日。海光聚焦芯片研发，中科曙光深耕服务器领域，重组方案待明确，实施有不确定性。
MCP客户端调用看这一篇就够了（Java版）
文章介绍MCP客户端调用方法，先阐述没MCP时的痛点，再讲大模型调用MCP的姿势，包括Spring - AI和Spring - AI - Alibaba框架的使用，还介绍原生SDK调用方式，记录踩坑问题，探讨两种技术路线的选型。