一位刚结束OpenAI实习的研究者给出了一个时间点:2027年,数学超级智能将到来。按他的说法,届时几个月的数学进展,可能相当于过去一个世纪。
这个判断并非孤声。Haider对此表示认同,并进一步指出,数学奇点其实已经在发生——只是大多数人还没意识到。
![]()
验证正在掉队
Haider给出的依据很具体:普通数学家已经跟不上AI生成的数学解答,更谈不上验证。开发者这边也一样,审查AI生成的代码、修复其中的问题,同样力不从心。
换句话说,产出速度已经跑在了人类理解速度的前面。这不是某个环节的卡顿,而是验证链条整体性的滞后。
一个时间点的分量
2027年这个数字之所以值得记下来,是因为它把"数学超级智能"从模糊的远景拉到了可对照的日程上。而"几个月等于一个世纪"的换算,指向的是进展速率的量级变化。
当验证者跟不上生成者,问题就不再是AI能不能做出来,而是人类还能不能看懂它做出来的东西。
特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.