saw this preprint: https://zenodo.org/records/22826419
Was pretty skeptical at first, but after a first pass I haven’t found an obvious issue. GPT also couldn’t find a concrete gap. And nor could a friend of mine who’s more familiar with this area.
The proof itself seems to be human made, disclosure says AI was used for editing/checks/etc.
If correct, this seems like a pretty big deal.