人物
别名：@HongxunWu
参与该数学发现的研究人员之一，在OpenAI播客中分享了人机协作经验。
已跟踪 2 条高相关材料
最近变化
2026-06-04 · OpenAI模型发现了存在80年的Erdős猜想的反例，证明AI具备高阶数学推理能力。
为什么值得关注
Hongxun Wu 被反复提及时，通常意味着它正在影响产品路线、开发者工作流或 AI 产业判断。这个页面把分散材料合并成一个可持续更新的观察入口。
[AINews] OpenAI GPT-next disproves 80 year old Erdős planar unit distance problem for under $1000
Latent Space · 8.5 分
OpenAI的GPT-next模型以不足1000美元的成本，在32小时内解决了持续80年的Erdős平面单位距离问题，证明了通用LLM在复杂科学推理中的潜力。
What happened when one of our models found a counterexample to an 80-year-old Erdős conjecture? Res...
OpenAI(@OpenAI) · 5.5 分
OpenAI模型成功找到80年Erdős猜想的反例，展示了AI与数学家协作发现新数学知识的潜力。该内容为播客预告，缺乏具体技术机制与验证细节。
已收录 2 条与 Hongxun Wu 相关的内容，按评分排序。
OpenAI's GPT-next model disproved the 80-year-old Erdős planar unit distance problem for under $1000 in 32 hours, demonstrating the potential of general-purpose LLMs in complex scientific reasoning.
入选理由：OpenAI的GPT-next模型以不足1000美元和32小时运行时间，首次通过通用LLM推翻了Erdős的平面单位距离问题假设。
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具备高阶数学推理能力。
![[AINews] OpenAI GPT-next disproves 80 year old Erdős planar unit distance problem for under $1000](https://substackcdn.com/image/fetch/$s_!BIRC!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0ff7bdc0-79ef-49ce-a5c0-f7db89d60637_1098x1582.png)
