Yapay zeka modelleri, yüksek seviye matematik problemlerini çözme yetenekleriyle dikkat çekiyor. Yazılım mühendisi Neel Somani'nin OpenAI'nin yeni modelini test ederken keşfettiği gibi, ChatGPT gibi büyük dil modelleri (LLM'ler) artık karmaşık matematiksel ispatları üretebiliyor. Somani, modeli 15 dakika boyunca bir problem üzerinde çalıştırdıktan sonra tam bir çözüm elde ettiğini ve bu çözümün doğruluğunu teyit ettiğini belirtti. Bu durum, yapay zekanın matematiksel akıl yürütme yeteneklerinin ne kadar ilerlediğini gösteriyor.
Özellikle, GPT 5.2 gibi daha yeni modellerin matematiksel muhakeme konusunda önceki sürümlere göre belirgin şekilde daha yetenekli olduğu gözlemleniyor. Bu gelişmeler, ünlü matematikçi Paul Erdős'un geride bıraktığı ve çözülmemiş binden fazla problemden oluşan küme üzerinde de kendini gösteriyor. Son zamanlarda, bu Erdős problemlerinden 15'i "açık" statüsünden "çözülmüş" statüsüne geçirildi ve bu çözümlerin 11'inde yapay zeka modellerinin önemli bir rolü olduğu belirtildi. Gemini destekli AlphaEvolve gibi modellerin yanı sıra GPT 5.2'nin de bu alandaki başarısı dikkat çekici.
Matematik dünyası bu gelişmelere temkinli yaklaşsa da, yapay zekanın insan bilgisinin sınırlarını zorlamada oynayabileceği rolün giderek arttığı aşikar. Matematikçi Terence Tao'nun GitHub sayfasında belirttiği gibi, yapay zeka modelleri Erdős problemlerinde anlamlı ilerlemeler kaydetti veya önceki araştırmaları bularak ve üzerine inşa ederek çözümlere katkıda bulundu. Bu, yapay zekanın henüz insan müdahalesi olmadan matematik yapmaktan uzak olduğunu gösterse de, büyük modellerin bu alanda önemli bir potansiyele sahip olduğu açıkça görülüyor.
Yapay zeka modelleri, karmaşık matematiksel problemleri çözerek insan bilgisinin sınırlarını zorlamaya başladı.