➡️
继续阅读
-
数学之后
陶哲轩博客的客座文章讨论了OpenAI宣称用AI解决纳维-斯托克斯问题。作者认为AI给出的是“答案”而非真正“解答”，因为数学证明既需逻辑正确，也需人类可...
-
萨姆·奥尔特曼称OpenAI在2026年上市“不明智”
OpenAI CEO 萨姆·奥尔特曼在接受《财富》采访时表示，2026年IPO“不明智”，公司不急于上市，需先完成诸多工作。他还称，建造超越人类控制的AI...
-
Fortran 奇遇记
BLAS和LAPACK的错误处理程序xerbla_默认会终止整个进程，替换它需依赖链接器，在macOS、Windows和静态库上日益困难。参考实现中已有开...
-
众包征集关于数学目的、价值与本质的通用资源列表
陶哲轩发文征集关于数学目的、价值与本质的书籍和文章资源，以纠正公众对数学的简单化误解，并列举了相关经典著作、非正式链接及本人访谈写作，邀请读者在评论区补充更多资源。
-
霍奇猜想的现状
本文讨论霍奇猜想：光滑复射影簇上的霍奇类均为代数类。文章回顾了仿射开集、余维数归纳、coniveau等研究途径，指出代数几何对有理Betti上同调理解不足...
-
《星际争霸》2030年回归，转型开放世界射击游戏
暴雪在BlizzCon宣布，《星际争霸》将于2030年推出新作，为开放世界射击游戏，而非传统即时战略。预告片展现人类地球联合理事会对抗虫族，风格残酷。此前...
