数学者たちは、研究がAIで加速されて「簡単に収穫できる果実」を摘み始める時代に突入したと述べる。
これはチェスや囲碁などでも起きた現象で、AI勃興期にAIを使用していた選手は、次々と新手を見出し大きく優位性を得ていた。
常識に囚われないAIの新手法を人間が見出し、新発見が量産される👇
I firmly believe we are at a watershed moment in the history of mathematics. In the coming years, using LLMs for math research will become mainstream, and so will Lean formalization, made easier by LLMs. (1/4)