A new artificial intelligence system from OpenAI has produced proofs for 372 major mathematical problems, including the Unique Games Conjecture that complexity theorist Dana Moshkovitz had spent years trying to prove.
register or log in to get more services such as weather report, extended news articles and web search