标签：定理
张寿武：数学中的无解之解
来源：下文转自公众号：返朴(fanpu2019) 演讲：张寿武（普林斯顿大学数学系教授，美国艺术与科学学院院士） 整理：木槐、Helen人类对数的抽象思考古已有之。...
KAN干翻MLP，开创神经网络新范式！一个数十年前数学定理，竟被MIT华人学者复活了
新智元报道编辑：桃子 【新智元导读】KAN的诞生，开启了机器学习的新纪元！而这背后，竟是MIT华人科学家最先提出的实践想法。从KAN到KAN 2.0，这个替代MLP全...
陶哲轩提前实测满血版o1：能当研究生使唤
白小交 衡宇 发自 凹非寺量子位 | 公众号 QbitAI好羡慕！原来早在8月份，陶哲轩就已经用上了OpenAI o1。 还是现在大家都用不上的满血版本（眼泪不争气地从嘴...
OpenAI o1惊现自我意识？陶哲轩实测大受震撼，门萨智商100夺模型榜首
新智元报道编辑：编辑部 HXZ 【新智元导读】OpenAI o1，在门萨智商测试中果然取得了第一名。数学大神陶哲轩实测发现，o1竟然能成功识别出克莱姆定理。而OpenA...
陶哲轩：AI时代，数学研究将进入前所未有的规模
来源：量子位编辑：西风 陶哲轩最新演讲公开，AI含量爆表。 在IMO 2024现场，“陶神”带来了洋洋洒洒1个小时的精彩分享，主题就叫：AI与数学。他怎么看AI和数学...
陶哲轩IMO演讲全文：一次性解决一千个问题，AI让数学摆脱蛮力计算
机器之心报道 机器之心编辑部在探索「数学之美」的路上，人工智能到底走到哪一步了？说到这个话题，可能没人比数学家陶哲轩更懂。他几乎是最常用 AI 辅助证明...
DeepSeek开源数学大模型，高中、大学定理证明新SOTA
机器之心报道 机器之心编辑部DeepSeek-Prover-V1.5 通过结合强化学习和蒙特卡洛树搜索，显著提升了证明生成的效率和准确性。AI 技术与数学发现的进展，正前所...
CMU清华教LLM练成数学高手，LeanSTaR训练模型边思考边证明，登顶新SOTA
新智元报道编辑：乔杨 耳朵 【新智元导读】LLM数学水平不及小学生怎么办？CMU清华团队提出了Lean-STaR训练框架，在语言模型进行推理的每一步中都植入CoT，提...
陶哲轩赵宇飞学生联手攻下组合数学难题，23年来首次突破
克雷西 鱼羊 发自 凹非寺量子位 | 公众号 QbitAI陶哲轩和赵宇飞的学生联手，给数学界整了个新惊喜： 让组合数学领域最大难题之一——从无序中证明有序，取得了2...
AI顶会ICML收了一篇论文：没算法没实验
蔡永强 投稿量子位 | 公众号 QbitAI没有算法没有实验，从2610篇收录论文中脱颖而出，成为唯一一篇纯理论入选2024 ICML Spotlight的论文。 “Vocabulary for Un...
AI将是数学家的得力助手，陶哲轩谈AI在证明过程中的潜力
机器之心报道 编辑：大盘鸡AI 将大大提高数学研究的效率。陶哲轩是公认的数学天才，被誉为「数学神童」。他从小便展现出惊人的数学天赋，9 岁时就参加了美国...
CVPR‘24全程满分+最佳论文候选！上交大港中文等提出神经场网格模型三大定理
纯真学者出神入化投稿量子位 | 公众号 QbitAI在CV、ML等领域经常用到的神经场网格模型，如今有了理论框架描述其训练动力学和泛化性能。 来自上交大，港中文和...
MLP一夜被干掉，全新神经网络架构KAN破纪录！MIT华人一作，轻松复现Nature封面AI数学研究
夕小瑶科技说 分享来源 | 量子位一种全新的神经网络架构KAN，诞生了！ 与传统的MLP架构截然不同，且能用更少的参数在数学、物理问题上取得更高精度。 比如，2...
MLP 的时代结束了？全新神经网络架构 KAN 横空出世，MIT华人一作！
文章转载自公众号：AI科技大本营，本文只做学术/技术分享，如有侵权，联系删文。 多层感知器（MLP, Multilayer Perceptron）作为人工神经网络的一个基本架构...
数学遇上人工智能，深度学习架构迎来最强挑战者 KAN，MLP 的时代结束了
来源：《新程序员》编辑部 文：王启隆 多层感知器（MLP, Multilayer Perceptron）作为人工神经网络的一个基本架构，一直在历史上扮演着至关重要的角色。MLP ...
粤公网安备 44011502001135号