[AINews] OpenAI GPT-next disproves 80 year old Erdős planar unit distance problem for under $1000

OpenAI 的 GPT-next 模型以低於 1,000 美元的運算成本，成功證偽了擁有 80 年歷史的 Erdős 平面單位距離數學猜想。

OpenAI 的新一代模型 GPT-next 展現了驚人的數學推理能力，成功證偽了由著名數學家保羅·艾狄胥（Paul Erdős）於 1946 年提出的平面單位距離猜想。 令人震驚的是，這項突破性研究所花費的運算成本竟然不到 1,000 美元。 此成果標誌著 AI 在科學與數學發現上的巨大潛力，展示了推理模型在解決未解科學難題時的高效與低成本。

摘要由 AI 整理,以原文為準。