AI 导读
GPT-5.5 身上有种特别的魔力。它一个接一个地解决 Erdős 问题。 这或许才是后 AGI 时代研究的真实感受。 不是某个戏剧性的"AI 解决数学"时刻，而是数十项并行发现、匿名贡献者、形式化证明作为信任基础设施，以及人类在认知上努力跟上。
正文
GPT-5.5 has a certain magic about it. It solves one Erdős problem after another.
this is what post-AGI research may actually feel like.
Not one dramatic "AI solves math" moment, but dozens of parallel discoveries, anonymous contributors, formal proofs as trust infrastructure, and humans struggling to keep up cognitively.
I fully solved my 2nd Erdős Problem using ChatGPT-5.5-Pro - and then I verified the solution by formalizing it! Less than 2 days after solving my first Erdős Problem, after running Pro for a few hours I was able to elicit the solution, this time in analytic number theory! 🧵1/n在 X 查看被引用的帖子
来源：@kimmonismus · x.com