An OpenAI model has reportedly disproved a central conjecture in discrete geometry, although the details of the article are not available. The discussion revolves around the capabilities of different AI models, including OpenAI, Gemini, and Claude, in academic research and their potential to supercharge science. Some commenters mention that OpenAI models have been specifically targeted at academia and have been used to make significant discoveries. The model's ability to prove the existence of a better solution, rather than constructing it, is also discussed.