NEWS

Üç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 publishes 722 math proofs verified by Lean

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.

This is a news summary compiled for the AiPulse newsletter — not the original article. The original article is at wwwhatsnew.com.

Read the original article AI Critique → English (automatic translation)

Back to the issue