A glimpse of Level 4? OpenAI model helps challenge an 80-year-old math assumption

The interesting part for me is that OpenAI frames this as the output of a general-purpose reasoning model, rather than a system specifically engineered around this problem. If the proof holds up, it’s a strong signal that frontier models are starting to take a active role in the production of new knowledge. Still early, obviously. But this feels like the kind of result we may look back on. submitted by /u/Eyeswideshut_91 [link] [comments]