Aktualności3 sierpnia 2026 OpenAI's Astra model cracks ten longstanding math problems
OpenAI says an internal model solved ten longstanding problems in mathematics and theoretical computer science for under $2,000 each, with proofs formalized in Lean 4.
