科学AIが数学界を二分している

ここ数カ月、AI業界は数学者たちが長年解決できなかった問題に照準を合わせてきた。AIモデルが大きく前進した例もあるが、その成果の規模は必ずしも明確ではない。The Vergeのロバート・ハートが、OpenAIなどの実績や研究者とのひどいやり取り、人間による数学の未来を解説する。