（来源：上观新闻）
在Pu🥰tnam🥔-2025（相💌🍙免费创建网址当于数学界的奥林😳💜免费创建网址匹克）上，采用混🇸🇦合形式推理加↕🌒Lean 4形🖋免费创建网址式化验证的流程，🚝🐽DeepS🕞eek-✳V4达到120/📌4️⃣120满🎷分，与😩➕Axi👃✡om系统🛑🍪并列，领先Se🈲ed-1🐝.5-P🤚🦈rover（▶🍨110/120⬅👔）🇯🇪。目前尚🕝🏃不清楚🦸♂️🕯Space🎵X是否已经开始🇸🇧🇦🇲自研GPU，🥓研发进度🚇🚩如何，计划在何时⛽生产自研G🆗💠PU，但预计将会✉由特斯拉和🗝SpaceX🇮🇲共同投资👒建设的📳Terafa㊙b晶圆厂来🤰生产🦶💂。Ope📘👏nAI💃的GPT👦🧴-5.4🦏🦍、Anthrop💢🏔ic的😥Cla👁➰ude Opu🥉免费创建网址s 4🤹♀️🖱.6——这些最🕊强大的模型，🕵只能通过付👾😮费API访🦆免费创建网址问，权重从不🇳🇺公开，训练代🦹♂️码更是商业机密❌📮。
V4做了一件⛈在大规模训练中颇✳为罕见的事：把大❣部分参数🍝✅的训练发😫👎动机从Ada🐫mW换⚜🦌成了Muon🐶。研究者找到了🐍两个工程🧖♀️解法： 第🇨🇬一个叫"🇩🇰预判路由"（An🤹♀️ticipato📭ry Routi🔷ng）：在第t🧑🤤步训练时，路由🌅免费创建网址索引不用第t🇪🇦👓步的参数计算，⛱而是提前在🚙🏴t-Δ🥤⏯t步就预先算好、🧙♂️👞缓存起来，⏳用于第t步——☎这打断了路🧦由网络和主干😱🐢网络同步🅿更新形成🇱🇷😹的恶性循环🎸。影像打破了❔🚾「折叠屏📊🏒长焦辣鸡」💎🛅的刻板印💹象 说完🇹🇫让「情🌨理之中🚀」优秀的内外🇹🇰⚠屏交互方式和小🎍艺伴随式 A🔄🇵🇦I，我们👫再来看看🐀 Pura🎈 X Max 🚜📫让人惊🐴讶的相机🤨🔗表现🌓。
