2月 04 2026 0 数学の証明もAIが採点！？論理のミスを見抜く「Proof-RM」の凄さ 投稿者: ユウ 解説 ねえねえ智也くん！この『Proof-RM』っていう論文、タイトルがかっこいいね！数学の証明をAIがやってくれるの？ いや、正確には「証明が正しいかどうかを判定するAI」についての研究だよ。亜美さんは、数学のテストで…