
ISODS Special Citation: Recognizing OpenAI’s Research Team for Innovations in Formal Mathematics
The International Society of Data Science (ISODS) is pleased to award a Special Citation of Merit to the Reasoning Research Team at OpenAI. This honor recognizes their groundbreaking work in AI-driven mathematical discovery, particularly their use of extended test-time compute to generate machine-verified formal proofs using the Lean interactive theorem prover.




