知名软件公司37signals近日正式开源了其内部使用的合成监控系统Upright。该系统被设计为一个Rails引擎，用于监控包括Basecamp、HEY、Fizzy在内的公司核心产品线。Upright的技术架构颇具亮点，它通过Kamal部署到全球...

OpenAI近日详细公布了其AI模型在全部十道“First Proof”数学研究问题上的端到端证明尝试。First Proof是一项特定领域挑战，旨在测试AI系统能否生成完全可验证的数学论证。OpenAI的博客文章概述了该领域专家对模型提交...

美国近日宣布启动一项名为“科技军团”的新计划，该计划隶属于历史悠久的“和平队”框架，旨在向海外派遣技术志愿者，推广美国的AI模型与技术。此举被视为美国在全球人工智能领域，特别是与中国竞争主导地位的战略性举措...

总部位于印度班加罗尔的AI初创公司Sarvam，于近日正式推出了其名为“Indus”的聊天应用程序Beta版本，该应用面向网页和移动端用户开放。Sarvam的核心战略聚焦于为印度本土语言及用户构建定制化的人工智能模型，此次发...

近期，科技行业观察者指出，几乎所有致力于构建个人AI助手的公司，其商业模式都深度依赖广告收入。这些公司不仅通过广告为AI服务的研发和运营提供资金，还正在大力推广能够24/7不间断进行音频和视频监听的智能硬件设...

近日，StepFun正式发布了其前沿开源基础模型Step 3.5 Flash。该模型定位为高效、高速推理与具备智能体（Agent）能力的先进模型，其核心特性在于集成了工具使用、长上下文处理以及支持本地部署等关键能力。Step 3.5 F...

近日，GitHub上开源了一个名为Slowmo的工具项目，它旨在为开发者提供对网页内容时间的通用控制能力。通过该工具，用户可以灵活地减慢、暂停或加速网页中的动画以及其他基于时间变化的元素。这一功能在多个专业场景下...

OpenAI与知名加密投资及研究机构Paradigm近日联合推出了名为“EVMbench”的全新基准测试。该基准旨在系统性地评估人工智能（AI）代理在检测、修补以及利用高严重性智能合约漏洞方面的综合能力。智能合约作为区块链生态...