GPT-5-Pro は、新しく興味深い数学を証明すると主張しています AI懐疑論者:「パターンマッチングだけ」。拒否 GPT-5 は、マイナーなオープン数学の問題を解決し、有効な代替案を見つけます AI懐疑論者:「チェリーピックか人間がループにいるか」。また否定された コープは際限なく続く...