➡️
继续阅读
-
姚班校友主导，Claude攻克费马大定理首个完整形式化证明
Anthropic宣布Claude用11天完成费马大定理的端到端形式化证明，生成约1300万行Lean代码和超3万个中间定理，规模超Mathlib五倍。通...
-
陶哲轩吐槽GPT-6孪生素数新突破：令人无语的一幕
陶哲轩警告，AI快速解答数学难题可能阻碍数学发展，因其过程不透明，掩盖了探索中“失败”带来的宝贵洞见。他以纳维-斯托克斯方程为例，指出AI虽能解决难题，但...
-
AI 智创简报：《说话人分离专利转向流式，转写接单者的工具活》
近一年，NVIDIA与Google公开了四项说话人分离专利，推动该技术从离线批处理转向流式处理，并引入大模型纠错。此技术旨在解决转写中“谁在何时说话”的难...
-
“我1%的工程师消耗了40%的token”：Coder与SpaceXAI为何要给开发者提供更好的工具
Coder推出Agent Relay服务，与SpaceXAI合作，使软件团队能在自有基础设施上运行编码代理，而Cursor负责云端推理。该方案针对银行、国...
-
Facet-0——用价值引导的 RL 教会 VLA 精密装配：动作–力觉联合预测，让接触可预测、可估值(把价值写进接触那一瞬)
Facet-0提出将接触视为动作的可预测结果，通过语义—接触表征联合生成动作与预期腕部扭矩，并基于ManuFacet-1K数据集训练。部署时用Action...
-
让 Apple Watch 记录的每一趟游泳数据更有意义：即刻游
对于使用AppleWatch游泳的人来说，记录一次游泳并不困难。在手表上打开体能训练App，选择开始游泳，结束后就能在Apple健身中看到完整的游泳表现，...
