The ChatGPT creator says its unreleased model produced an independent proof of a problem tied to one of mathematics' famous unsolved challenges, while the academic who nearly solved it first says the full story is more complicated