OpenAI AI model solves decades old combinatorics problem, proof verified by mathematicians, highlighting AI potential for original research and human AI scientific collaboration.
OpenAI's Internal AI Solved This 80-Year-Old Math Problem. Mathematicians Say Proof Checks Out


