## Solved, But Not Understood
OpenAI's model found a solution to an 80-year-old math problem that human mathematicians had missed. The solution was verified by…
## The Problem
An OpenAI model solved a mathematical problem that had stumped human mathematicians for 80 years. Ars Technica's Kai Williams attempted to expla…