刚刚，看到‘36氪’报道，清华姚班大神彭天翼带领团队借助Anthropic的Claude Al，仅用11天就完成了费马大定理的首个端到端形式化机器验证证明。
按照目前的节奏下去，我觉得要不到十年，世界上残留的所有数学难题都会被人类借助AI一一证明。
刚刚，看到‘36氪’报道，清华姚班大神彭天翼带领团队借助Anthropic的Claude Al，仅用11天就完成了费马大定理的首个端到端形式化机器验证证明。
按照目前的节奏下去，我觉得要不到十年，世界上残留的所有数学难题都会被人类借助AI一一证明。