solved a two-decade-old mathematical puzzle that had frustrated experts around the world since 2004
EP.99 故事线C: Crouzeix 猜想(2004 年提出)困扰数学界 20 年,最终被一个自学数学的神经外科医生用 AI 解决。这印证了 EP.99 的「AI for Science」叙事:AI 不仅加速专家工作,还在重新定义「谁能做科学」。
solved a two-decade-old mathematical puzzle that had frustrated experts around the world since 2004
EP.99 故事线C: Crouzeix 猜想(2004 年提出)困扰数学界 20 年,最终被一个自学数学的神经外科医生用 AI 解决。这印证了 EP.99 的「AI for Science」叙事:AI 不仅加速专家工作,还在重新定义「谁能做科学」。
Jin Shanmu, a Beijing-based neurosurgeon, was trying to solve a problem related to brain ultrasounds. Instead, he made mathematical history.
EP.99 故事线C: 北京神经外科医生解开了 20 年数学难题——这个故事的关键不在于「AI 解题」,而在于「领域外的人借助 AI 进入了另一个领域」。AI 正在降低跨领域深度参与的门槛,改变知识生产的边界。
it has increased this bound from 41.6% to 67.2%
这是黎曼猜想相关问题的实质性进展——将已知满足假设的零点比例从41.6%提升到67.2%,且已通过数学家验证和Lean形式化证明。这不是"AI解决了黎曼猜想",而是在一个具体量化子问题上取得了可验证的突破。
真正有效的做题方式,是这样的第一步:做题之前,先分类拿到一道题,在动笔之前,先问自己一个问题:这道题,我是完全不会,还是大概知道方向但不确定,还是感觉会但做过程中可能会卡?这个分类,决定你接下来要怎么做。完全不会的题——先认真想,想够20分钟,再看解析。不要5分钟就翻答案,那20分钟的痛苦,是大脑在强制建立新回路。大概知道方向的题——独立做完,做完之后不只对答案,要问自己:我用的方法是最优的吗?有没有更简洁的路径?感觉会的题——这类题要警惕,感觉会不等于真的会。做完之后,合上解析,换一道条件稍微改动的题,看看还会不会。第二步:建立错题的”三层档案”很多人有错题本,但错题本没用,因为他们只抄了题目和答案。真正有价值的错题档案,要记三层东西:第一层:我卡在哪里。不是”这道题不会”,是具体卡在哪一步,卡的原因是概念没搞清楚,还是方法不知道,还是知道方法但不知道在哪里用。第二层:这道题背后的结构是什么。这道题在考什么核心概念,这个概念有几种考法,这道题是哪一种,和其他种类有什么本质区别。第三层:这类问题的识别信号是什么。下次遇到类似的题,什么样的题目特征告诉我,这是这类问题,我应该调用这个方法。这第三层,是从”会做这道题”到”会做这类题”的关键。第三步:做完一道题,做一件大多数人不做的事题做完了,对完答案,不要翻篇。花3分钟,做这件事:把这道题的解题过程,用自己的话,不看任何材料,从头到尾说一遍,或者写一遍。说不下去的地方,就是你没有真正内化的地方。这个动作在脑科学里叫提取练习,是被证明对长期记忆保留效果最好的方法之一。每做一次提取,大脑里对应的神经回路就被激活一次,髓鞘加厚一点。
有效的做题方式: 1、做题之前先分类 2、建立错题的“三层档案” 2.1、我卡在哪里 2.2、这道题背后的结构是什么 2.3、这类问题识别信号是什么 3、做完一道题,要复盘和巩固的步骤(费曼方法)
初中和高中的数学学习方法,值得仔细揣摩
‘modus tollens’
“Modus tollens” 否定前件<br /> 是一个逻辑学术语,拉丁语原义为“否定方式”,它描述了一种常用的推理规则。
版本更新,带来了全新的同步助手,帮你管理自己的配置文件、导出文章。同时,本次更新
ds
用0、1与0、空白的对比能够得出这个结论吗?汗
The third, pi_sum, computes the sum of terms in the series
考虑 $$\frac{1}{1+x^2} = 1-x^2+x^4-x^6+\dots$$ 然后两边从0到1的定积分,就有 $$\frac{\pi}{4} = 1-\frac{1}{3}+\frac{1}{5}-\frac{1}{7}+\dots$$
手机计算器为什么会出现10%+10%=0.11这样明显错误的算式?
如何看待王垠的博文《数学和编程》?
柯里-霍华德(Curry-Howard)同构有什么意义?
为什么「群」和「半群」的英文是 group 和 semigroup,而「幺半群」却是 monoid?
在范畴论中有哪些范畴是等价的?
想学好计算机算法,是否需要重新学数学呢?
我们口中的 “货币” 根本不是 “实际存在的东西” ,而是一种用比例来比较不同事物的数学思维:例如,1 个 X 等于 6 个 Y。
用比例来,比较不同事物的数学思维。例如,1个 X 等于 6 个 Y。
网格搜索、随机搜索或贝叶斯搜索
所以从数学上来说,需要论证存在最优超参。换一个思路,超参数描述了一个新的空间。最佳超参就是最优嵌入问题。需要证明存在一个解空间,可以使嵌入序列的差有限收敛。 这个几何描述需要重新整理。从定义新的空间开始。
通过 WebGL 可视化的傅立叶变换。