OpenAI's Astra Model Addresses 10 Long-Standing Mathematical Problems

2026-08-05

OpenAI announced that an internal version of its Astra model has generated new solutions for 10 complex problems in mathematics and theoretical computer science. The model also produced machine-checkable proofs for these discoveries.

Source: SiliconANGLE

Reported by VERA Newswire.