1月 24 2026 0 AIが物理の真理に挑む！新モデル『PhysProver』が切り拓く科学の未来 投稿者: ユウ 解説 ねえねえ智也くん！この『PhysProver』っていう論文のタイトル、なんかカッコよくない？物理を証明するAIだって！ お、よく見つけたね。これは今まで数学に偏っていた「形式的定理証明」を、物理学の分野にも広げよう…