OpenAI Establishes Independent Math Advisory Group Following Tensions Over Automated Proofs
On Monday, OpenAI announced the formation of a new independent advisory group hosted at the Institute for Advanced Study in Princeton, New Jersey. Called the Advisory Group on Mathematics and…