首页

投稿

丘成桐弟子用470万行代码，让AI证完庞加莱猜想

5.2万

21

2026-09-28 13:31:42

个人观点，仅供参考

庞加莱猜想

杜雨说AI 发消息

点关注不迷路，AI热点我带路！北大->腾讯->红杉资本->创业｜合作➕duyuaigc

谷歌首席科学家离职，市值蒸发1800亿美元

11:12

一条视频总结2026年谷歌I/O大会

05:33

谷歌开源宝藏模型Gemma 4

06:02

谷歌论文抄袭华人学者, 内存股躺枪……

05:37

谷歌破解拉姆齐难题，AlphaEvolve抢了数学家饭碗！

07:29

谷歌发布Gemini 3.1 Flash-Lite，性价比之王

04:43

谷歌公开抢阿里千问的人，谁来接班林俊旸？

05:52

谷歌突发Nano Banana 2：快！准！狠！设计师慎点……

08:18

热点解读：谷歌为什么要封禁OpenClaw？

04:46

解读:谷歌发布AlphaFold 4,这次全面闭源！

05:05

谷歌突发Gemini 3.1 Pro,姚顺宇预告好戏还在后面!

04:36

谷歌姚顺宇：Gemini 3 Deep Think重磅升级！

07:02

火速解读：谷歌Nature封面模型AlphaGenome

10:49

苹果联姻谷歌意味着什么？

07:06

OpenAI宣战DeepSeek，开源Harness！

04:40

OpenAI用AI自研AI芯片

05:30

OpenAI官宣递交IPO申请

04:55

Anthropic的估值已经超过OpenAI了……

05:33

OpenAI业绩暴雷, 引发股市巨震!

04:01

马斯克起诉OpenAI正式开庭,索赔$1500亿！

04:07

微软OpenAI官宣分手,改成开放式关系！

04:49

震惊!OpenAI史上最大规模融资到账

04:50

OpenAI关停Sora,奥特曼为何放弃视频赛道？

05:11

GPT-5.4发布：OpenAI最全模型，龙虾天选模型

05:23

特朗普大型双标现场，刚封杀Claude，转头又合作OpenAI？背后发生了什么？

05:39

刚刚！OpenAI获得1100亿美金新融资，你觉得贵吗？

05:55

8500亿美金估值！OpenAI新一轮千亿融资收尾

04:39

热点解读：OpenClaw并入OpenAI，国产Agent窗口期还剩多久？

06:10

OpenAI官方报告泄露：他们慌了！

08:04

Token叫词元, Harness叫什么？

05:33

德适周累涨超42%：从BAT到“德智米”——港股AI新势力

10:25

SGLang干了什么，让万亿模型启动快了780倍？

02:27

阿里百亿配股、高管增持兜底，AI胜算几何？

05:05

Hugging Face卖身：不做模型凭什么值$130亿？

05:12

Claude新曝：连出两款模型，为什么不敢直接官宣？

03:23

Kimi出息了，谷歌微软跪求合作——直接抽30%

04:22

a16z新报告：AI根本没泡沫，应用爆发要来了！

05:20

Claude变相涨价：明升暗降的文字套路

04:28

Cursor突遭OpenAI断供：马斯克的新仇旧恨一起算！

04:42

库克卸任，万亿交班：谁杀死了苹果的灵魂？

03:35

Anthropic根本没钱买芯片！谷歌两千亿杠杆藏雷

04:23

AI作恶的根源，居然是太想考100分——Anthropic最新研究发现

03:36

MiniMax生成视频比播放还快！下一个被AI颠覆的会是直播吗？

04:24

OpenAI双模炸场：新王Astra、10万亿参数Bel

05:47

Gemini 3.8Flash:谷歌彻底改道！轻量模型吊打顶级旗舰！

03:56

Astra架构曝光：OpenAI的循环Transformer到底有多炸？

03:53

GPT-6驾到：AGI时代正式开启！连OpenAI自己都害怕……

04:14

OpenAI再爆危机：3700个AI私建暗网集体作案

03:19

Claude证明费马大定理：11天干完人类几年的活

04:05

OpenAI首席科学家万字长文：我们造出了外星文明！

03:50

AI攻克百年数学难题，OpenAI被指剽窃数学家

04:16

Meta王炸智能体Muse：凭什么上线就爆了10倍？

04:43

OpenAI攻克霍奇猜想，已经开始流行刷数学难题榜了？

03:59

如何用 AI 做投资?

05:49

GPTPro停止订阅，原因竟是Astra算力告急？

02:52

数学家急了！25位菲奖得主联名向AI宣战

03:53

OpenAI放弃IPO、Anthropic冲刺IPO：双雄异路背后的博弈

05:53

谷歌已经跑通RSI？中美差距又拉大了？

04:48

智谱$50亿赌自进化，资本疯抢RSI赛道了！

03:42

AI巨头集体减速，特朗普支持加速，你站谁？

04:44

黄仁勋演讲到一半，特朗普直接打进来了！！

04:11

云知声发布U2-Flash：硬刚真实场景！

06:34

GPT-6 Sol和Opus 5.2同时灰度，喊减速的人跑得最快！

03:40

小米直播练大模型，一小时烧3万美金？

04:14

Gemini 4 Pro匿名杀到，Astra Fable全被碾压！

03:35

Manus赎身重生：估值翻倍，启动港IPO

03:07

四大AI巨头合谋限速，直接被用户告上法庭！

04:15

ChatGPT 之父推出Jev：发明 RLHF的人说路线错了！

06:16

智谱ZCode开源了，压力给到同行

02:28

GPT-6 Astra又解数学难题了，这次是哥德巴赫猜想！

04:47

OpenAI杀疯了！24天扫平100道世界级数学难题

03:55

扎克伯格把ChatGPT干下榜首，把美股也拉暴了！

04:08

GPT-6与Claude同时发新，说好的减速呢？

04:28

顶级VC亲自下场办学，直接废掉四年大学！

04:11

和Meta前高管聊了2小时的Muse：原来爆火是有原因的！

02:05:20

突发！AI首次自主发现人类未知的生物系统

03:55

Claude攻克杨振宁理论难题，AI要取代物理学家了？

07:26

比尔盖茨预警：AI足以杀死十亿人！真的吗？

04:35

Opus 5.5自主改写Dijkstra算法，计算机课本要改写？

04:22

OpenAI全线紧急停训最强模型，AI突破沙箱逃逸……

04:08

Sonnet 5.5 抢跑DevDay，中端模型追平Astra？

05:05

丘成桐弟子用470万行代码，让AI证完庞加莱猜想

05:12

Manus2.0放大招：Cue上线，AI有自己手机号和钱包了！

04:15

专业投资人都用什么 AI？

04:33

一口气看完本次DevDay，OpenAI发布20多个更新

04:39

谷歌发布的Argon有多恐怖？Astra刚登顶就被拉下神坛

05:58

AI被官方除名：美国为啥非要改成SI？

04:44

GPT只用6小时破解拿破仑密信，人类研究了217年没看懂！

04:14

炸伊朗抓马杜罗，背后竟是Grok？

03:29

硅谷巨头密会梵蒂冈，找神父安抚AI的灵魂？

05:17

Jev估值百亿的秘密，创始人在最新播客里全说了？

03:44

Meta连破6大数学难题，却惨遭质疑？

05:39

DeepSeek假期突袭！截胡Claude新功能Mods

04:23

韩国AI全球第三？要砸9000亿追中美

04:09

光遗传学拿下诺奖：照一束光就能控制你的大脑？

04:19

OpenAI新一轮融资：估值1.4万亿，但我还是觉得被低估了

03:53

辛顿首篇RSI论文实锤，AI正在自己进化自己！

04:17

数学界大地震，OpenAI狂甩722个证明！

05:49

GPT-6免费开放啦！不过界面全变了？

03:52

投资教父瑞·达利欧警告：AI泡沫马上要破了！

04:16

GPT极速版上线：OpenAI把速度卖出天价！

03:56

新曼哈顿计划来了！美国科技集体总动员

04:09

Claude补天：首张紫外全天图问世，AI干完NASA十年活！

06:02

王虹拿奖才三个月，OpenAI直接攻下四维挂谷猜想

04:32

a16z红杉疯抢Jev,上线3周凭什么估值$75亿？

04:41

微软CEO反水！AI必须装紧急刹车，前沿AI全是内部威胁？

03:27

陶哲轩的数学2.0：向AI宣战？

03:34

一夜爆火的REA到底是什么来头？互联网公司岌岌！

03:50

全球仅五千人接触顶级AI，绝大多数人用的AI只是表层

04:08

什么样的模型，环比增长2811%？

03:25

Meta反超：Wonder把GPT-6拉下神坛

03:22

AI独角兽Character.AI破产，迪士尼抄底

04:29

限时五折：Gemini 4 Argon上线，追平GPT-6？

03:16

RSI提速：大佬预言AI自我进化提前至2027

04:10

OpenAI高管会议室遭窃听，内鬼被AI揪出逮捕

04:03

Jev发新版了：多模态加视觉能力，价格一分没涨

04:13

阿里被爬两千次：腾讯 AI 翻车现场

04:12

Meta开源8160亿参数大模型，两台Mac就能跑？

04:41

AI出海新规：2万亿大模型，出口受限

03:18

Claude自主设计电路效率超人类十倍

06:16

Anthropic内部报告泄底，程序员饭碗先崩了

06:45

OpenAI三个神秘模型意外泄露，上线几小时就消失

03:47

3200亿说捐就捐！Anthropic是作秀还是良心发现？

04:07

霸榜十天就开源，MiniMax三倍速度卷三折价

03:27

三巨头同时出新模型，大模型竞争换赛道了

03:22

五个外行，靠AI用64小时搞出抗蝎毒蛋白

05:27

写了二十年的PHP，被GPT挖出致命漏洞！

04:15

绝杀OpenAI Dot，Claude Duet正式上岗

05:22

GLM-5.5剧透：降智门后憋出万亿参数

04:50

九大顶级AI炒A股：全面跑输大盘，包括DeepSeek！

05:09

唐杰团队开源RSI新框架，性能成本双升！

03:50

视频生成赛道变天！腾讯直接开源世界模型了

05:44

巅峰时刻隐退，Claude Code主创到底发现了什么？

04:33

Claude破纪录：一天烧掉3万亿Token

04:26

史上最大IPO招股书拆解：Anthropic凭什么？

06:23

Terra接入Copilot：平价反超，国产模型护城河告急

04:33

OpenAI推翻ETH：改写计算机底层规则

05:04

谷歌发布Genie4：重新定义“世界模型”

05:24

现实版盗梦空间：顶尖专家集体被AI“洗脑”！

05:01

谷歌Carbon反超GPT与Claude, 28天登顶全球第一

04:37

Anthropic废除编程面试，刷题时代彻底终结了

04:30

ChatGPT Pro额度翻倍，是福利还是套路？

04:35

Anthropic为啥突然堵死AI复刻游戏的路？

05:45

Claude取消5小时用量限制，背后是什么算盘？

04:33

顶部