一道「无理」挑战 人工智能公司 Anthropic 近日披露，其内部一名员工给自家的 Claude 出了一道近…
2026 年 5 月 20 日，OpenAI 的一则公告让数学界为之震动：一个尚未对外开放的内部模型，为「单位…
2026年7月，人工智能在数学领域又迈出了一大步——一个名为Fable 5的证明生成模型成功攻克了雅可比猜想（…
