Un LLM généraliste a réfuté une conjecture mathématique importante formulée en 1946. Les commentaires des mathématiciens sont éclairants sur le sujet.
Monsieur Phi
OpenAI's claim that this is a central conjecture in discrete geometry is not an exaggeration. This will I think be looked back on as the first time that AI solved a major mathematics problem (defined as a problem that all experts in some subfield had thought about).
openai.com/index/model-...
An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.
