San FranciscoOpenAI’s Astra model resolved 10 open problems.
Most are counterexamples, a search task these systems excel at, not proofs built from new theory — mathematicians dispute how much credit belongs to the AI.
Cambridge researcher Francesco Fournier-Facio says OpenAI has already had to correct its own claim about the work’s originality.
Sources: New Scientist