31年間解けなかった数学の難問KLS予想を、Microsoftの研究者とAIが共同で証明しました。AIの提案と人間の判断がどのように難問解決につながったのか、そのプロセスを分かりやすく解説します。