Hacker News new | past | comments | ask | show | jobs | submit
vatsachak | on: An OpenAI model has disproved a central conjecture in discrete geometry
They most definitely threw in rl with formal verification somewhere between GPT 4 and now. The models are better at not hallucinating. I don't think their IMO team are only show ponies...