Hacker News new | past | comments | ask | show | jobs | submit
vatsachak | on: An OpenAI model has disproved a central conjecture in discrete geometry
They are most likely using them in training. I doubt their IMO team are show ponies