OpenAI का नया Astra model Lean 4 proof system के माध्यम से 10 long‑standing math problems का सफल समाधान दे चुका है। INTRODUCTION 7 अगस्त 2026 को OpenAI ने अपने research portal पर घोषणा की कि Astra model ने गणित के 10 ऐसे complex proofs solve किए जिन्हें दशकों से mathematicians ने open problem के रूप में रखा था। Proofs Lean 4 formal verification system में validate किए गए। WHAT HAPPENED Model: OpenAI Astra (Gen‑5 architecture) Verification Tool: Lean 4 proof assistant Solved Problems: 10 complex theorems in number theory and topology Publication: OpenAI GitHub research repository KEY FACTS Accuracy: 99.7% verified proof consistency...
