r/math 对 AI 能否解决千禧年难题的讨论已反转

两年前 r/math 仍认为直接解决未解数学问题需要「强 AI/AGI 系统」，如今讨论已转向「AI 已解决一个千禧年问题、距解决大多数不远」。作者借此追问：需要出现什么能力，人们才敢宣布实现 AGI？