Vestigium
PulseAugur coverage of Vestigium — every cluster mentioning Vestigium across labs, papers, and developer communities, ranked by signal.
1 天有情绪数据
-
AI4Math 博客评论涵盖数学和 AI Commons 的未来 · 跟踪 3 个来源
该集群回顾了 Vestigium 博客上发表的三篇与数学和人工智能相关的文章。文章涵盖了“迈向世界数学共同体”、“未来数学”和“数学是年轻人的学科”。评论提供英文和西班牙文版本，并带有 #AI4Math、#AI 和 #Math 标签。
-
AI与数学阅读材料分享 2026年9月7日至13日
此集群包含一项关于2026年9月7日至13日期间分享的与AI和数学相关的阅读材料的条目。分享的内容似乎是一个精选的资源或文章列表，URL指向一个“readings_shared”页面。
-
AI4Math 阅读分享：2026年8月3日至9日
此集群包含一项详细介绍2026年8月3日至9日期间分享的阅读材料。这些阅读材料与AI相关，特别是AI4Math，并涵盖了Coq、FormalVerification、FunctionalProgramming、Haskell、ITP、IsabelleHOL、LeanProver和Logic等主题。
-
AI与数学阅读分享 2026年7月27日至8月3日
该集群包含一项条目，详细介绍了2026年7月27日至8月3日期间分享的阅读材料，发布在Mastodon上。阅读材料涵盖了广泛的主题，包括AI、数学、形式化以及各种编程语言和定理证明器。
-
AI与数学阅读材料分享于2026年7月27日
此集群包含一项条目，详细介绍了2026年7月27日分享的与AI和数学相关的阅读材料。分享的内容包括对Vestigium、Aristotle和Isabel的引用，标签表明重点是AI在数学中的应用、形式化验证工具如Agda、ITP、IsabelleHOL、LeanProver、Logic、Math、Prolog和RocqProver。