我和Tony Feng这次是站在一边的。
绝大多数的数学家：我操，我赶紧用gpt 5.6和fable找反例，如何给剩下的猜想碰撞出一个反例才是最重要的事情，AI for math=碰撞反例，找反例找反例，速度找反例。
我：最重要的是找到结构化的证明形式，辅助、半辅助、multi agent互相辅助、互相批判、互相review， 去构建一个方法，可以给出可信赖的、可以认证的、不存在lean4里面到处夹杂sorry的完整证明。
这也是我一直以来的目标和期望。

AI探索 | Hermes/OpenClaw｜优质资源｜优质信息