➡️
继续阅读
-
“算力中国·年度卓越成就”发布 太初元碁超智融合计算系统入选
2026中国算力大会上,太初元碁新一代超智融合计算系统元碁HyperIntelliX入选“算力中国·年度卓越成就”。公司展出分布式算力解决方案,首次线下展...
-
白宫称Truth Social是“全球最强大最受欢迎的社交平台”
白宫称特朗普旗下Truth Social是“全球最强大最受欢迎社交平台”,但数据显示其未入前十,7月访问量同比降36%,且平台推出每月10万美元订阅服务引发腐败担忧。
-
数学之后
陶哲轩博客的客座文章讨论了OpenAI宣称用AI解决纳维-斯托克斯问题。作者认为AI给出的是“答案”而非真正“解答”,因为数学证明既需逻辑正确,也需人类可...
-
萨姆·奥尔特曼称OpenAI在2026年上市“不明智”
OpenAI CEO 萨姆·奥尔特曼在接受《财富》采访时表示,2026年IPO“不明智”,公司不急于上市,需先完成诸多工作。他还称,建造超越人类控制的AI...
-
Fortran 奇遇记
BLAS和LAPACK的错误处理程序xerbla_默认会终止整个进程,替换它需依赖链接器,在macOS、Windows和静态库上日益困难。参考实现中已有开...
-
众包征集关于数学目的、价值与本质的通用资源列表
陶哲轩发文征集关于数学目的、价值与本质的书籍和文章资源,以纠正公众对数学的简单化误解,并列举了相关经典著作、非正式链接及本人访谈写作,邀请读者在评论区补充更多资源。