安爸 的文章
OpenAI 发布大模型现实世界软件工程基准测试 SWE-Lancer
作者 | Daniel Dominguez 译者 | 明知山 策划 | 丁晓昀 OpenAI 发布 SWE-Lancer 基准测试，用于评估 AI 大语言模型在现实世界自由职业软件工程任务中的表现。该基准测试的数据集包含来自 Upw...
人形机器人投资卷疯了！天使轮千万起投，近一半项目融资超1亿元
3月底，朱啸虎宣布，由于市场共识高度集中，自己正在批量退出对人形机器人的投资。 这个决定的对错，乌鸦君暂不评论。但有一件事情朱啸虎还真没说错，那就是人形机器人的投资卷疯了，甚至远超过去两年的大模型。 从数据上看，人形机器人的融资可谓“量质...
击败 Manus？前百度 AI 高管创业1年多，放弃500 万用户搜索产品，转推“最强 Agent ”，自述 9 个月研发历程
整理｜冬梅、核子可乐 前两天，总部位于美国加州帕洛阿尔托的初创公司 MainFunc 发布了所谓的 Genspark Super Agent，这是一个能快速反应的自主系统，可自主思考、计划、行动并使用工具来帮助用户处理所有日常任务。 那...
差评+翻车！Meta开源模型Llama 4被曝存在基准误导和黑幕，性能不如DeepSeek
文丨丁灵波 谁才是最强开源AI模型王者？Meta和DeepSeek展开了新一轮竞争。 日前，沉寂了许久的Meta宣布推出新一代旗舰模型Llama 4家族，并将其定义为原生多模态AI创新时代的开始，已发布型号为Llama 4 Scout和...
数学大一统的惊人胜利！天才数学家用30年破解不可能，边看《星战》边写论文
新智元报道 编辑：英智 定慧 【新智元导读】数学家Dennis Gaitsgory凭借对几何Langlands Program的证明——一个与「数学大一统理论」相关的领域——而获得了突破奖300万美元奖金。9人团队，5篇论文完成了...
奥特曼力挺年轻人「套壳」，25年程序员效率暴增10倍！GPT-4o狂造十亿图像
新智元报道 编辑：英智 桃子 【新智元导读】奥特曼在最新访谈中直面吉卜力争议，畅谈AI如何为内容创作带来变革。OpenAI即将生成10亿张图像，程序员生产力将提升10倍？ 奥特曼在最新的访谈中回应了吉卜力争议，谈到了对AI带来的新...
清华耶鲁推理模型新范式：动态推理实现高效测试时扩展，大大节省Token消耗
Z1团队 投稿 量子位 | 公众号 QbitAI 推理性能提升的同时，还大大减少Token消耗！ 清华、耶鲁团队提出推理模型新范式：动态推理实现高效测试时扩展。 测试时扩展（test-time scaling）技术加速推动了大语言模型在复...
AI PPT赛道，为什么Tome失败了，Gamma 却越活越好？
几天前，AI 驱动的演示工具 Tome 宣布，将在四月底前关闭 Tome Slides 功能，并转型至销售领域（「搞定交易，而非幻灯片」：面向销售的 AI 助手）。 Tome 在 2022 年风生水起，曾经一度霸占了各大 AI 榜单类目第...
2025 CSRankings排名出炉！上交大、清华北大、浙大霸榜全球AI TOP 10
新智元报道 编辑：桃子 犀牛 【新智元导读】2025 CSRankings新鲜出炉了！CMU稳坐全球第一，中国高校强势崛起，清华摘得第2，上交大与浙大并列第3，北大位居第5。中国在AI领域表现尤为抢眼，上交大、清华、北大、浙大包揽前...