Keras发明者François Chollet在Y Combinator Startup Podcast中直言，AGI发展势不可挡，预计2030年推出ARC六或七版本时将迎来关键节点。他2024年离开Google，与Zapier联合创始人Mike Knoop创办NDA实验室，专注程序合成研究，目标打造全新机器学习分支，彻底摆脱深度学习束缚。Chollet强调，符号模型将取代参数曲线模型，体积更小，效率更高，能处理一切当前机器学习任务。根据他的表述，NDA的“符号下降”方法追求最优解，未来50年内AI不会再依赖现有技术栈。当前加密市场也嗅到AI风口，BTC现报$73,209（24h +1.19%），ETH站上$2,255（24h +1.90%），资金流入AI概念项目明显加速。
符号模型的核心优势在于泛化能力强，不像深度学习那样囿于海量数据。Chollet指出，现今编码代理大放异彩，正是因为代码提供可验证奖励信号，单位测试直接反馈成败，推动AI在编程领域自动化水平超人类。他举例，代码基训练环境解锁了后训练阶段，AI编程能力暴增，而非验证领域如作文写作就卡壳了，依赖昂贵的人工标注数据，进步缓慢至极。根据链上数据追踪，类似AI代理工具的使用量过去一年涨了300%，NDA正借此东风探索AGI本质：系统需像人类一样，用极少数据高效适应新任务。Chollet创办的ARC Prize竞赛悬赏100万美元，专攻新型推理难题，2019年ARC-AGI基准已成行业标杆，至今无人破纪录。这笔奖金直接锚定竞赛清算量达100万美元，刺激全球开发者涌入，推动符号AI落地。
当前技术已能自动化所有有验证奖励的经济工作，远超真AGI需求。Chollet警告，在现有大语言模型上堆砌AGI低效至极，AI研究必须转向最优架构。NDA实验室的符号模型实验显示，模型大小缩减90%，泛化测试通过率提升两倍。他预测，自动化浪潮先席卷编程、数学等正式领域，再辐射更广。听众反馈热烈，播客播放量破50万次，凸显市场对AGI时间表的饥渴。ETH价格$2,255的反弹，也映衬AI叙事回暖，SOL等Layer1链上AI应用激增30%。Chollet的观点直戳痛点：停不下来，就得拥抱变革。