「数学成果」共找到 1063 篇相关文章
斯坦福开源复杂推理AI Agent，融合超10种工具
传统AI助手应对复杂任务能力有限，斯坦福开源OctoTools，这一复杂推理AI Agent融合11种工具。它在16项基准测试中准确率高，能应对多领域复杂场景，框架含工具卡片、规划器等构件。
grok 4一图流
文章展示grok 4核心数据，涵盖训练成本、模型定价，还列举其在通用、专业、数学、推理、编程等能力测试中排名第一的成绩，不过实际水平还有待观察。
刚刚，马斯克切脑全场震撼！插脑只要1.5秒，26年治愈失明，28年全人类变AI
马斯克Neuralink发布会亮点多，全球已有七人植入设备，可通过脑机接口玩游戏、控制机械臂。马斯克公布三年路线图，2026年治失明，2028年人类与AI集成。第二代手术机器人提速，自研植入物创新数据传输模式。
MIT教授绝望：OpenAI攻克的千禧年难题，人类已经看不懂了！
本文报道OpenAI攻克千禧年数学难题纳维-斯托克斯方程事件，探讨AI生成证明超出人类认知上限的现状，剖析AI对传统科研范式、学术体系的冲击与伦理困境
“35岁以下科技创新35人”2026年全球入选者名单发布，他们正在抵达未知之境
自1999年起，《麻省理工科技评论》评选全球35岁以下年轻创新者，本文发布2026年度榜单，介绍了35位入选者在AI、生物、能源、气候等领域的核心创新成果。
VC开始靠AI预测未来了
七月，DigClaw的预测框架Rhizome v1在FutureX评测平台取得优异成绩，支持了预测能力可沉淀在基座模型之外的判断。大语言模型不擅长预测，而DigClaw构建了以因果结构为骨架的预测基础设施。
2026 GOAI 世界人工智能开源大赛「AI for Research 前沿探索」赛道报名中
2026年7月21日，GOAI世界人工智能开源大赛‘前沿探索（AI for Research）’赛道在杭州启动。该赛道聚焦AI与科研交叉，设算法和开放探索两类赛题，不限学科，重问题定义，认可‘无发现’价值，强调证据链。
用脑机接口上班是什么体验？一个渐冻症患者使用了两年后表示：其实很无聊
加州大学戴维斯分校团队为渐冻症患者凯西植入脑机接口，装置工作 19 个月处理 18.3 万个句子，证实其长期稳定性和临床实用价值。不过，脑机接口难以兼顾多方面要求，商业推广也面临诸多门槛。
不用人类手写训练框架了！AI自己写代码，训出1B端侧「小钢炮」
5月25日，面壁开源端侧文本基座大模型MiniCPM5 - 1B，主打低成本部署等。它由AI编写的ForgeTrain框架参与预训练，效果与英伟达Megatron对齐且速度快10%。该模型在榜单表现优，应用边界广，部署门槛低。
AI Spot 学术分享会丨ICLR 2026 深度推理专场
当大模型走向深度推理，ICLR 2026 汇聚全球顶尖成果。OpenMMLab 等联合发起 AI Spot ICLR 2026 学术分享会，5 月 14 日 19 点直播，聚焦模型‘慢思考’，嘉宾将解读四大核心技术。