开发者Snouzy近日发布了全新的开源健身教练平台Workout.cool，这是其此前广受欢迎的开源项目workout.lol的迭代版本。原项目曾获得1.4k GitHub星标和约2万月访问量，但因视频版权问题被出售后陷入停滞。新版本从零开...

GitHub最新开源项目CoRT（Code Interpreter Reasoning）提出了一种创新的方法，通过提示工程（hint engineering）对大语言模型进行后训练（post-train），使其能够将复杂计算任务智能分配给外部代码解释器执行。这一...

近期，强大的AI编码工具正在彻底改变开发者的工作方式，使其从传统的代码编写转向解决方案架构和精确问题描述。例如，开发者向Claude输入OAuth流程的ASCII序列图或Chrome DevTools中的完整DOM树后，原本需要45分钟的...

SWE-Factory项目近日发布了一套自动化训练与评估管道，专门用于GitHub问题解决任务。该系统的核心创新在于采用了基于大语言模型（LLM）的多智能体系统架构，通过模拟人类开发者的协作模式，实现了软件开发问题的智能...

苹果公司研究团队通过定制化谜题环境对大型推理模型(LRMs)进行了系统性评估，揭示了人工智能推理能力的重要局限性。研究发现，随着任务复杂度提升，LRMs会经历推理效能先上升后急剧下降的拐点现象，最终在高度复杂任...

OpenAI近日宣布其浏览器智能代理O3 Operator完成重大升级，原基于GPT-4o的模型架构已被全新的CUA（Cognitive Unified Architecture）技术体系取代。这一变革标志着OpenAI在轻量化AI代理领域取得突破性进展——CUA架构...

本文探讨了软件工程领域的一个核心问题：为何优秀的工程师特质同样适用于构建高效的工程团队。作者指出，尽管大多数软件开发者自称为工程师，但他们的学术背景往往是计算机科学而非传统工程学科。这种差异引发了关于...

最新理论框架将人工智能划分为三个核心认知维度：工具、代理和模拟器。作为工具时，AI严格遵循人类指令延伸能力边界；代理形态下则具备自主目标追求能力；而模拟器模式专精于无特定目标的流程仿真。研究表明，大型语...