Haider.@haider1 · XAI 摘要
GPT-5.4 Pro 与 Aristotle 合作解决两道研究级数学难题，包括悬而未决 60 余年的 Erdős Problem #650。数学家陶哲轩称，AI 在数学发现方面已不再是炒作。
another example of how AI is starting to change mathematics
"gpt-5.4 Pro， alongside Aristotle， helped solve two research-level mathematics problems， including Erdős Problem #650， which had remained open for more than 60 years"
even terrance tao recently said that AI is no longer hype when it comes to mathematical discovery