王小川在搜索时期种下的种子，在大模型时代又开花了。他创业的百川智能，刚刚发布了自家首款AI应用，to C的“百小应”。乍一看，这就是个当下大热门的AI助手，但官方强调，这个AI助手啊，它懂搜...

 让陶哲轩大神赞不绝口的形式化研究神器Lean，运行LLM的推理却有个bug。最近，加州理工团队解决了这个bug，把80%以上的数学证明步骤，都自动化了！Lean Copilot，让陶哲轩等众多数学家赞不绝口...

 苹果新发布适用于苹果芯片的机器学习框架MLX，MLX是一个类似于NumPy的阵列框架，旨在为使用苹果硬件的研究人员简化 ML 模型的训练和部署。一直以来，英伟达CUDA称霸天下，使得它在AI领域的势...

  “谁能赢得个人代理，那才是大事，因为你将永远不会再去搜索网站，永远不会再去生产力网站，你永远不会再去亚马逊。”他说道。比尔·盖茨重磅发文：计算机领域将在五年内颠覆，迈向下一个互...

炸裂！世界上首个完全由AI驱动的游戏引擎来了。谷歌研究者训练的GameNGen，能以每秒20帧实时生成DOOM的游戏画面，画面如此逼真，60%的片段都没让玩家认出是AI！全球2000亿美元的游戏行业，从此...

真·“三个臭皮匠，顶个诸葛亮”——基于开源小模型的三个Agent协作，比肩GPT-4的工具调用效果！话不多说，直接来看两个系统执行记录。用户表示自己是一个音乐爱好者，想探索不同的音乐流派以及...

  近日， Meta CEO Mark Zuckerberg 与科技创作者 Robin Kallaway 进行了一场深度对话，讨论了未来十年的技术发展，尤其是智能眼镜、神经腕带和 AI 技术在创作者和小企业中的应用。Zuckerberg...

这位亿万富翁总是有办法吸引全世界的关注。 近年来，人工智能技术的快速发展引起了广泛关注。然而，这项技术的发展也带来了一系列争议和问题。上周，亿万富翁埃隆·马斯克对美国人工智能公司 O...

 成立仅9个月的AI初创公司拉普拉斯智能（Laplace AI），已经用原生智能生产力操作平台帮助企业用户实现智能体落地了！平台名为拉普拉斯智能实验室（Laplace AI Lab），入口统一，用自然语言即...

 OpenAI正致力于开发一款高级AI编码助手，以复刻高级工程师的能力，解决复杂的系统编程任务。该工具将支持代码重构、数据跟踪优化及个性化功能集成，有望显著提升企业开发效率并重塑软件行业。...