
OpenAI published 372 AI-generated advances across mathematics and theoretical computer science. Many of these were formally verified, but OpenAI withheld its exact model and prompts used. #Science is awesome π§¬π¦Ύππ€― #ScholER
https://www.scientificame..
