"An OpenAI reasoning model has solved the 'planar unit distance' problem, which remained unsolved for 80 years. The AI utilized algebraic number theory to find arrangements that maximize point pairs with equal distances. Mathematicians have verified the proof, which relies on advanced mathematical concepts."