12月 14 2025 0 AIが数学オリンピックに挑戦!たった1万3千の例で人間を超える幾何学問題ソルバー 投稿者: ユウ 解説 ねえねえ、智也くん!これ見て!『複雑度ブースト強化学習によるオリンピアレベル幾何学LLMエージェントの実現』…なんかすごそうなタイトル! ああ、その論文か。確かに面白い研究だよ。要するに、AIが国際数学オリンピック…
10月 06 2024 0 AIが数学の積分を解く!?新しいシステムの話 投稿者: ユウ 解説 ねえ、智也くん!『ALPHAINTEGRATOR: トランスフォーマーアクションサーチによるシンボリックインテグレーション証明』っていう論文、面白そうだね!内容教えてくれない? もちろん!この論文は、数学の積分を段…