马龙许昕出发伦敦

00后AI天才，广东制造_蜘蛛资讯网

（Verified AI）的概念，并开发了一套系统，让AI的每一步推理都可以被数学验证，而非依靠概率猜测答案。2025年12月，在被称为“本科生数学奥林匹克”的普特南竞赛中，Axiom系统12道题全部答对。要知道，在过去近100年的历史中，仅有5个人类选手做到过这一点。同样跨界而来的还有广东00后陈培源，本科是华南理工大学的土木工程专业的他，却每天在教室后排自学机器人算法。凭借 RoboMaste

nbsp;    　　在江苏无锡，一条第四代智能化生产线正满负荷运转，产能可覆盖万亩茶园。      　　江苏省农业科学院茶产业研究院副院长 熊昊明：原有的制茶师化身为质量督导员，将他们多年的制茶经验通过数字农业工程师的双手，移植到智能生产线中，转化为新的生产力。

。做出同样选择的还有24岁的年轻人张宇诺。2025年，张宇诺从康奈尔大学辍学。他没有去硅谷，没有留在纽约，而是直接飞到了深圳南山，创立了宇灵无限，做起了陪伴机器人。这款名为BOOBOO的仿生飞行机器人，也是全球第一款能飞起来的AI陪伴硬件。这个听起来有点“玩具感”的产品，却拿到了小红书和厚雪资本的投资。“国内做AI机器人与消费级大模型，深圳的供应链、人才、资本效率最高，没有第二个城市更适合。”张宇

当前文章：http://dpsz.bijihe.cn/1tkzf/e7ger8.html

发布时间：20:12:22