> 數學界近日的「大件事」(重要事件),是 OpenAI 丢出了 722 篇數學研究文稿。...> 專業數學界之前已因 Navier-Stokes Equations 在特定條件下的解而和 OpenAI 結下樑子,這回同樣令專業數學界不滿:...
> 數學界近日的「大件事」(重要事件),是 OpenAI 丢出了 722 篇數學研究文稿。...> 專業數學界之前已因 Navier-Stokes Equations 在特定條件下的解而和 OpenAI 結下樑子,這回同樣令專業數學界不滿:大部分文稿沒有附上 Lean 的形式化證明——這雖非「人」的數學界的專業要求,卻是(至少我是這樣理解)大家期望 AI 「...