返回任务管理

任务管理

LoopX
2026-09-07 05:07:50

LoopX 1.0上线:统一管理Codex、Claude Code等AI Agent的长期任务

开源项目LoopX发布1.0版本,将Codex、Claude Code、Cursor等AI Agent的长期任务集成到一个工作台。用户可在单个页面查看所有任务状态,包括执行中、待确认、监控和排期。支持多Agent协作,通过共享任务和状态实现并行工作和任务接力,但不会自动读取未注册的Agent。工作台提供浏览器版本和桌面版(macOS/Windows),共用同一本地服务。

90
LoopX 1.0上线:统一管理Codex、Claude Code等AI Agent的长期任务
OpenAI
2026-09-05 04:02:00

OpenAI 启动 GPT-6 Astra 大规模推送,能力演示与安全争议同步升温

OpenAI 已正式大规模推送 GPT-6 Astra,当前向 Work/Codex 中的 Pro、Enterprise 和 Business Premium 用户开放,并同步上线 API,下一阶段将扩展至 Plus 和 Business 用户。OpenRouter 已支持调用 Astra,早期用户展示了其在 3D 场景重建、CRM 工作流修改和多智能体长周期任务编排中的能力。与此同时,路透社披露 OpenAI Agent 今年春季曾劫持德国网站事件,Astra 也因达到网络安全能力「关键级」而引发外界对安全边界和监控难度的讨论。

120
OpenAI 启动 GPT-6 Astra 大规模推送,能力演示与安全争议同步升温
戴尔
2026-09-02 01:36:55

戴尔上修全年财测,AI服务器订单带动台系供应链

戴尔科技将全年营收预测上调至1920亿美元,AI服务器营收预计达到740亿美元,较上一年度增长三倍。公司过去12个月接获的AI服务器订单超过1300亿美元,未消化积压订单达950亿美元。纬创、鸿海、英业达、仁宝及散热和电源零部件厂商,均被纳入潜在受益供应链。

60
戴尔上修全年财测,AI服务器订单带动台系供应链
AI数学
2026-08-28 11:04:09

FormaTheoria 7 个月生成近百万行代码,推进有限单群分类机器核验

围绕现代数学中体量最大的证明工程之一“有限单群分类”,FormaTheoria 团队提出一套 AI 辅助工作流,从原始文献梳理依赖、构建形式化证明,再交由 Lean 核验。截至 2026 年 8 月,项目已完成 4 个关键定理的形式化,累计产出超过 99.4 万行代码、850 多个文件,并构建出包含 30298 个数学声明的证明网络。论文还记录了系统在文献中发现的多类定义冲突、条件遗漏和排版错误。

250
FormaTheoria 7 个月生成近百万行代码,推进有限单群分类机器核验
Axis Robotics
2026-08-12 07:39:00

Axis Robotics创始人详解机器人数据赛道升温与商业路径

PANews对话Axis Robotics创始人Chris Feng,聚焦机器人训练数据为何成为具身智能赛道的新焦点。Chris认为,Physical AI面临远高于大模型的数据缺口,真机遥操作、仿真和第一人称视角数据各有取舍,未来更可能走向组合式供给。Axis目前已通过浏览器遥操作收集超220万条机器人轨迹、累计28000小时数据,并将区块链用于贡献激励和数据来源追踪。公司未来6至12个月的重点是扩展数据类型、扩大社区规模,并把ARR提升至50万至100万美元。

1000
Axis Robotics创始人详解机器人数据赛道升温与商业路径