Results for "Columbia University"
2 results found
AI / Machine Learning
A New Open Source Dataset Aims to Solve AI's Math Reasoning Gap
Researchers at MIT and Columbia University released ATLAS, a dataset of 320,000 autoformalized mathematical statements for training AI reasoning systems.
May 29, 20263 min read
AI / Machine Learning
A Mathematician Verified an OpenAI Proof. Here's What He Found
Mathematician Will Sawin reviewed a proof from an OpenAI model that claimed to disprove a famous conjecture. His findings reveal both the promise and limits of AI in mathematics.
Jun 1, 20263 min read