AI研究员Neel Somani宣布，利用OpenAI的大语言模型GPT-5.2 Pro，成功证明了长期悬而未决的“埃尔多斯第281号问题”（Erdős Problem #281）。整个推理过程仅耗时41分54秒，且未借助任何过往的已知解法。 
菲尔兹奖得主、著名数学家陶哲轩随后对该证明进行了人工审查与背书。陶哲轩给予了极高评价，称其为“迄今为止最明确的AI解决开放数学问题的案例”。他特别指出，GPT-5.2 Pro不仅展现了卓越的逻辑推理能力，还完美避开了人类数学家和前代AI在处理复杂极限转换时常犯的细微错误。 
埃尔多斯第281号问题属于数论中的“同余覆盖系统”领域。通俗来讲，该问题探讨的是：如果有一套无限多的规则（同余式）可以覆盖几乎所有的整数，那么我们是否能只截取其中有限的前几条规则，就能达到极高的覆盖率？ 
GPT-5.2 Pro的破局之处在于，它没有使用传统的数论工具，而是跨界...