「数学超级智能」共找到 3864 篇相关文章
AI不靠“闭门造神”，海内外一线专家共探智能新纪元，GOSIM AI Paris 2025圆满收官！
5月7日，GOSIM AI Paris 2025在法国巴黎迎来第二日议程。全球专家围绕AI技术多方面探讨，涉及模型、基础设施等主题。还分享大模型趋势，宣布新型许可证，各分论坛展示多元成果，大会圆满收官，杭州场9月待启。
独家丨华为、联想、富瀚微罕见「同框」，00后空间智能创业者连续获得两轮融资
魔芯科技近日完成新一轮近亿元融资，近两月连续获两轮近亿元融资。其创始人是00后浙大在读博士生。2025年公司研究成果被CVPR2026接收，还发布交互式视频世界模型。采用纯隐式空间表示，在多领域有突破。
马斯克的底裤要被扒光了！超级爆料一个多小时， xAI 工程师被火速解雇
xAI工程师Sulaiman Ghori在播客大赞公司与马斯克，3天后却被解雇，或因曝光诸多敏感信息。他讲述公司无官僚流程、多线并行高效，马斯克决策快且能快速解决问题，公司还测试虚拟员工等。
马斯克的底裤要被扒光了！超级爆料一个多小时， xAI 工程师被火速解雇
xAI工程师Sulaiman Ghori在播客爆料公司情况后被解雇。他称xAI做事高效，几乎无官僚流程，马斯克愿接受被证错。还透露公司利用闲置特斯拉汽车驱动AI代理等计划，以及马斯克解决问题、推进项目的方式。
RISC-V×AI生态大会暨ArchitStudio用户大会成功举办，共绘智能计算生态新图景！
12月26日，‘RISC-V×AI生态大会暨ArchitStudio用户大会’举办，DSA领域计算实验室揭牌。浦软与隼瞻科技将依托其开展研究、转化成果。会上各方共话RISC-V与AI融合机遇，还展示了ArchitStudio等产品应用。
NeurIPS 2025｜CAKE：大模型驱动的贝叶斯优化新配方，让黑箱优化更智能、更高效
香港中文大学（深圳）等高校研究人员提出 CAKE 方法，被 NeurIPS 2025 接收。它利用大语言模型动态设计高斯过程核函数，构建自适应贝叶斯优化框架，在多领域实验中效果优，还具备可解释性。
Vercel CEO爆Kimi K2智能体准确率超GPT-5 50%？国产的风还是吹到了硅谷
Vercel CEO称内部测试中，国产Kimi K2模型运行速度和准确率均优于GPT - 5和Claude Sonnet 4.5。硅谷多家公司已接入或转用K2，K2 Agent能力也经受住检验，还给出使用和价格相关信息。
GUI智能体训练迎来新范式！半在线强化学习让7B模型媲美GPT-4o
浙江大学与通义实验室团队推出UI - S1，提出半在线强化学习训练范式。它融合离线与在线学习优势，用三项关键技术构建核心架构，新评测指标SOP更贴近真实表现，实验显示UI - S1 - 7B性能卓越，逼近GPT - 4o。
空间智能新高度：港科大谭平团队SAIL-Recon突破万帧级图像大规模3D场景重建Transformer
香港科技大学谭平教授团队与地平线团队发布3D场景表征与大规模重建新方法SAIL - Recon，突破现有模型处理能力瓶颈，可实现万帧级场景表征抽取与定位重建，在多数据集上表现优于现有方法。
GPT-5 Pro独立做数学研究！读论文后给出更精确边界，OpenAI总裁：这是生命迹象
OpenAI研究人员喂给GPT - 5 Pro一篇凸优化问题论文，它读完给出更精确边界及证明。虽成果被人类论文反超，但思路不同，显示其有独立探索能力，OpenAI总裁称这是“生命迹象”。