コンテンツへスキップ
亜美と智也のAI論文解説
最新AI論文の知見を分かりやすく解説！
タグ:
Lean4
1月
24
2026
0
AIが物理の真理に挑む！新モデル『PhysProver』が切り拓く科学の未来
投稿者:
ユウ
解説 ねえねえ智也くん！この『PhysProver』っていう論文のタイ…