[AINews] OpenAI GPT-next disproves 80 year old Erdős planar unit distance problem for under $1000★ 90
Latent Space·12d ago·Release
OpenAI 的新一代模型 GPT-next 展現了驚人的數學推理能力,成功證偽了由著名數學家保羅·艾狄胥(Paul Erdős)於 1946 年提出的平面單位距離猜想。
令人震驚的是,這項突破性研究所花費的運算成本竟然不到 1,000 美元。
此成果標誌著 AI 在科學與數學發現上的巨大潛力,展示了推理模型在解決未解科學難題時的高效與低成本。