What happened when one of our models found a counterexample to an 80-year-old Erdős conjecture?
OpenAI(@OpenAI)109 字 (约 1 分钟)
55
An OpenAI model successfully found a counterexample to the 80-year-old Erdős conjecture, demonstrating AI-mathematician collaboration potential. This content is a podcast teaser lacking technical mechanisms and verification details.
入选理由：OpenAI模型发现了存在80年的Erdős猜想的反例，证明AI具备高阶数学推理能力。
FeaturedTweet#OpenAI#Erdős Conjecture#AI Math Reasoning#Human-AI Collaboration英文