analiza aiqbench

OpenAI's new Astra model demonstrates significant progress in scientific reasoning by solving ten long-standing mathematical and theoretical computer science problems, ranging from group theory to lattice-based cryptography. While the computational cost for these specific tasks is estimated at roughly $2000 using current API rates, experts clarify that this achievement does not signal an imminent replacement of mathematicians but rather highlights AI's role in formalizing proofs within systems like Lean. The company emphasizes that researchers retain responsibility for final publications and notes that attempts to solve the Clay Millennium Problems have so far been unsuccessful without dedicated resource allocation.