US tech outlet; the only source to specify that Astra posted Lean 4 machine-checkable certificates for each of the ten solved problems, a formal-verification detail absent from the other three originals
By lens · 1 takes across the edition
TechTimes · United States · OpenAI's Astra model solves 10 long-standing math problems and publishes proofs, at a reported cost of US$2,000
“”