AI use cases
OpenAI's model was used to produce a solution to the Erdős planar unit distance problem, reportedly using extended inference-time computation and human refinement.
From Agent control planes & OpenAI model solves Erdős by IBM Technology