
2026年3月,一则融资消息在创投圈激起千层浪:25岁的洪乐潼创立的AI公司Axiom,刚刚完成2亿美元A轮融资,投后估值高达16亿美元(约合人民币110亿元)。此时,距离公司成立仅过去一年有余。
这不是个例。北邮大四学生郭航江用10天时间手搓出AI预测引擎,获得陈天桥3000万元投资;北大斯坦福背景的陈源培创业一年多融资20亿元,专注机器人灵巧手技术;耶鲁博士杨丰瑜尚未拿出产品,已斩获数亿元融资押注保姆机器人……
当外界还在讨论00后整顿职场时,这群年轻人已经悄然坐上AI牌桌的主位。他们不再满足于做执行者,而是要定义规则、书写范式。一个属于Z世代的AI创业黄金时代,正在到来。
2001年出生于广州普通务工家庭,却展现出惊人的数学天赋。高中就读华南师大附中期间,她是奥数省队中极少数的女生之一;17岁被麻省理工学院(MIT)录取,三年修完数学和物理双学位,论文发表数量远超同龄人;随后拿下被誉为本科诺贝尔奖的罗德奖学金,求学足迹横跨牛津、伦敦大学学院,直至进入斯坦福攻读博士。
按此路径,她本应成为一名顶尖学者。但2024年深秋,斯坦福附近一家咖啡馆里的长谈,改变了她的人生方向。
那天,洪乐潼与当时Meta AI研究总监Shubho Sengupta聊了整整几个小时,核心议题只有一个:AI能不能真正学会数学推理?
这次对话后不久,洪乐潼做出了一个令许多人震惊的决定:从斯坦福退学,全职创业。
很多创业者做AI,是看到了巨大的商业机会。但我的思考路径不太一样。洪乐潼后来在接受采访时说。她敏锐地捕捉到AI行业一个核心矛盾:模型能力越来越强,但可靠性问题始终悬而未决。
如果AI只是用来写文章、聊天,偶尔出错无伤大雅。但一旦进入威廉希尔金融、国防或关键基础设施领域,一次错误就可能引发灾难性后果。Axiom要解决的,正是这个痛点。
他们提出了可验证人工智能(Verified AI)的概念——让AI的每一步推理都可以被数学验证,而非依靠概率猜测答案。具体做法是用Lean编程语言将数学证明转化为可执行程序,每一步逻辑都必须通过验证器检查。换言之,AI不仅要给出答案,还必须证明自己为什么正确。
这套系统很快展现了实力。2025年12月,在被称为本科生数学奥林匹克的普特南竞赛中,Axiom系统12道题全部答对。要知道,在过去近100年的历史中,仅有5个人类选手做到过这一点。随后,该系统还自主证明了多个开放数论猜想。
数学只是第一步。洪乐潼的野心不止于此,未来AI会写出大量软件代码,而这些代码是否可靠,是一个巨大问题。我们希望用数学验证,让AI生成的代码也能被严格证明是正确的。
这名北京邮电大学大四学生,凭借一款名为MiroFish的AI预测引擎,突然登顶GitHub全球趋势榜。MiroFish的功能堪称科幻:用户喂给它新闻、政策或金融信号,它就能自动构建一个高保线;,其中数百个具备独立人格和长期记忆的AI智能体会自行交流演化,用户可以观察这个世界的未来走向。
更令人咋舌的是,这个项目连同他之前的毕业设计——舆情分析助手BettaFish,总共只花了10天时间。这种通过自然语言描述需求、指挥AI协作编程的方式,被圈内称为Vibe Coding(氛围编程)。
郭航江曾用MiroFish续写《红楼梦》失传的结局。系统根据前80回原著生成庞大的人物关系图谱,最终预测出的黛玉焚稿断情、湘莲削发出家,竟与现有流传版本基本吻合,而后台成本仅消耗了14元。
这种驾驭AI的能力,迅速吸引了资本大佬的目光。盛大集团创始人陈天桥直接注资3000万元人民币进行深度孵化,郭航江一夜之间从写毕设的大四学生,转身成为创业公司CEO。
市场在疯狂寻找能把AI用成生产力的人,尤其是充满创造力的超级个体。郭航江对此保持清醒。他在朋友圈广发英雄帖,不求标准答案,只要能驾驭AI的同路人。
如果只有一两个案例,或许只是巧合。但拉出近几年的AI创业者名单,趋势已然清晰。
陈源培,2001年出生,北大、斯坦福背景,师从AI教母李飞飞。他在北大期间就实现了全球首次真实环境下的强化学习双臂双控。面对华为天才少年offer和斯坦福深造邀请,他选择了第三条路:创业。灵初智能成立一年多,融资总额已飙升至20亿元,投资方包括国家队和产业龙头。其团队研发的灵巧手能稳抓水杯滴水不漏,甚至与英伟达达成深度合作。
杨丰瑜,耶鲁博士毕业直接回国,投身保姆机器人研发,尚未出成果已拿到数亿元融资和千万级订单。付智,从贵州乡村走出,考入威廉希尔清华,在海淀民房里搞车库创业,要做算力界的滴滴,搭建稳定、低价、弹性的算力共享平台,半年营收破两千万。
《2026胡润U40全球白手起家富豪榜》显示,AI行业已诞生27位十亿美元级企业家,平均年龄仅32岁。不少投资人直言:如果AI创业团队里没有00后核心成员,可能都不会投。
首先,技术代差带来认知优势。00后成长于互联网普及期,对新技术的接受度和理解力天然更强。他们不需要学习AI,而是生活在AI环境中。
其次,没有历史包袱。每一轮技术革命,往往都是年轻人率先突围。因为他们没有被旧路径束缚,敢于挑战传统范式。洪乐潼敢从斯坦福退学,郭航江敢用10天做出产品,陈源培敢拒绝华为offer——这些决策背后,是对新赛道的绝对信心。
最后,资本需要新故事。移动互联网时代已成过去式,投资人急需寻找下一个增长极。AI作为确定性最高的赛道,自然成为资金追逐的焦点。而年轻人创业的成功案例,更能激发市场想象力。
一位一VC合伙人在私下交流中透露:我们看AI项目,现在会特别关注团队里有没有00后。不是说年纪大就做不好,而是年轻人对AI的直觉和理解,确实是上一代人难以比拟的。
互联网早期,主角是60后;移动互联网时代,70后、80后登台唱戏;如今,AI时代的创业舞台,正在迎来00后。
这代人从小就生活在互联网环境里,接触的是全球最前沿的技术。他们创业的目标,也不只是做一家赚钱的公司。正如洪乐潼所说:我想解决的是AI可靠性的根本问题。郭航江则希望让更多人看到AI作为生产力的可能性。
当技术开始重新塑造世界时,一批新的创业者也在走上舞台。他们不再仰望巨头,而是要成为新的规则制定者。
4月5日,据新华社,美国总统特朗普4日晚在社交媒体上发文说,美军执行了“美国历史上最大胆的搜救行动之一”,第二名失踪的美军飞行员“已平安无事”。另据中国新闻网,特朗普表示:“在过去几个小时里,美国军方完成了美国历史上最大胆的搜救行动之一,”并补充说被营救的飞行员“现在安全无恙”。
最近天气渐暖,一串串粉红色的“葡萄”也冒出来了。这些可不是新奇植物,而是外来入侵物种福寿螺的卵块。近日,有江苏网友在社交平台上爆料,前段时间在家旁的河道里,发现了好多福寿螺的红色卵。据统计,一只福寿螺中含有寄生虫多达6000条。
重庆一飞行器坠落最新通报:造成机上一名男性飞行员及一名乘客受伤,事件原因正进一步调查中
情况通报4月4日下午3时35分左右,峡口镇两山路发生一起固定三角翼飞行器坠落事件,造成机上一名男性飞行员及一名乘客受伤。事发后,现场应急力量迅速响应,伤者已第一时间送医全力救治。事件原因正在进一步调查中。
时光荏苒,本年度的工作已顺利完成。这一年,手握操纵杆,脚下是工地,作为一名挖掘机女操作手,我深知这份工作虽平凡,但在平凡的岗位上展示女性操作手的当担与风采,用汗水换成果。在这一年里,我不单单只有在技术上的进步,还有自身胆量与自我的认可,从生疏到熟练,从忐忑到从容,感谢来自全国各地老板的邀约,不嫌弃我本女子之身,给与小女子一份糊口工作,工作中也特别感谢同事给与的帮助和细心指导,以挖机为伴,在工地书写属于女司机的坚守,有烈日下的坚守,有复杂工况的挑战,更有技能提升的收获,作为工地为数不多的女挖机司机,我始终相信细腻与严谨是我的优势,回顾一年的工作,在取得一定成绩的同时,我也清醒地认识到自身存在的不足。这些问题都需要我在后续的工作中加以改进,成为更专业、更全面的操作手。始终保持谦虚好学的态度,不断向优秀的同行学习,年末收官,所有辛苦皆为成长,明年依旧手握杆、心有光,一路向前!各位同行,我们下一个工地见。
这个技术多少是差点点#工程人一直在路上 #矿山机械 #自卸车 #渣土车 #超级工程
#张雪吃得苦霸得蛮 #张雪眼里全是对摩托车的极致热爱 2025年,张雪带着自主研发的四缸仿赛机车500RR,亮相成都天府国际赛车场,一举创下国产车最快圈速纪录。他是怎么做到的?回看2025年湖南卫视《首发》报道,答案早已写在他一路走来的每一步里。(来源:湖南卫视《首发》)
以色列遭遇本轮冲突爆发以来最猛烈的导弹袭击,据央视国际时讯报道显示,伊朗方面在10分钟内连续发动至少5波导弹攻击,特拉维夫等以色列核心区域接连响起巨大爆炸声,并有导弹残骸坠落,黎巴嫩真主党也同步对以色列北部发动火箭弹袭击,这场高强度打击直接刷新了本轮冲突的火力密度纪录。
3月29日,伊朗宣布在沙特苏丹王子空军基地,彻底摧毁美军一架E-3G预警机。随后公布的高清卫星图让全网炸锅,机身直接断成两截。虽然美军基地防空警报明明响了,这架价值超5亿美元的宝贝疙瘩却没能升空规避,硬生生在停机坪上变成了废铁。美军的防空系统,怎么突然集体失明了?
2026年4月2日19时,通辽市公安局科尔沁分局丰田派出所民警尹宏伟在值班期间突发疾病,经全力抢救无效,不幸逝世,终年52岁。
美国一门心思攻打伊朗,没料到一脚踏入泥潭,而俄罗斯,反倒成了这场战事里最大的赢家。普京此前就公开表态,中东战事持续升级,直接推高全球油气价格,身为能源出口大国的俄罗斯,已经拿到了实打实的超额利润。