人类和费马大定理纠缠了三个半世纪，Claude这次只用了11天！？ 刚刚，Anthropic宣布，Claude完成了首个端到端、可由计算机完整检查的费马大定理证明。 约1300万行Lean代码、超过3
纽约大学坦登工程学院研究人员近日推出一款名为ScaFi的仿生机器人鱼，它不仅外形和运动方式都接近真实鱼类，还能按需放大或缩小，以适应不同深度和尺度的水域环境。 这项设计的核心思路，是避开传统水下机器人