我和Tony Feng这次是站在一边的
我和Tony Feng这次是站在一边的。
绝大多数的数学家：我操，我赶紧用gpt 5.6和fable找反例，如何给剩下的猜想碰撞出一个反例才是最重要的事情，AI for math=碰撞反例，找反例找反例，速度找反例。
我：最重要的是找到结构化的证明形式，辅助、半辅助、multi agent互相辅助、互相批判、互相review，
我和Tony Feng这次是站在一边的。
绝大多数的数学家：我操，我赶紧用gpt 5.6和fable找反例，如何给剩下的猜想碰撞出一个反例才是最重要的事情，AI for math=碰撞反例，找反例找反例，速度找反例。
我：最重要的是找到结构化的证明形式，辅助、半辅助、multi agent互相辅助、互相批判、互相review，