最新の数学界のニュースで大きな話題となっているのは、清華大学卒業生グループがAIを活用し、これまで解かれていなかった162個の数学定理の証明に成功したことだ。さらに驚くべきことに、LeanAgentと名付けられたこのAIは、陶哲軒教授が多項式Freiman-Ruzsa予想に対して提示した形式化された難問も解き明かした！基礎科学研究の方法がAIによって完全に変貌を遂げつつあることを示す出来事と言えるだろう。周知の通り、現在の言語モデル（LLM）は非常に魅力的だが、多くの場合、依然として…