Exclusive: Math AI startup can prove its work - Axios

May 26, 2026 - Technology Exclusive: AI math startup's proofs land in peer-reviewed journals Ina Fried email (opens in new window) sms (opens in new window) facebook (opens in new window) twitter (opens in new window) linkedin (opens in new window) bluesky (opens in new window) Add Axios on Google Illustration: Lindsey Bailey/Axios email (opens in new window) sms (opens in new window) facebook (opens in new window) twitter (opens in new window) linkedin (opens in new window) bluesky (opens in new window) Add Axios on Google What to read next