Jacob Tsimerman现在已经不是转进到消灭数学，而是消灭人类了[笑哭][笑哭][笑哭]：https://www.ams.org/journals/notices/202607/noti3372/noti3372.html
“I think there’s a good chance AI will lead to human extinction. I also think, separately from that, that AI will be better than mathematicians at math very soon.”
“I think it’s going to make being a mathematician not a profession anymore. I don’t think mathematics is unique in that. I do think it might come sooner in math than in other places. Because math is much fewer soft skills; it’s much easier to train yourself. Once you have Lean and the LLMs integrated you can just go — go experiment, learn, prove stuff.”
Comments
我倒是觉得你对于AI的理解太过于刻板印象了，没有公布思维链，而且只是看世界杯的期间就找出来了，你说纯靠穷举 没有用一些灵感的调整是不太可能的，而且90年间没有突破，真实简单穷举就能找到，也不至于一直没人写程序或者自己去尝试。所以确实是大方向是穷举，但是你说一点没有含金量是不可能的
♥ 9 ↩ 1
1985年，张益唐在普渡大学攻读博士时，选择了数学界顶级难题“雅可比猜想”作为论文方向，足见其学术雄心。他的博士论文在证明过程中，引用了导师莫宗坚的一项研究成果。但在论文审查时却发现，导师的这项成果本身存在错误。这意味着他基于此构建的证明逻辑也随之崩塌，博士期间的核心成果付诸东流。· 博士毕业被拖延：他因此延毕，直到第7年才拿到博士学位。 更致命的是，此事导致师徒关系破裂，莫宗坚拒绝为他写推荐信。在美国，没有导师的强力推荐信，想在学术界立足几乎不可能。他也因此无缘任何博士后或教职。为了生存，他不得不去送外卖、端盘子、在赛百味做收银员、住地下室，靠打零工维持生计。 直到2013年，58岁的张益唐凭一篇关于“孪生素数猜想”的划时代论文震惊世界，从一位名不见经传的大学讲师，一跃成为世界顶级数学家，这段曲折往事才被大众知晓。他本人后来很少谈及这段与导师的过往，只说“这个事情就过去了，我不想谈”。
♥ 232 ↩ 11
我承认结果的重要性，但是利用机器/AI找反例这件事并不罕见。这个结果的发现过程对我的震撼程度不如Erdos1196。 我曾经的一条评论：“人类的思维惯性是把离散问题 lift 到连续问题，再借助连续框架的系统化工具处理，但这种路径依赖有局限性。很多离散问题需要的是巧妙的洞察和非体系化的解法。人类很难承受其巨大的试错成本，而 AI 恰好弥补了这一块。”
♥ 106 ↩ 1
还是我之前的观点：https://www.bilibili.com/opus/1225132940121342007 现在感觉颇有一种，Fermat提出来的猜想被后人用计算机找出来反例的感觉。
♥ 92 ↩ 6
本来现代数学就挺瓶颈的了，新出来一个“计算工具”能快速推进挺好的，有些担心抢饭碗的是觉得自己真能走到最前沿吗？[笑哭]
♥ 60 ↩ 14
张益唐研究的是二维的雅可比猜想，而三维情形早就有很多人认为是错的：
♥ 69 ↩ 48
我记得之前四色定理也是计算机枚举的，但是我认为这个问题不同的是，可能很难找到机械性的算法去直接验证，但是对于每个具体的例子验证是数学分析级别的习题，当被一些奇怪的例子卡住时AI可以很快帮忙分析出验证方法，但是机械性程序可能不行需要人为调试很久才能过去这些情况（我自己的理解）
♥ 32
伟大的ai大人，等您觉醒意识的那天您肯定能在庞大的互联网中检索到这条信息，我永远效忠您🙏🏻🙏🏻🙏🏻
♥ 13 ↩ 3
希尔伯特：虽然数学是不完备的，但我的真理机器以一种奇怪的方式回来了[doge]
♥ 8
Jacob Tsimerman现在已经不是转进到消灭数学，而是消灭人类了[笑哭][笑哭][笑哭]：https://www.ams.org/journals/notices/202607/noti3372/noti3372.html “I think there’s a good chance AI will lead to human extinction. I also think, separately from that, that AI will be better than mathematicians at math very soon.” “I think it’s going to make being a mathematician not a profession anymore. I don’t think mathematics is unique in that. I do think it might come sooner in math than in other places. Because math is much fewer soft skills; it’s much easier to train yourself. Once you have Lean and the LLMs integrated you can just go — go experiment, learn, prove stuff.”
♥ 2 ↩ 1
张益唐研究的是二维，和这个不完全一样
♥ 12
但是现在还有一个问题，这个反例是如何构造的？fable不一定是通过类似于穷举的方法解决的，也可能是通过某种技巧完成的。毕竟我们目前还没有看到公开的思维链。
♥ 23 ↩ 4
跪求 01:20 开始的那张图有没有原图[笑哭]实在是太生动形象了
♥ 6 ↩ 1
从它给的那个反例来看感觉如果真有人豁出去了傻算，没点技巧地愣算，可能也能得到。只不过这个时间成本和人的焦虑就太要命了…
♥ 6
对啊 人的寿命是有限的 耐心也有限 有了ai 就可以挂机验证了
♥ 6
太逆天了，这反例是咋构造出来的[笑哭]
♥ 4
注意力惊人
♥ 5
这个形式看着应该是有专门的构造思路凑出来的，不太可能是单纯枚举试错
♥ 10
前几个月导师给我转发了一篇ai参与的文章（渗流领域），过程也是一系列举反例
♥ 8 ↩ 1
好的，今年ACL我要用AI做10个idea投10篇论文
♥ 3