2026-05-22
OpenAI宣称用AI推翻了一个困扰数学界近80年的猜想
OpenAI宣布,其新推理模型已给出原创数学证明,推翻了1946年由Paul Erdos提出的一个著名几何猜想。值得注意的是,七个月前OpenAI曾错误声称GPT-5解决了多个Erdos问题,实为找到已有文献中的现成答案...
OpenAI宣布,其新推理模型已给出原创数学证明,推翻了1946年由Paul Erdos提出的一个著名几何猜想。值得注意的是,七个月前OpenAI曾错误声称GPT-5解决了多个Erdos问题,实为找到已有文献中的现成答案...