事件视界EH 4d ago 瘫眩原程度：原子弹爆炸→氢弹爆炸→三相弹爆炸→反物质弹爆炸→超新星爆发→宇宙大爆炸→创世 对应成果量级：准四大→四大→准菲→菲→千禧年或超菲→秒杀一整个领域的新范式和理论体系→新的无法理解的问题或神谕 ♥ 269 ↩ 8
AI视频总结 4d ago 本期视频重点解析AI在数学领域取得的突破性进展，特别是关于重磅数学猜想被证伪带来的行业震荡。 🚀 YTD猜想（姚田-唐纳森猜想）被提出反例，展现出AI突破人类知识图谱边界的惊人创新力。 🧬 这一成果虽处于预印本阶段，但其展现出的数学洞见已足以被称为“重量级”里程碑。 💥 面对卡拉泰奥多里猜想被证伪的消息，视频深度剖析了两者在数学价值上的本质差异。 🧐 究竟是AI真的具备了“天才”般的直觉，还是仅仅在进行高阶计算？真相远比想象中复杂。 --内容由@AI全文总结 生成，仅供参考 ♥ 5
打坐的李老头 4d ago 在水滴飞到人类面前的时候， 我们才能认识到，象牙塔里那些曾经的傲慢、曾经的沽名钓誉、曾经的无意义……都会慢慢消散。 短期看，数学界人人自危，长期看，真理的黎明曙光初现。 ♥ 74 ↩ 7
第1379号监听员 4d ago 个人觉得所谓的凸包和低挂果理论都有点太把人类的学习能力当成特殊的事物，还是要讲点唯物吧我觉得，既然ai能够通过训练推理，你拼什么认为这种推理能力不会产生边界上的突破？为什么会认为人类的推理是独一无二且不可替代的？我个人倒是理解为什么《赡养上帝》里面的上帝文明搞不来了，都是AI做的，我又不懂 ♥ 202 ↩ 47
syntomic 3d ago 科普一下这个工作具体做了什么，实际上这个反例考虑的是smooth proj curve上的proj bundle，因此这可以使用extremal的kahler geometry，而没有extremal kahler metric可以推出来没有cscK，这样的例子早在Apostolov–Calderbank–Gauduchon的文章里就被造出来了，刘老师原文也指明了ACG提出了最主要的mechanism，当然这里很重要的是需要处理所有的alg test configuration才能证明K-polystable，这里确实是最本质困难的，llm的方法是考虑截面空间的一种 filtration（这个方法已经在Gábor Székelyhidi, “Filtrations and test-configurations”用到）再把这些离散的数据转换成类似凸函数的对象（David Witt Nyström, “Test configurations and Okounkov bodies”）；然后通过很多精妙凸几何控制证明这些凸函数对应的Donaldson–Futaki invariant为零，这里是essentially new的地方，但属于是ai在数学上的舒适区，即一些非常微妙的控制，把filtration，凸性，Duistermaat–Heckman measure等已有工具非常巧妙地组合起来，客观评价这可能是llm最近一段时间最好的结果，llm最能最巧妙的尝试最多方法榨干所有可能性不断优化得到一个非常精妙的控制结果，这样的不断优化考虑所有可能方法组合的dirty work是llm擅长且人类不擅长的地方，但YTD的结果仍然没有超出我们对llm的期待，总体上仍然是对于已知结果的非常巧妙的组合，不超出凸包的论断，YTD的结果可能是目前组合的最好的几个 ♥ 47 ↩ 4
Comments
每周观察低垂的核弹[doge]
♥ 142 ↩ 3
我們的猜想確有問題
♥ 822 ↩ 13
瘫眩原程度：原子弹爆炸→氢弹爆炸→三相弹爆炸→反物质弹爆炸→超新星爆发→宇宙大爆炸→创世 对应成果量级：准四大→四大→准菲→菲→千禧年或超菲→秒杀一整个领域的新范式和理论体系→新的无法理解的问题或神谕
♥ 269 ↩ 8
最近的数学界
♥ 374 ↩ 3
其实ai for math周报这件事也可以让ai来每周固定给我推送[doge_金箍]
♥ 151 ↩ 2
以后看见AI的数学界
♥ 95 ↩ 3
本期视频重点解析AI在数学领域取得的突破性进展，特别是关于重磅数学猜想被证伪带来的行业震荡。 🚀 YTD猜想（姚田-唐纳森猜想）被提出反例，展现出AI突破人类知识图谱边界的惊人创新力。 🧬 这一成果虽处于预印本阶段，但其展现出的数学洞见已足以被称为“重量级”里程碑。 💥 面对卡拉泰奥多里猜想被证伪的消息，视频深度剖析了两者在数学价值上的本质差异。 🧐 究竟是AI真的具备了“天才”般的直觉，还是仅仅在进行高阶计算？真相远比想象中复杂。 --内容由@AI全文总结 生成，仅供参考
♥ 5
不会等我毕业出来ai都能把生物碾死了吧[笑哭][笑哭][笑哭]
♥ 112 ↩ 8
本来还怀疑ai成果能不能支持每周发一次周报，现在看来还是对ai大人不敬了，做个日报都绰绰有余
♥ 33 ↩ 1
claude又证明了S^6上存在复结构，这接近反物质弹成果了
♥ 130
无所谓，AI压根影响不了土木界[喜欢]
♥ 362 ↩ 37
在水滴飞到人类面前的时候， 我们才能认识到，象牙塔里那些曾经的傲慢、曾经的沽名钓誉、曾经的无意义……都会慢慢消散。 短期看，数学界人人自危，长期看，真理的黎明曙光初现。
♥ 74 ↩ 7
爆！AI证明6维球面有复结构！
♥ 51 ↩ 1
我宣佈Tian-Donaldson猜想已經不是我的猜想了（發自我的華為手錶
♥ 48
我宣布Tian- Donaldson猜想已经不是我的猜想了[doge]
♥ 75 ↩ 3
瘫坐眩晕区up主
♥ 8
个人觉得所谓的凸包和低挂果理论都有点太把人类的学习能力当成特殊的事物，还是要讲点唯物吧我觉得，既然ai能够通过训练推理，你拼什么认为这种推理能力不会产生边界上的突破？为什么会认为人类的推理是独一无二且不可替代的？我个人倒是理解为什么《赡养上帝》里面的上帝文明搞不来了，都是AI做的，我又不懂
♥ 202 ↩ 47
S6有复结构是什么级别的？
♥ 30 ↩ 2
科普一下这个工作具体做了什么，实际上这个反例考虑的是smooth proj curve上的proj bundle，因此这可以使用extremal的kahler geometry，而没有extremal kahler metric可以推出来没有cscK，这样的例子早在Apostolov–Calderbank–Gauduchon的文章里就被造出来了，刘老师原文也指明了ACG提出了最主要的mechanism，当然这里很重要的是需要处理所有的alg test configuration才能证明K-polystable，这里确实是最本质困难的，llm的方法是考虑截面空间的一种 filtration（这个方法已经在Gábor Székelyhidi, “Filtrations and test-configurations”用到）再把这些离散的数据转换成类似凸函数的对象（David Witt Nyström, “Test configurations and Okounkov bodies”）；然后通过很多精妙凸几何控制证明这些凸函数对应的Donaldson–Futaki invariant为零，这里是essentially new的地方，但属于是ai在数学上的舒适区，即一些非常微妙的控制，把filtration，凸性，Duistermaat–Heckman measure等已有工具非常巧妙地组合起来，客观评价这可能是llm最近一段时间最好的结果，llm最能最巧妙的尝试最多方法榨干所有可能性不断优化得到一个非常精妙的控制结果，这样的不断优化考虑所有可能方法组合的dirty work是llm擅长且人类不擅长的地方，但YTD的结果仍然没有超出我们对llm的期待，总体上仍然是对于已知结果的非常巧妙的组合，不超出凸包的论断，YTD的结果可能是目前组合的最好的几个
♥ 47 ↩ 4
依旧军事频道
♥ 12