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

人工智能安全公司Anthropic近日推出了Claude Code Security的有限研究预览版，标志着AI驱动的代码安全分析领域迈出了重要一步。该系统能够对代码库进行自动化扫描，精准识别依赖于上下文的复杂安全漏洞，并针对性地...

近日，在GitHub上开源名为“ntransformer”的高效大语言模型推理引擎项目，其核心创新在于探索并实现了通过NVMe存储设备直接与GPU通信，绕过CPU和系统内存的传统数据路径，从而在消费级显卡RTX 3090上成功运行了参数量...

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

人工智能公司GEPA近日推出了一项名为“optimize_anything”的突破性API服务，该服务宣称能够优化任何可表示为文本的“参数”，为人工智能应用开发带来了新的范式。这项技术本质上是一个声明式API，用户只需定义需要优化...

近日，一款名为Micasa的开源工具在开发者社区引发关注。它是一款运行在终端（Terminal）的文本用户界面（TUI）应用，旨在帮助用户高效管理家庭事务，从记录洗碗机滤网清洁周期、后院改造报价，到追踪墙面霉菌处理等...

近日，埃隆·马斯克预测，到2026年，人工智能将能够直接生成可执行的二进制文件，从而使编程语言和编译器变得过时。然而，技术专家指出，这一论断存在根本性的“范畴错误”。当前，确定性编译器能够在毫秒级别内，以严...

WebMCP API是一项前沿的Web技术提案，它定义了一个全新的JavaScript接口，旨在弥合Web应用与AI代理之间的鸿沟。通过该接口，Web开发者可以将自己应用中的特定功能（如数据查询、表单提交、内容生成等）封装成带有自...