➡️
继续阅读
-
关于数学与AI的更多近期文章
陶哲轩整理了近期关于数学与AI的博客和评论文章链接,供读者参考,并邀请大家在评论区补充更多相关链接。
-
精彩会议——代码游戏——尼什——2026
作者在塞尔维亚尼什Game of Codes技术大会举办Spring Boot与Hibernate数据映射工作坊,并聆听AI、UX、LLM等主题演讲。他称...
-
早报|我们跟库克聊了聊iPhone Duo/继QClaw后,腾讯再关停一个Agent/SpaceXAI改名SpaceXSI
苹果CEO库克在广州交流iPhone Duo应用适配,强调沉浸式大屏与握持角度;苹果或与ADT合作提供家居中枢安装服务,并为iPhone Duo增设门店体...
-
GitHub 热门项目周刊 · 第 32 期 · 2026 年第 42 周
GitHub第42周热门开源项目周刊精选10个项目,涵盖AI、开发工具、云原生等领域。最受关注的是OpenAI用Lean语言形式化验证数学定理的math项...
-
超越证明的插图
2026年1月,数学家与艺术家齐聚IHP,探讨数学插图的严谨性。文章指出,AI打破了定理稀缺性,数学不应只是可验证的证明,更是社区理解与创造的过程。插图作...
-
The Social Reckoning is flopping at the box office
As important as some of the messages in The Social Reckoning are, the movie h...