When OpenAI announced on a press call that an internal model had cracked one of mathematics’ hardest open problems, we wrote that nobody had seen the proof. That is no longer true, and what has now been published narrows the claim in ways the announcement did not.OpenAI has posted a write-up, a PDF paper, and […] This story continues at The Next Web