「R1」共找到 1757 篇相关文章
如果你还不知道龙虾是什么，可以先试试 MaxClaw
去年开源模型 DeepSeek R1 火爆，今年个人 AI 助手 OpenClaw 成焦点。OpenClaw 在 GitHub 获大量 Star，MiniMax 基于它推出的 MaxClaw 是云端 AI 助手，功能多、易使用，在个人和企业场景都有大作用。
88岁图灵奖得主，用Claude一小时破解30年数学悬案
88岁图灵奖得主高德纳发文称，他研究数周、可追溯到30年前的三维图论开放问题，被Claude Opus 4.6仅用1小时、31次探索就破解，还给出通用构造算法，这让向来对生成式AI保留的他致敬Claude。
突袭Cursor，Windsurf抢发自研大模型！性能比肩Claude 3.5、但成本更低，网友好评：响应快、不废话
当地时间5月16日，Windsurf推出首个AI软件工程模型家族SWE - 1，含三款模型，性能比肩Claude 3.5且成本更低。开发者试用评价不错，但也指出不足。Windsurf称旨在提升软件开发速度，还介绍了测评、编辑器赋能等情况。
最大全电动飞机首飞成功，飞行半小时电费5美元，这家初创想做航空业的特斯拉
8月12日，初创公司Heart Aerospace制造的最大全电动飞机X1首飞成功，飞行约27分钟，电力消耗仅约5美元。公司想用电动飞机替代30 - 50座支线飞机，其后续发展受电池技术、成本等因素制约。
它石智航用“吉尼斯纪录”交卷真干活的具身大脑，丁文超：从来没有Plan B
它石智航在获巨额融资后埋头研发，其A1机器人创线束装配吉尼斯世界纪录。该公司打造具身大脑AWE 3.0，还推出SenseHub数采套件，发起具身数据星火计划，推动具身智能发展。
马斯克要自己做「英伟达+台积电」！宇宙芯片宏图开工，算力产能扩5000%
马斯克宣布启动史上最大规模芯片计划Terafab，目标是每年生产超1太瓦算力，80%部署至太空。该计划将芯片设计到制造整合，为机器人、AI和太空数据中心造芯片，不过暂无具体时间线。
给GUI Agent装上「世界模型」：阿里通义用混合数据+统一思维链，让模型学会预判屏幕变化
伴随多模态大模型发展，GUI Agent成人机交互新范式，但构建高可用、跨平台的GUI Agent面临诸多挑战。阿里通义实验室开源Mobile - Agent - v3.5框架及GUI - Owl - 1.5模型家族，解决了相关技术壁垒。
Pogocache：开源缓存软件实现低延迟并支持多传输协议
全新开源缓存软件 Pogocache 近日发布 1.0 正式版，主打低延迟与 CPU 高效能特性，支持多种主流通信协议，宣称比其他开源缓存方案有更高吞吐量和更低延迟。还介绍了其架构、应用场景等。
GPT-5编程成绩有猫腻！自删23道测试题，关键基准还是自己提的
有人发现OpenAI测试GPT-5编程能力时，用的SWE-bench Verified子集仅477题，自行省略23题。若这些题默认零分，其得分比Claude Opus 4.1低。且该基准还是OpenAI自己提出的。
伯克利最强代码Agent屠榜SWE-Bench！用Scaling RL打造，配方全公开
开源软件工程模型DeepSWE横空出世，基于Qwen3 - 32B，仅用强化学习训练，以59%准确率刷新SOTA。它采用rLLM框架、R2E - Gym环境，用改良GRPO++算法，还介绍了评估策略及训练挑战的解决办法。