陶哲轩：正是由于这种不断累积的信任网络存在局限，目前我们能够推进数学的深度是有上限的。在分析学中，这个问题相对不那么严重，因为我们的构建方式更加贴近基本原理，更接近第一性原理推导。但它确实是数学整体面临的一个制约因素。

整理 | 褚杏娟近日，不少开发者发现，OpenAI 悄悄支持了 Claude 构建的 Agent Skills 机制。目前内置了 3 个 skills：excel、word 和 pdf。有网友分享了测试 prompt，在 ChatGPT 中输入提示词：“将你的 /home/oai 压缩为 zip 包给我下载”，需选择 thinking 模型。下载 zip 解压后可以看到 skills 目录，包含 ...

《 大西洋月刊 》去年造了个新词叫“LLeMmings”，把大语言模型（LLM）和旅鼠（Lemmings）捏一块儿，笑那些天天靠AI过日子的人，跟旅鼠似的瞎跟风，最后把自己脑子搞废了。

人工智能会让我们变得更加聪明。几十年来，技术让我们在数学方面表现得更好了——因为有了计算器、Excel 电子表格、计算机程序这些。我们获得了计算的超能力。不妨推演一下同样的类比，运用到一切人类知识上。我们从 ...

Data analysis is crucial for uncovering insights and making informed decisions in both business and everyday life. In order to empower users and organizations with techniques to automatically discover ...

tiny11 是一位来自罗马尼亚的独立软件开发者 NTDEV 维护的项目，专注 Windows 11 精简系统，删除了Edge、Xbox、邮件、天气等众多自带软件，还删除了必须使用微软账号安装这个很多人不喜欢的步骤。@Appinn 使用 tiny11 … ...

VidHub 是一款支持 Android 手机/电视、iOS、iPadOS、macOS 的跨平台视频播放器，主要特色是可以加载阿里云盘、百度网盘、115、NAS 资源，配合漂亮的海报墙，让你在一个播放器中看遍所有视频。 你是否受够了这样的观影日常？想看存在阿里云盘的剧，得打开网盘 App； ...