【AI焦点】这次AI真的开始碰人类智力天花板了：OpenAI用约1万个AI Agent连续工作88小时，挑战近90年无解的纳维-斯托克斯千禧年难题，更强内部模型完成证明，GPT-6 Astra再用17小时做Lean形式化验证！ #人工智能 #GPT6 #AIAgent #科技突破