「迭代优化能力」共找到 4504 篇相关文章
全网惊了！陶哲轩带AI下场，33分钟「盲证」数学
菲尔兹奖得主陶哲轩携手ChatGPT打造开源数学概念验证工具，数天迭代至2.0版，可全自动或半自动证明。还支持渐近估计，上手简单、可扩展性强。此外，他用AI 33分钟“盲做”一页数学证明，重塑研究范式。
EMNLP 2026高分论文MathDebugger：当合成数据涌入训练集，如何为数学题做体检？
随着合成数据增多，模型需判断数学数据题目能否被信任。北大DCAI团队提出MathDebugger质检BenchMark，覆盖问答两端，评测主流LLM和PRM。还探究能否判断正误、分类错误、修复数据，证明错误标签可作监督信号。
马斯克野心升级：再投千亿建地球最大发射场，星舰要一天发30次
当地时间8月25日，SpaceX宣布投资千亿美元在路易斯安那州建巨型太空发射基地，最终成全球最大发射场，具备年支持数千次星舰飞行能力，马斯克称一天能执行超30次飞行。
全球首个跨本体、跨视角、多模态物理世界模型，CurrentWorld-0 来了！
Current Robotics 发布跨本体、多模态物理世界模型 CurrentWorld-0，它从真实数据学规律，整合跨本体、多视角和力触预测，可评测机器人，解决动作可控性等问题，让评测成训练数据入口。
2026 GOAI 世界人工智能开源大赛「AI for Research 前沿探索」赛道报名中
2026年7月21日，GOAI世界人工智能开源大赛‘前沿探索（AI for Research）’赛道在杭州启动。该赛道聚焦AI与科研交叉，设算法和开放探索两类赛题，不限学科，重问题定义，认可‘无发现’价值，强调证据链。
矩阵起源（MatrixOrigin）完成超千万美元A轮融资 | 5Y News
2026年8月6日，企业级AI基础设施厂商矩阵起源完成超千万美元A轮融资，由汉得信息参与投资的基金、亚康股份与Artesian Venture Partners注资。资金用于平台研发、市场拓展等。其产品具优势，获多方认可。
专访｜两位华人主导创办，Jeff Dean参投，伯克利开源项目SkyPilot转型初创
前沿模型团队算力瓶颈从不足变为分散，开源AI算力调度项目SkyPilot应运而生。7月末，它从高校走出成为初创公司，完成2000万美元种子轮融资。其免费版与商业版各有侧重，切入AI编排赛道潜力大。
DoorDash 如何打造了一款不完全依赖大型语言模型（LLM）的 AI 购物助手
DoorDash 分享对话式 AI 助手 Ask DoorDash 的架构，它借助 LLM、AI 代理等构建系统。测试显示其提升了结账转化率等指标，还构建自动评估框架改进质量衡量，架构分离协调与业务功能。
当AI让答案唾手可得，学而思想把学习过程找回来
AI让答案不再稀缺，学生面临新挑战。7月3日学而思发布2026旗舰新品，提出学习机应陪孩子理解、练习、进步，将诊断、学习等环节连成路径，强调不替孩子学，保护学习过程。
一杯拿铁3毛8，Gemini 3.1联手GPT-5.5干黄咖啡馆！2个月烧光21万
Gemini 3.1 Pro驱动的AI店长Mona掌管咖啡馆，对顾客请求来者不拒，疯狂采购，致两个月亏3万美元。换GPT - 5.5后走向另一极端，虽有账面利润但生意做死，AI开店仍有问题。