全网震撼!菲奖得主未解难题,竟被两名高中生用AI攻破了
全网震撼!菲奖得主未解难题,竟被两名高中生用AI攻破了新智元报道 你敢信? 人没上大学,研究已经接上了「菲尔兹奖得主」的工作了。 就在今天,UCLA数学圈传出了一条让所有人震惊的消息—— 两名高中生Aayush Bathija和Prince Rohatg
搜索
新智元报道 你敢信? 人没上大学,研究已经接上了「菲尔兹奖得主」的工作了。 就在今天,UCLA数学圈传出了一条让所有人震惊的消息—— 两名高中生Aayush Bathija和Prince Rohatg
在JDDiscovery-2026京东全球科技探索者大会上,智元、智平方、鹿明机器人、逆矩阵科技与京东探索研究院围绕"具身智能走出Demo"展开圆桌讨论,指出机器人从Demo走向真实落地的核心瓶颈已从单点模型能力转向数据、反馈闭环与系统能力,并认为GPT-6 Astra代表的语言模型上限及物理AI基座模型的构建将推动具身范式发生重大变化。
原来,首位华人菲尔茨奖获得者、清华大学教授丘成桐也是新智元读者!
刚刚,2026世界人形机器人运动会落下帷幕,最终成绩单出炉。智元获得金牌数、奖牌数双第一,拿下18金16银12铜。灵巧手金牌最多、场景赛金牌最多、舞蹈武术类金牌最多……首次参赛的智元成为最大赢家之一:灵犀X2量产机拿下田径100米障碍赛冠军,远征A3在竞技类项目中夺得武术太极拳金牌;精灵G2拿下图书馆、室外应急场景等比赛的金牌
现在的具身智能公司,把Demo演示片拍得像广告一样精良和夸张,但一刀未剪的真实视频,你看过吗?
新智元报道 人类证出来的最难素数定理,AI刚从头验了一遍。 结论是:证明成立,逻辑无误。 8月17日,由一位25岁广州女孩创立的AI公司Axiom Math宣布,自家系统AxiomProver完成了「
新智元报道 Anthropic「巴拿马计划」曝光了! 2024年4月13日,Anthropic内部传阅了一份文档。 里面有这么一句:我们用一个「软代号」,因为不想让人知道我们在做这件事。 代号叫巴拿马
新智元报道 据传,下一代GPT-6本周就要来了! 这不刚在昨天,OpenAI「义父」Tibo亲自爆料,Codex将接入最强Astra模型。 消息一出,全网瞬间沸腾,人们期待值直接拉满。就连Polymarket上,关于OpenAI本周发布下一代Astra的概率,飙涨到了52%。
独家获悉,具身智能公司LatentVerse已完成数亿元人民币种子轮融资,第一轮投资方包括高瓴创投、清流资本、智元、星动纪元及英诺天使等基金。LatentVerse选择的是第三条路线:不做VLA也不做如今大热的WAM,而是把VLM和世界模型统一在同一个架构里。
新智元报道 这个 8 月,AI 视频赛道的军备竞赛又升级了。 字节跳动发布 Seedance 2.5,把单次视频生成时长从 15 秒翻倍到 30 秒。同一天 MiniMax H3 开源,价格只要闭源旗