“数学研究”的搜索结果
40年图灵机难题被业余玩家攻破，陶哲轩：软件辅助证明改变数学研究规则
一群业余爱好者成功解决了困扰计算机科学家40多年的忙碌海狸难题，这一成就得到了数学家陶哲轩和计算机科学家Scott Aaronson的高度评价...
全新神经网络架构KAN一夜爆火！200参数顶30万，MIT华人一作，轻松复现Nature封面AI数学研究
一种名为KAN的全新神经网络架构被提出，它与传统的MLP（多层感知机）架构有显著不同，并且在使用更少的参数的情况下，在数学和物理问题...
AI颠覆数学研究！菲尔兹奖得主、华裔数学家领衔11篇顶刊论文｜陶哲轩转赞
新智元的这篇报道聚焦于人工智能（AI）对数学领域的影响，特别是在数学研究方法上的潜在变革。报道提到了多位数学家和计算机科学家的观...
OpenAI o1智商120，还是被陶哲轩称为「平庸的研究生」，但实力究竟如何？
OpenAI最近发布的新模型o1在AI领域引起了广泛关注。该模型在不同的测试中表现出了不同的能力。在智商测试中，o1的得分高达120，超过了其...
陶哲轩提前实测满血版o1：能当研究生使唤
陶哲轩，一位著名的数学家，对OpenAI的o1模型进行了测试，发现其在解决数学问题上表现出色，尤其是在识别克莱姆定理方面。他通过三轮测...
OpenAI o1惊现自我意识？陶哲轩实测大受震撼，门萨智商100夺模型榜首
OpenAI的o1模型在智商测试中取得了第一名，超越了其他AI模型如Claude-3 Opus和Bing Copilot。这些测试使用了门萨会员的离线智商测试题，...
超级Prompt：几行乱码让大模型获得科学思维，这个神奇的提示词突然火了
近日，一个名为Super Prompt的GitHub项目在短时间内迅速获得了2000个星标，引起了广泛关注。该项目由两个Markdown文件组成，其中一个是...
融到2.2 亿美元才3个月就“闹崩”！5个创始人走了3个，这家 DeepMind 系创企一款AI产品都还没发！
法国人工智能初创公司H的三位联合创始人Daan Wierstra、Karl Tuyls和Julien Perolat因运营分歧离开公司。这一变动发生在公司宣布品牌重...
陶哲轩牛津对谈罗博深：解密DeepMind如何让AI拿到IMO银牌
在7月17日的牛津数学公开讲座系列研讨会上，著名数学家陶哲轩发表了关于人工智能（AI）在科学和数学领域潜力的演讲。陶哲轩认为AI本质上...
秘密打造「AI陶哲轩」 震惊数学圈！谷歌IMO梦之队首曝光，菲尔兹奖得主深度点评
谷歌DeepMind的AI系统AlphaProof和AlphaGeometry 2在2024年国际数学奥林匹克竞赛（IMO）中取得了显著成绩，仅以一分之差错失金牌，这一...
