AI 是否终结了我们所知的数学？

Quanta Magazine 报道了2026年AI模型接连证明数学猜想引发的争议，OpenAI宣布解决著名数学问题后，数学界出现集体焦虑。数学家Scott Aaronson称人类已被“去中心化”，Ken Ono在伯克利演讲引发学生愤怒质问。