搜索
公考行测中的逻辑推理题，是不少考生的噩梦，这次，CMU团队就此为基础，打造了一套逻辑谜题挑战。实测后发现，o1、Gemini-2.5 Pro、Claude-3.7-Sonnet这些顶尖大模型全部惨败！最强的AI正确率也只有57.5%，而人类TOP选手却能接近满分。
想必各位开发者、产品经理或一些有想法的非程序员人士，已经使用了 Cursor 来协助完成一些开发任务，但是由于额度和有效期的问题，每次刚学会几招 Cursor 的使用方式，就用不了了。
4 月 14 日，谷歌首席科学家 Jeff Dean 在苏黎世联邦理工学院举办的信息学研讨会上发表了一场演讲，主题为「AI 的重要趋势：我们是如何走到今天的，我们现在能做什么，以及我们如何塑造 AI 的未来？」
据知情人士透露，过去一年中，Meta Platforms 曾请求微软、亚马逊等公司协助承担其旗舰大语言模型 Llama 的训练成本。该想法反映出对 AI 开发成本激增日益加剧的担忧，企业对资助开源软件犹豫不决。
具身智能机器人企业智平方在深圳发布新一代通用智能机器人AlphaBot 2（爱宝2）。
谷歌发布首款混合推理模型Gemini 2.5 Flash，引入了革命性「思考预算」，可灵活控制推理深度，性能一举击败Claude 3.7，比肩o4-mini。而且，关闭思考模式成本直降600%。
根据彭博社消息，广受欢迎的 AI 编程助手 Windsurf 的开发商正与 OpenAI 洽谈收购事宜，交易金额约为 30 亿美元。
悬疑小说的最后一页，隐藏着罪犯的真相。《逆转裁判》的法庭上，真凶在谎言中露出破绽。UCSD研究团队以这款经典游戏为舞台，o1、Gemini 2.5 Pro等模型化身「侦探」，测试AI的推理极限。
4月17日据《金融时报》周四报道，OpenAI和Oracle（ORCL.N）为其重要项目“星际之门”权衡英国未来投资，因为它正在探索海外地点以建立人工智能基础设施。
2025年4月16日，Cohere 发布了其最新一代多模态搜索模型 Embed 4，在多模态数据处理、长文本建模和跨模态检索能力上实现了显著提升，进一步巩固了其在企业级 AI 搜索领域的领先地位。