RT @axiommathai: 世界で最も難しい大学レベルの数学テスト、パトナムが昨日午後 4 時 (太平洋標準時) に終了しました。 今日の正午、AxiomProver は 12 問中 9 問を解きました…
スレッドを読み込み中
X から元のツイートを取得し、読みやすいビューを準備しています。
通常は数秒で完了しますので、お待ちください。
スレッドを読み込み中
X から元のツイートを取得し、読みやすいビューを準備しています。
通常は数秒で完了しますので、お待ちください。
1 件のツイート · 2025/12/07 22:39
RT @axiommathai: 世界で最も難しい大学レベルの数学テスト、パトナムが昨日午後 4 時 (太平洋標準時) に終了しました。 今日の正午、AxiomProver は 12 問中 9 問を解きました…