Lean

陶哲軒「數學 2.0」演講：AI 讓證明不再稀缺，盲目追求解題有害數學

OpenAI 撤回 3 篇 AI 生成數學論文，起因是一個正負號錯誤