椰奶呆爱看科技的文章

奇怪了，还不让发啦，不知道为什么附上百度百科的图片就是不让发出来喽！！！啊嘛，太好了太好了，一线顶流女明星搞网暴8年，杨某的百度百科也改完了，丰功伟绩没有了呦，只留了个烂演技影视作品，央妈6公主暗示过了，一切归零！！！感谢大家伙的帮助，感谢全国各地网友的帮忙喽！！！哈哈哈哈哈哈哈哈

2026-09-13 23:56

奇怪了，还不让发啦，不知道为什么附上百度百科的图片就是不让发出来喽！！！啊嘛，太好了太好了，一线顶流女明星搞网暴8年，杨某的百度百科也改完了，丰功伟绩没有了呦，只留了个烂演技影视作品，央妈6公主暗示过了，一切归零！！！感谢大家伙的帮助，感谢全国各地网友的帮忙喽！！！哈哈哈哈哈哈哈哈

最好笑的是每次DeepSeek半夜一崩，都是学生在那喊话谈恋爱的“算命的都先别问了，把服务器留给我们赶作业的！” 其实小鲸鱼大头应该是那些公司在用，毕竟这家公司老板公开说了不想做c端，但是每次崩还是有学生和恋爱脑急得直跺脚。

2026-09-12 23:45

最好笑的是每次DeepSeek半夜一崩，都是学生在那喊话谈恋爱的“算命的都先别问了，把服务器留给我们赶作业的！” 其实小鲸鱼大头应该是那些公司在用，毕竟这家公司老板公开说了不想做c端，但是每次崩还是有学生和恋爱脑急得直跺脚。

传言说OpenAI又解决了一个千禧年难题。说是霍奇猜想。但我猜杨米尔斯质量间隙问题也快了。为啥？我对这个问题有了解，它已到解决边缘。之前科普胶球时还讲过。前不久邓煜接受采访，还说他有解决这个问题的路线图。照这趋势，邓煜没机会了。纲领和路线图存在，人能看到曙光，AI就有能力解决。

2026-09-11 10:41

传言说OpenAI又解决了一个千禧年难题。说是霍奇猜想。但我猜杨米尔斯质量间隙问题也快了。为啥？我对这个问题有了解，它已到解决边缘。之前科普胶球时还讲过。前不久邓煜接受采访，还说他有解决这个问题的路线图。照这趋势，邓煜没机会了。纲领和路线图存在，人能看到曙光，AI就有能力解决。

近期，OpenAI宣布在求解千禧年数学难题上取得大进展。在相关声明中，OpenAI承认“不能排除从用户使用产品中获得的去标识化（匿名）数据帮助改进了模型”。最近又有两名数学家发文控诉，之前曾经登上媒体头条的两个AI数学大进展，很有可能剽窃了他们的想法。一个是雅可比猜想，一个是非柔性群。昨天刚

2026-09-10 16:45

近期，OpenAI宣布在求解千禧年数学难题上取得大进展。在相关声明中，OpenAI承认“不能排除从用户使用产品中获得的去标识化（匿名）数据帮助改进了模型”。最近又有两名数学家发文控诉，之前曾经登上媒体头条的两个AI数学大进展，很有可能剽窃了他们的想法。一个是雅可比猜想，一个是非柔性群。昨天刚

OpenAI证明千禧年难题这件事，会对数学界的荣誉划分和归属标准，产生深远影响。长远来看，这也许是其最大的意义所在。当年佩雷尔曼解决了千禧年难题庞加莱猜想，却拒绝领取克雷百万美元大奖，他认为哈密尔顿的奠基工作的重要性丝毫不亚于自己的，这个奖应该颁给哈密尔顿。这是何等的高风亮节。当年数

2026-09-09 22:38

OpenAI证明千禧年难题这件事，会对数学界的荣誉划分和归属标准，产生深远影响。长远来看，这也许是其最大的意义所在。当年佩雷尔曼解决了千禧年难题庞加莱猜想，却拒绝领取克雷百万美元大奖，他认为哈密尔顿的奠基工作的重要性丝毫不亚于自己的，这个奖应该颁给哈密尔顿。这是何等的高风亮节。当年数

OpenAI宣布已经证明千禧年七大难题之一。《量子杂志》（Quanta Magazine）速度真快，已经发表了一篇报道文章《AI攻克了价值100万美元的数学界“千禧年大奖难题”之一》。#OpenAI宣布攻克千禧年难题# 下面是全文翻译： 9月8日星期二上午，OpenAI的数学家们宣布，在他们的指导下，一组由10,000个自主AI智

2026-09-09 17:11

OpenAI宣布已经证明千禧年七大难题之一。《量子杂志》（Quanta Magazine）速度真快，已经发表了一篇报道文章《AI攻克了价值100万美元的数学界“千禧年大奖难题”之一》。#OpenAI宣布攻克千禧年难题# 下面是全文翻译： 9月8日星期二上午，OpenAI的数学家们宣布，在他们的指导下，一组由10,000个自主AI智

今天openai宣称解决了千禧年七大数学难题之一。这让我想起了上个月，北大的刘济豪，利用他们自己编写的Danus系统（实际上是一个极其复杂的提示词集合，skill），结合市面上的人工智能，譬如chatgpt，claude，给一个十分著名的猜想，丘成桐-田刚-唐纳森猜想，构造了一个反例。这个反例不是有限的例子，

2026-09-09 11:43

今天openai宣称解决了千禧年七大数学难题之一。这让我想起了上个月，北大的刘济豪，利用他们自己编写的Danus系统（实际上是一个极其复杂的提示词集合，skill），结合市面上的人工智能，譬如chatgpt，claude，给一个十分著名的猜想，丘成桐-田刚-唐纳森猜想，构造了一个反例。这个反例不是有限的例子，

之前著名数学家张寿武在一次采访中说，他不敢跟AI讨论重要问题。因为现在最重要的东西是idea，是哪个问题本身到了解决的时机，是解决问题的思路和想法。这个担心如今看来有一定道理。昨天数学家Tristan就指责open AI窃取了他在codex里的素材和想法。这并非一定是事实。但却已经是一个迫切的问题。因为A

2026-09-09 11:19

之前著名数学家张寿武在一次采访中说，他不敢跟AI讨论重要问题。因为现在最重要的东西是idea，是哪个问题本身到了解决的时机，是解决问题的思路和想法。这个担心如今看来有一定道理。昨天数学家Tristan就指责open AI窃取了他在codex里的素材和想法。这并非一定是事实。但却已经是一个迫切的问题。因为A

#2025年人口净减339万#人口减少，大概是各国城市化的必然结果吧～

2026-09-08 15:11

#2025年人口净减339万#人口减少，大概是各国城市化的必然结果吧～

今日份的智械危机：

2026-09-07 16:18

今日份的智械危机：

Anthropic 团队最近公开了一项研究：他们用 Claude 在 11 天内完成了费马大定理在 Lean 语言中的端到端形式化证明。这项研究意味着，用机器对现代前沿数学进行大规模、端到端的机器可验证重构，已经进入了工程可行的阶段。要理解这件事的意义，得先看现代数学究竟遇到了什么麻烦。 1995 年安德鲁·

2026-09-05 16:26

Anthropic 团队最近公开了一项研究：他们用 Claude 在 11 天内完成了费马大定理在 Lean 语言中的端到端形式化证明。这项研究意味着，用机器对现代前沿数学进行大规模、端到端的机器可验证重构，已经进入了工程可行的阶段。要理解这件事的意义，得先看现代数学究竟遇到了什么麻烦。 1995 年安德鲁·