#証明生成ai のAIニュース

AIが数学研究の本質をどのように変えているか

マイケル・カーンズとアーロン・ロスが、AIエージェントを用いて証明を生成する機械学習理論の研究を進め、数学研究の方法論に革新をもたらしている。