➡️
继续阅读
-
2000+真实场景搬进仿真！一个导航模型零样本“通吃”四种机器人本体
亮源新创提出Physical AI三段范式：规模化预训练、对齐与部署，并发布三项技术。LightParkour用强化学习将单个动作扩展为可泛化技能分布；L...
-
温网、美网与数学的未来
数学家史蒂文·斯特罗加茨在采访中谈及AI与数学时落泪，并非担心失业，而是感慨数学四千年的人文传统：它不仅是结果，更是代际间关于“为何为真”的对话。AI浪潮...
-
AI破解世纪数学难题！25位菲尔兹奖得主集体破防，数学家彻底慌了
OpenAI称其AI用88小时攻克纳维-斯托克斯方程，随后25位菲尔兹奖得主联名警告AI与数学界存在严重错位。数学家担忧AI跳过理解、检验与传承过程，使数...
-
数学之后
陶哲轩博客的客座文章讨论了OpenAI宣称用AI解决纳维-斯托克斯问题。作者认为AI给出的是“答案”而非真正“解答”，因为数学证明既需逻辑正确，也需人类可...
-
众包征集关于数学目的、价值与本质的通用资源列表
陶哲轩发文征集关于数学目的、价值与本质的书籍和文章资源，以纠正公众对数学的简单化误解，并列举了相关经典著作、非正式链接及本人访谈写作，邀请读者在评论区补充更多资源。
-
探索RSI，生数新世界模型让机器人开始自我进化
生数科技发布世界模型Motus2，集行动、预测、评估于一体，形成“生成动作—预测后果—评估结果—更新策略”闭环，初步探索机器人自进化。该模型新增触觉与记忆...
