OpenAI AI model solves decades old combinatorics problem, proof verified by mathematicians, highlighting AI potential for original research and human AI scientific collaboration.