0
23岁零基础小伙一个Prompt，ChatGPT 5.4 Pro直接干翻60年Erdős难题！
一位23岁、没有高等数学训练的年轻人，只输入一个简单的prompt，就让ChatGPT 5.4 Pro在80分钟内破解了困扰数学界60年的Erdős难题。AI用von Mangoldt函数构造Markov链，把上界直接优化到1 + O(1/log x)，随后被Lean形式化验证。数学的范式革命正在发生。