HABERNEWS

Üçgenler, daireler ve çokyüzlüler içeren geometrik diyagramlar taşıyan birkaç sayfa bulunan açık bir kitap ve etrafına dağınık halde yerleştirilmiş sayfalar.

OpenAI, Lean ile doğrulanan 722 matematiksel kanıt yayınladıOpenAI publishes 722 math proofs verified by Lean

OpenAI, GitHub'da yayınladığı 722 kanıtın tümünün Lean asistanıyla formal olarak doğrulandığını belirtti. Bu durum, yapay zekanın matematiksel argümanlarda mantıksal tutarlılığı garanti eden somut bir başarı olarak öne çıkıyor.OpenAI stated that all 722 proofs it published on GitHub were formally verified using its Lean assistant. This stands out as a concrete achievement in which artificial intelligence guarantees logical consistency in mathematical arguments.

Bu, AiPulse bülteni için derlenmiş bir haber özetidir — orijinal makale değil. Orijinal haber wwwhatsnew.com adresinde.This is a news summary compiled for the AiPulse newsletter — not the original article. The original article is at wwwhatsnew.com.

Orijinal haberi okuRead the original article AI Kritik →AI Critique → Türkçe (otomatik çeviri) English (automatic translation)

Bültene dönBack to the issue