“我没想到有生之年能看到准黎曼猜想的证明”

10 月 6 日晚间，罗格斯大学数论学家 Alex Kontorovich 在纽约国家数学博物馆的晚宴上，一手端着威士忌一手刷手机。OpenAI 刚刚在 GitHub 上放出 722 篇 AI 生成的数学论文。他翻到"准...

有意见 | 大语言模型数学差？学而思推出数学专用MathGPT

大语言模型偏科的毛病有救了？