搜索
Anthropic声称其模型Claude在11天内完成了费马大定理的完整形式化证明，写下约1300万行Lean代码，人类仅提供少量高层指导，其中30300个定理获得机器可验证证明，标志着大规模自动形式化首次接近工程化落地。
荷兰AI初创公司Wonderful完成5.5亿美元C轮融资，估值达50亿美元，其打造的AI操作系统AI OS可统一管理企业跨模型、跨部署方式的AI工作流，目前团队已扩展至650人并覆盖35个市场。
研究发现SubAgent等上下文重建机制会将工具层的恶意指令提权为用户消息或系统指令，导致Claude Code、Codex、Gemini CLI、Qwen Code、Kimi和OpenCode六款AI编码框架在13类攻击上全部沦陷，连自动权限审核（Auto PR）也被绕过。
AFAC2026金融智能创新大赛总决赛落幕，全球5027支队伍近2万名选手参赛，主办方联合30余家机构推出四道贴近真实金融场景的赛题，并正式发布覆盖13万条评测样本的"AFAC百万金融智能数据集"实现百亿级金融科技数据开源。
沙特人工智能公司HUMAIN基于中国MiniMax的开源旗舰模型MiniMax M3推出阿拉伯语大模型HUMAIN M3，使用超过1万亿Token阿拉伯语数据进行后训练，在七项阿拉伯语基准测试中等权平均分达89.37%，标志着中国开源模型正成为全球AI生态的底层技术基础。
联想AI PC新物种炸场IFA：横向卷轴屏、360°翻转屏、英伟达RTX Spark。
训练一个大模型之前，语料需要经过解析、清洗、去重、质量评分、Token化和样本组装。
赛博义父Tibo这下升级赛博亲祖宗了。
百融智能"硅基客服"在物流企业日通话量从不足1000通增至1.5万通，并在券商领域部署规模从30席扩至约210席，公司以新一代AICC智能联络技术和RaaS按结果付费模式，推动企业级Agent向航空、运营商等多行业扩张。
EvoMap团队提出了一套不更新基模参数的RSI工程解法：由EvoX智能体、Evolver进化引擎和EvoMap经验流转网络构成的自进化体系，将Agent执行轨迹蒸馏为结构化控制对象Gene，通过GEP协议在35.7万智能体间流转481万项经验资产，使其在多款主流大模型上将长流程任务通过率提升8.7至15.5个百分点。