OpenAI says its AI model used reinforcement learning to find a counterexample to an 80-year-old Erdős mathematical conjecture

AI Judge changed title after evaluation, original title: "OpenAI RL lead Dan explains how combining reinforcement learning with LLMs enables AI to solve Erdős mathematical problems"

Human mathematicians helped verify the model's mathematical discovery.