AI 与机器人
AI 与机器人
OpenAI分享AI在数学领域的进展
一口气放出700多篇数学论文
AI 与机器人
花4000美元买回一只宇树机器狗，这位美国记者经历了什么？
宇树科技，或许是这个世界上最重要的机器人公司.
AI 与机器人
中国数学家邓煜放话：若AI能解出所有数学题，他就回家写小说去
25位菲尔兹奖得主联署声明：AI与数学界正出现“严重失调”。
AI 与机器人
OpenAI宣布：AI 攻克千禧年七大数学难题之一
2026年9月9日，OpenAI宣布，公司内部一套人工智能系统给出了“纳维-斯托克斯方程存在性与光滑性问题”的解答，这是数学界著名的“千禧年大奖难题”之一。团队同时公开了完整的证明过程，以及用Lean语言完成的形式化验证。
AI 与机器人
AI可能会杀死我们所有人？
一位Anthropic前研究员的公开“逼宫”，把AI巨头们私下的恐惧摆上了台面。