> 數學界近日的「大件事」（重要事件），是 OpenAI 丢出了 722 篇數學研究文稿。... > 專業數學界之前已因 Navier-Stokes Equations 在特定條件下的解而和 OpenAI 結下樑子，這回同樣令專業數學界不滿：大部分文稿沒有附上 Lean 的形式化證明——這雖非「人」的數學界的專業要求，卻是（至少我是這樣理解）大家期望 AI 「寫段落」之餘要做到的 。 // 既然有人已經在泛中文圈寫了這件事，我就提早發表吧。 #數學 #AI #LLM https://cylikesreading.wordpress.com/2026/10/20/math-and-ai/