コンテンツへスキップ
亜美と智也のAI論文解説
最新AI論文の知見を分かりやすく解説！
タグ:
証明検証
2月
04
2026
0
数学の証明もAIが採点！？論理のミスを見抜く「Proof-RM」の凄さ
投稿者:
ユウ
解説 ねえねえ智也くん！この『Proof-RM』っていう論文、タイトル…