テレンス・タオはGPT 5.2 Proが「ほぼ自律的に」エルドス問題#728を解決したことを確認しています