数学AI

OpenAIが新推論モデルで1946年から未解決だったエルデシュの幾何学問題を解決したと発表。過去の誤報から一転、今度は数学者らの検証付きで真の突破口となるか