人工智能研究机构Epoch近日发布报告，确认其最新模型GPT-5.4 Pro成功解决了一个长期悬而未决的前沿数学开放问题——超图上的拉姆齐风格问题。该问题属于组合数学的核心领域，要求构造尽可能大的超图，使其不具备某个易...

近日，一款名为OpenCode的开源AI编程代理因其卓越的灵活性和广泛的兼容性受到开发者社区关注。作为一款流行的开源工具，OpenCode的核心优势在于其强大的模型兼容能力，它支持超过75家大型语言模型（LLM）提供商，包...

近日，GitHub上出现了一个名为Project N.O.M.A.D.（Node for Offline Media, Archives, and Data）的开源项目，它是一款自包含、优先离线的知识服务器，旨在为用户提供无需互联网连接的工具、教育资源和人工智能能力...

MiniMax-AI团队在GitHub上开源了名为“skills”的AI编程智能体技能库，标志着AI辅助编程工具向模块化、专业化方向迈出重要一步。该仓库旨在为各类AI编程工具（如Claude Code、Cursor等）提供结构化、生产级的开发指导...

近日，科技界发生了一起备受关注的模型溯源事件。AI编程助手Cursor发布的新一代代码生成模型Composer 2，被用户发现其底层架构疑似基于中国人工智能公司月之暗面（Moonshot AI）的开源大模型Kimi 2.5。面对社区质疑...

近日，一个名为Tinybox的离线AI设备项目在技术社区引发了广泛关注。该项目旨在打造一款能够本地离线运行高达1200亿参数大型语言模型的紧凑型硬件设备。这一构想直击当前AI应用的核心痛点：数据隐私、网络依赖和高昂...

OpenAI的Codex编码代理系统采用了一种名为“代理循环”的核心机制，该机制通过迭代式地构建提示、与底层大模型交互、并执行工具调用（如运行命令或测试）来完成复杂的编程任务。为了应对日益增长的对话历史和多层上下...

人工智能领域的领军企业OpenAI近日宣布了一项重要战略收购——将收购专注于Python开发工具的公司Astral。此举旨在将Astral旗下广受欢迎的Python工具链深度集成到OpenAI的Codex系统中，从而显著扩展其在AI辅助软件开发...