加州理工华人用AI颠覆数学证明！
让陶哲轩大神赞不绝口的形式化研究神器Lean，运行LLM的推理却有个bug。最近，加州理工团队解决了这个bug，把80%以上的数学证明步骤，都自动化了！Lean Copilot，让陶哲轩等众多数学家赞不绝口...
250行代码从头搭建Llama 3，GitHub一天4.6k星！
Llama 3发布一个月后，一位开发者在GitHub上创建了名为「从头开始实现Llama 3」的项目，引起了开源社区的广泛关注。代码非常详细地展现了Llama所使用的Transformer架构，甚至让Andrej Karpathy...
智谱大模型，有了首个免费的API
最近一段时间，国内外的大模型行业卷的是「快速版」。5 月谷歌 I/O 大会上，新发布的 Gemini 1.5 大模型序列中出现了 Flash 版，主打轻量化和响应速度。到 7 月，OpenAI 又在 GPT-4o 的基础上推...
设计圈年会迎来重磅核弹！Adobe推出三个AI新模型
财联社10月11日讯（编辑 赵昊）当地时间周二（10月10日），有“设计圈年会”之称的“Adobe Max 2023”正式召开。在序幕活动中，软件巨头Adobe推出了三个新的生成式人工智能模型，为Photoshop等...
Cast AI 获 3500 万美元投资，旨在通过 AI 削减云成本
近日，Cast AI 宣布完成 3500 万美元 B 轮融资，总融资额达到 7300 万美元。本轮融资由 Vintage Investment Partners 领投，Creandum 和 Uncorrelated Ventures 参投。随着企业不断对遗留应用程...
突破分辨率极限，字节联合中科大提出多模态文档大模型
现在连文档都有大模型了，还是高分辨率、多模态的那种！不仅能准确识别出图像里的信息，还能结合用户需求调用自己的知识库来回答问题。比如，看到图中马里奥的界面，直接就回答出了这是任天堂公...
谷歌发布新大语言模型：零样本生成10秒视频达SOTA！
你敢信？大熊猫都会打牌了！ 打开网易新闻 查看更多图片 看这毛茸茸的脑袋、抓牌的动作……而这其实都是AI生成的，还是零样本那种。这就是谷歌最新大语言模型VideoPoet。它不仅没有用视频领...
大模型玩宝可梦达人类水平！
基于大模型的Agent会玩宝可梦了，人类水平的那种！名为PokéLLMon，现在它正在天梯对战中与人类玩家一较高下： 打开网易新闻 查看更多图片 PokéLLMon能灵活调整策略，一旦发现攻击无效，立...
阿里又在AI上大出血了
阿里在AI上下足了血本。近日，中国AI大模型初创公司MiniMax正在进行新一轮大规模融资，阿里是其中的核心领投方，融资金额尚未披露。MiniMax成立于2021年，同时拥有文本、语音、视觉三模态融合的...
阿里1号AI「员工」上岗，007写代码助攻大厂程序员！
阿里云最近入职的这位新员工，程序员们看了拍手叫好！每天，它都有数百万行代码被采用，单日推理次数超两千万。007敲代码，兢兢业业改bug，从不抱怨。它不抢程序员饭碗，主打辅助！就在刚刚，...