《华盛顿邮报》：世界上最伟大的数学家回避政治，然后特朗普削减了科学经费
IMO带来的，绝不止于奖牌
陶哲轩下场点评。
OpenAI内部现在职级最高的华人，首席研究官MarkChen——就是在扎克伯格疯狂挖角OpenAI研究员后公开吐槽小扎行为让他觉得“有人进了我家偷东西”的人。 而Meta顶级AI组织负责人，小扎找到了M…
但令人欣慰的是，AlphaEvolve可以持续改进，即使是在面对难度极大的问题时，它仍能不断提高。它的「创造性」不仅仅体现在提出新算法上，还表现在对解决方案进行有效评估和优化的能力上。 AI不仅仅给出答案…
陶哲轩则认为，AI的问题解决和人类是非常互补的，AI主要以数据驱动的解决问题的方式，对于某些任务，AI实际上比人类更重要，但人类需要做的是，重新校准对某些问题的难度感知，或许只是因为之前没有尝试使用数据驱动…
同样，使用 cos (α − β) 的公式（让 α = β 在恒等式 cos (α − β) = cosαcosβ + sinα*sinβ中）来证明勾股定理也是圆的而不是三角学的，使用 sin (α + …
继陶哲轩（2000 年获奖）和詹大鹏（Dapeng Zhan，2011 年获奖）之后，1991 年出生的王艺霖（Yilin Wang）成为第3 位拿下该奖的华人。 据悉今年共有两人获奖，另一位是阿根廷数学…
面对网友的一些质疑，他在后续发布的新视频中强调，自己并不是宣传人工智能已经到了能做出突破性新发现的地步，自己的尝试也不意味着 AGI已经到来，原意只是「它可以成为一个非常棒的研究助手」。 o1 确实有两把…
布雷迪也投身 BB(3)，他编写了计算机程序来模拟图灵机的行为，这个程序构建了一种“家谱”，根据图灵机初始行为的相似性，对具有相同规则数量的机器进行分类。1966 年，他发现了一个在停止前运行了 107…
」陶哲轩的这次演讲建立在一个基调之上，那就是「AI会改变科学和数学，这是一项令人惊叹的技术」，但「AI并不是魔法」。原本预计的时间线是未来3～4年，但没想到今年就能见证了AI解决IMO级别的数学问题。 D…
显然对于 k=1 和 2 的情况，这个结论毫无疑问是成立的，k=3 的情况则在 1953 年由英国数学家克劳斯・罗特证明。证明的核心在于应用了高尔斯 U^(k+1) 范数的逆定理，这是一个与傅里叶分析相关…
01/20 14:04
01/20 13:53
京公网安备 11011402013531号