What happened when one of our models found a counterexample to an 80-year-old Erdős conjecture?
Researchers
@alexwei_,
@HongxunWu, and
@wjmzbmr1 shared the story on the OpenAI Podcast with
@AndrewMayne and explained how mathematicians and models can work together to make new discoveries.