Chubby♨️@kimmonismus · XAI 摘要
GPT-5.5 展现出持续解决 Erdős 问题的能力，这预示了后AGI研究的可能面貌：并非戏剧性的单一突破，而是大量并行发现、匿名贡献者参与、形式化证明作为信任基础设施，人类在认知上难以跟上。引用推文关键点显示，用户通过 ChatGPT-5.5-Pro 在解决第一个 Erdős 问题后不到两天，又快速攻克第二个问题，并利用形式化验证解决方案，体现了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 Pr...