OpenAI, 80 yıldır çözülemeyen ünlü Erdos problemini yapay zekanın çözdüğünü açıkladı. Yeni modelin geliştirdiği ispat, matematik dünyasında büyük yankı uyandırdı.