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

近日，一款名为Personal Brain OS的创新项目引发了AI与个人知识管理领域的关注。该系统本质上是一个基于文件系统的个人操作系统，其核心架构完全构建于Git仓库之上，旨在从根本上解决当前AI智能体在长期交互中容易遗...

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

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

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

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

谷歌母公司Alphabet与东南亚科技巨头冬海集团于近日宣布达成一项新的战略合作伙伴关系。根据协议，双方将共同为冬海集团旗下的核心业务——东南亚领先的电商平台Shopee以及全球知名的游戏开发与发行公司Garena——开发与...

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