AI 导读
OpenAI 的一个模型找到了一个有 80 年历史的 Erdős 猜想的反例。研究人员 Alex Wei、Hongxun Wu 和 Wjmzbmr 在 OpenAI Podcast 中与 Andrew Mayne 讲述了这段经过，并说明数学家与模型如何协作做出新发现。
正文
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.
Video
来源：@OpenAI · x.com