通用人工智能团队搞出的“通矩模型”,也叫tonggeometry

虽然咱们在国家对通用人工智能的大力支持下,很多人都在说中国科研力量在国际上表现亮眼,但这次的突破确实是实打实的。咱们看北京通用人工智能研究院这个团队,他们搞出来的“通矩模型”,也叫TongGeometry,这才是真的硬核。这回它直接上了《自然·机器智能》这种顶级期刊,给全球科学家展示了什么叫中国速度。要是没有深厚的积淀和大把的资源投入,怎么可能做到这一步呢? 现在国际上的顶尖机构都在忙着搞事儿,尤其是DeepMind弄出的AlphaGeometry那会儿,那真是把大家的眼球都吸引过去了。虽然它的解题水平很高,能给个38分钟内解决近25年国际奥数难题这样的成绩单,但说到底还是属于那种只会跟着题目走的“被动解题者”,得靠烧钱堆算力和合成数据才能练出来。咱们的这个模型就不一样了,它打破了单一的解题框框,把“出题”和“解题”这两盘棋一起下活了。 作为论文第一作者的张驰博士说得明白:“这不仅仅是能力变强了,更是脑子开窍了。”以前的AI只能死记硬背书本上的东西,现在它能从一堆几何图形里挑出那种看着就像数学家画出来的好题,这就说明它已经学会自己发现新知识了。这种能力背后的算法和逻辑推理、知识生成这些底层功夫,都是咱们团队在这几年磨出来的独家秘笈。 最关键的是咱们走的路子跟别人不一样。面对几何推理里那种复杂得让人头疼的“路径爆炸”问题,咱们干脆用了一招“规范化表示”,把那个大得吓人的搜索空间给压缩了好几个数量级。这招既保证了计算不出岔子,又让效率变得特别高。只要拿出一张普通显卡来跑程序,38分钟就能搞定全部难题。哪怕是面对这种高难度的挑战,咱们的准确率和速度都已经站在了世界最前面。 从大的格局上来看,“通矩模型”的出现至少带来了三方面的好处:一是证明了通用AI在复杂逻辑场景里也能搞创造;二是让咱们在算法到系统架构这块都有了自己的全套手艺;三是给智能教育和科研辅助这些地方打开了新的门。尤其是那种既省电又快的特质,特别适合以后在现实中用。现在全球的AI竞赛都在往基础理论这块深挖,“十四五”规划里也特意强调了这一点。咱们这次能取得这么大的成功,就是最好的例子。 获得国际顶级期刊的认可这件事特别有分量,不光是学术界对咱们原创能力的肯定,也说明了咱们在这块越来越有话语权。“通矩模型”从解题到出题、从模仿到创造的这一转变,简直就是一场里程碑式的跨越。以后AI跟数学、物理这些学科深绑在一起的时候,咱们这些原创科技的力量肯定会在人类探索知识边界的路上帮上大忙。