Tech news service; leads with the proof publication as the key milestone, framing it as a scientific output rather than a product announcement
By lens · 1 takes across the edition
SiliconAngle · United States · OpenAI's Astra model solves 10 long-standing math problems and publishes proofs, at a reported cost of US$2,000
“”