AI突破世纪难题，引发数学界震动
导读:80年前，著名数学家保罗·埃尔德什提出了“单位距离问题”的猜想，但一直没有数学家成功证明或反驳。
AI能拿菲尔兹了？Grok摸鱼8分钟，破解30年数学猜想！马斯克秒转
一个困扰数学界整整30年的图论猜想，被一个AI在Slack群聊里「摸鱼」的时候，顺手推翻了。更加惊人的是，Capy只是在Grok 4.5 Medium上运行——连旗舰版都不是。
麻省理工（MIT）牛人解说数学体系
目录1.为什么要深入数学的世界2. 集合论：现代数学的共同基础3. 分析：在极限基础上建立的宏伟大厦3.1 微积分：分析的古典时代——从牛顿到柯西3.2 实分析：在实数理论和测度理论上建立起现代分析3.2.1 现代概率论：在现代分析基础上再生3.3 拓扑学：分析从实数轴推广到一般
人类56年解不出，谷歌AI一夜连破9道世纪难题
【导读】DeepMind发布全新数学智能体AlphaProof Nexus，9道Erdős开放难题一次性告破，最老的悬了56年!
这个数学学霸，99.9%的人都打不过他
曾经，你是不是也这么想过：他那么会打篮球，那他肯定智商不高；他学习那么好，那他一定是个书呆子；她长得那么好看，那她肯定是整过的……生活中，我们总有一些诸如此类的对他人的刻板印象。可往往就在你这么以为的时候，一些人却在用彪悍的人生告诉你：不要轻易给我贴标签，否则我分分钟让你狗带。
Grok 4.5用8分钟推翻困扰数学界30年的图论猜想，马斯克点赞转发
xAI旗下模型Grok 4.5在一次非正式的内部讨论中，仅用8分钟便推翻了一个困扰数学界约30年的图论猜想，引发科技与投资圈广泛关注。
5亿年来，有神秘生物一直在全球海底画六边形？
一百多年来，科学家陆续在世界各地的深海海底发现了一种奇怪的图案。它们由一个个规则的六边形紧密拼接，神似蜂巢。更不可思议的是，从寒武纪至今，这种图案已经在地球上存在了5亿多年，却始终没人知道，它究竟是谁留下的。
物理学报告：高阶脑网络研究方法综述
导语:过去二十多年，fMRI 脑网络研究最常见的做法，是把脑区看作节点，两个脑区之间的相关性看作边。这个框架极大推动了网络神经科学，但也默认了一个很强的隐含假设:大脑的功能互动都可以拆成两两连接。
56年没解开的题，AI全解了！谷歌DeepMind新成果登上Science主刊
来源：市场资讯（来源：新智元）新智元报道谷歌的AI数学家，登上Science了！论文里的主角，是DeepMind的AlphaProof Nexus。9项埃尔德什问题、44项整数序列猜想，它都给出了证明。其中两道老题，足足悬了56年。
一句话让AI生成游戏，是真的还是吹牛逼？
10月22日，在Unreal Fest Shanghai 2026上，月之暗面Kimi开发者关系负责人及高级研发工程师唐飞虎，带来了主题为「眩晕瘫坐?