2件の記事
マイケル・カーンズとアーロン・ロスが、AIエージェントを用いて証明を生成する機械学習理論の研究を進め、数学研究の方法論に革新をもたらしている。
新しいプレプリントが単一マイナス振幅を重力子に拡張し、GPT-5.2 Proが量子重力における非ゼロ重力子ツリー振幅の導出と検証を支援した。