OpenAI'nin Astra modelinin dahili sürümü, on yıldan uzun süredir açık kalan 10 matematik ve bilgisayar bilimi problemini çözerek matematikte bir atılım gerçekleştirdi. Sonuçlar, titiz kanıtlar şeklinde sunuldu; infohub.kz sitesi bunu bildiriyor.
OpenAI, GitHub platformunda Apache 2.0 lisansı altında 249 sayfalık el yazması bir derleme ve 10 çözülmemiş problem için Lean 4 dijital sertifikaları yayınladı. Algoritma tarafından üretilen tüm kanıtlar, mantık zincirlerinde tek bir atlama olmadan resmi makine doğrulamasından başarıyla geçti.
Çözülen problemler arasında, 1980'de ortaya atılan Conn'un sertlik hipotezinin çürütülmesi, bir sofik grubun varlığının kanıtlanması ve Paul Erdős'ün çok renkli Ramsey sayılarıyla ilgili 183. probleminin çözümü yer alıyor. Ayrıca Astra, çok boyutlu uzaylarda küre paketleme, kuantum tekrarı ve algoritma karmaşıklığı alanlarında da çözümler buldu.
Yeni yapay zeka sistemi Astra, birden fazla ajanın koordineli çalışmasıyla karmaşık problemler üzerinde uzun süreli çalışmak üzere tasarlandı. Araştırmacı Noam Brown, token maliyetlerinin yalnızca yaklaşık 2000 dolar olduğunu belirtti. Ancak, sunulan tüm sonuçların bilim insanlarının uzman incelemesinden geçmesi gerekiyor.