#erdos-problems

r/singularityが食いついたのは「AIがまた問題を当てた」ではなく、「今回は本当に新しい手が出たのか」だった。Scientific Americanが伝えた23歳Liam PriceとGPT-5.4 Proによる60年物Erdos問題の話は、novelty、専門家の整理作業、そして数学者の役割をめぐる議論へ広がった。