「物理学」共找到 793 篇相关文章
陶哲轩联手AI挑战经典ε-δ极限！加法秒杀、乘法翻车
数学大师陶哲轩第三支Lean 4自动化数学证明视频，携手GitHub Copilot挑战「ε - δ」极限问题。Copilot处理加法较顺，减法卡壳，乘法失控。复杂证明时它短板尽显，陶哲轩认为复杂证明还得靠人脑。
拒绝视频生成，深度跃迁提出具身基座模型全新路线
深度跃迁发布世界动作模型 DELE - w0.5，放弃基于视频生成模型的路线，训练时联合学习动作与未来世界表征，推理时移除该表征分支。在真机实验中表现超基线，具跨背景泛化能力，为世界模型提供新思路。
斯坦福辍学生奥特曼：AI时代，大学上两年就够了
在面向科技实习生的活动上，有人问AI时代读大学是否必要，奥特曼认为要读，但四年太长，两年刚好，还列举盖茨等辍学生成功案例，强调辍学非成功公式，大学应给学生更多保障。
林俊旸Agent创业首次亮相，腾讯已投
前Qwen一号位林俊旸官宣创业公司Pragmatik Labs，方向为做横跨数字与物理世界的下一代Agent。公司获高榕、红杉、腾讯等投资，投后估值达20亿美元。虽无产品模型，但凭借林俊旸过往成绩受关注。
OpenAI连破10道数学难题，Fable 24小时「复现」5道
这个周末，OpenAI与Anthropic两大AI巨头在数学前沿短兵相接。先是OpenAI用未发布模型Astra证明10项数学成果，不到24小时，Anthropic的Fable复现了其中5项。AI解难题成本降低，成果验证成新考验。
太可爱了！会跳舞的 Claude Code 来了
英国工程师 Ben James 为 Claude Code 打造物理外设 USB-Clawd，它会在 Claude Code 需确认或等指令时跳动提醒。此外他还做了迷你传真机。Claude Code 创造者 Boris Cherny 认可该设计，Ben 打算组装剩余零件售卖捐款。
全球首家具身数据独角兽诞生：光轮智能完成10亿元融资，开启具身数据规模化元年｜甲子光年
具身智能进入数据Scaling Law时代，光轮智能完成10亿融资成全球首家具身数据独角兽。它构建了World-Behavior-Eval数据引擎体系，在多领域获国际交付冠军，客户涵盖顶尖企业，正构建物理AI时代基础设施。
社区供稿丨Reachy Mini 亮相 CES 黄仁勋主题演讲：一场开源共创的科技旅程
CES 2026 的 NVIDIA 主题演讲中，黄仁勋带来开源桌面机器人 Reachy Mini，展示了将模型与物理世界连接打造智能伙伴。它运行在本地，依托 DGX Spark 算力，能完成多种任务，其开发是开源硬件与敏捷制造的胜利。
AI破解500年《纽伦堡编年史》天书！仅用1小时，隐藏惊天真相被揭开
500年前《纽伦堡编年史》中的手写注释难倒人类学者，Gemini 3.0 Pro仅用1小时就给出解读，识别出注释与圣经年代学体系计算有关。它攻克视觉识别、解读缩写、还原历法转换表三大难题，展现惊人能力。
陶哲轩亲自曝光：AI破解数学难题，竟全是「抄」的？
数学大神陶哲轩发现，AI声称破解的Erdos难题，实则是多年前已被人类解决的旧闻。他指出当下AI进化逻辑并非创新，而是利用算力扫描人类文献的‘长尾黑洞’，其核心价值是填补人类知识遗忘漏洞。