加州理工华人用AI颠覆数学证明！
让陶哲轩大神赞不绝口的形式化研究神器Lean，运行LLM的推理却有个bug。最近，加州理工团队解决了这个bug，把80%以上的数学证明步骤，都自动化了！Lean Copilot，让陶哲轩等众多数学家赞不绝口...
Cast AI 获 3500 万美元投资，旨在通过 AI 削减云成本
近日，Cast AI 宣布完成 3500 万美元 B 轮融资，总融资额达到 7300 万美元。本轮融资由 Vintage Investment Partners 领投，Creandum 和 Uncorrelated Ventures 参投。随着企业不断对遗留应用程...
硅谷近8000人疑被AI淘汰
就在刚刚，谷歌CEO劈柴在公开信中承认：谷歌的裁员计划还要持续一整年，还有更多岗位会被淘汰，且持续一整年。根据Layoffs数据，开年不到一个月，科技公司总共已裁掉7,785名员工。AI真来淘汰...
比尔·盖茨：计算机领域将在五年内颠覆，迈向下一个互联网
“谁能赢得个人代理，那才是大事，因为你将永远不会再去搜索网站，永远不会再去生产力网站，你永远不会再去亚马逊。”他说道。比尔·盖茨重磅发文：计算机领域将在五年内颠覆，迈向下一个互...
谷歌推世界首个AI游戏引擎，2000亿游戏产业恐颠覆
炸裂！世界上首个完全由AI驱动的游戏引擎来了。谷歌研究者训练的GameNGen，能以每秒20帧实时生成DOOM的游戏画面，画面如此逼真，60%的片段都没让玩家认出是AI！全球2000亿美元的游戏行业，从此...
元乘象Chatimg3.0来了，赶超GPT-4V
最近，AI 领域都在思考一件事：多模态大模型落地产业，好的打法应该是什么？通用人工智能时代正在到来，AI 大模型技术已成为数字经济下基础设施建设的重要支撑，也成为产业智能化转型的核心「...
马斯克最新回应：OpenAI 的“邮件攻击”在说谎！
这位亿万富翁总是有办法吸引全世界的关注。 近年来，人工智能技术的快速发展引起了广泛关注。然而，这项技术的发展也带来了一系列争议和问题。上周，亿万富翁埃隆·马斯克对美国人工智能公司 O...
OpenAI 用45分钟重塑游戏规则！干掉 MJ、LangChain
北京时间 11 月 7 日凌晨 02:00，OpenAI 的首次 DevDay 开发者日活动正式开始。Sam Altman 用了 45 分钟的时间发布了多款新产品。微软 CEO Satya Nadella 还亲自去现场参与了这次发布。此次，Op...
NEC推出新的人工智能业务战略
NEC公司增强并扩展了其轻量级大型语言模型(LLM)的性能，并计划于2024年春季推出。通过这一开发计划，NEC目标是为每个客户的业务定制的生成式人工智能(AI)提供最佳的使用环境，并以NEC的行业和业...
信息流媒体将更多转向个人及 AI 互动，未来看好这三类 AI 硬件
近日， Meta CEO Mark Zuckerberg 与科技创作者 Robin Kallaway 进行了一场深度对话，讨论了未来十年的技术发展，尤其是智能眼镜、神经腕带和 AI 技术在创作者和小企业中的应用。Zuckerberg...