AI首次拿下IMO官方满分金牌，背后藏着一套自我纠错机制
AI首次拿下IMO官方满分金牌，背后藏着一套自我纠错机制在上个月落下帷幕的第 67 届国际数学奥林匹克（IMO 2026）上，包括中国代表队三位选手（邓乐言、刘澈、张柏伦）在内，全球共有 7 名人类选手拿到了 42 分满分金牌。
来自主题: AI资讯
8908 点击 2026-08-04 10:35
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
在上个月落下帷幕的第 67 届国际数学奥林匹克（IMO 2026）上，包括中国代表队三位选手（邓乐言、刘澈、张柏伦）在内，全球共有 7 名人类选手拿到了 42 分满分金牌。
2026年7月31日，Expedia Group宣布已完成对Layla的收购。Layla是一个AI原生的旅行规划及预订平台，通过对话式AI旅行助手，帮助旅行者探索目的地、制定个性化行程，并规划完整的出行方案。
斯坦福最近公开了一门课的录像，叫 CS329A，主题是 Self-Improving AI Agents（自我改进的 AI agent）。两位主讲教授，Aakanksha Chowdhery 和 Azalia Mirhoseini，都有极深的工业背景。Aakanksha 曾是 Google 540B 参数 PaLM 模型的技术负责人，也参与了 Gemini 的研发
在具身感知赛道不断涌动的发展浪潮中，帕西尼再度以本轮融资将纪录推至新高。继上一轮超 10 亿元的破纪录融资之后，截至第三季度融资体量累计 35 亿元，叠加全球顶级产业资本与国家队的联袂入场，让其再度迎来高光突破。这种兼具超大体量与超高估值的罕见成长曲线，让帕西尼在全球具身赛道中，展现出了独树一帜的超断档领跑姿态。
近日，Milvus 3.0 正式上线。作为 Milvus 架构演进中的里程碑式版本，3.0 不仅带来多项突破性新功能，更从底层重塑了向量数据的存储、索引与检索边界。在 Milvus 3.0 中，你可以获得：
但如果你问的问题收束成：「今年最火的 AI 可穿戴硬件是什么？」那答案大概率只有一个—— Fitbit Air。仅仅一个数据就足以说明它的现象级爆火：作为一款官方开售已经超过两个月的设备，在二手平台你至今仍然需要加价 200~300 元购买。
连续自主编程16天，24小时击败458支人类队伍。
7 月初的时候，我照着 Karpathy 那套 LLM Wiki（简单说就是让 AI 帮你把资料编译成一个能长大的百科）搭了个本地知识库。
如何从一段视频中获得完整、稳定的 3D 物体？过去，这个问题大致沿着两条路线发展。
近年来，视觉 — 语言 — 动作模型（Vision-Language-Action Model，VLA）正逐渐成为通用机器人控制的重要技术路线，但当这些模型真正进入高频闭环执行时，一个矛盾越来越突出：模型越来越大、语义能力越来越强，动作更新却未必足够快。