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

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

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

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

Cohere的研究部门Cohere Labs近日正式发布了Tiny Aya系列开源模型，这是目前在其参数量级上性能最强的多语言开源模型。该系列包括基础模型TinyAya-Base（35亿参数）以及经过指令微调的TinyAya-Global和多个区域变体...

近日，一项由OpenAI发布的研究引发了科学界与人工智能领域的广泛关注。根据一份新的预印本论文显示，其最新的大型语言模型GPT-5.2在理论物理学领域取得了一项原创性成果：它独立地提出了一个关于胶子散射振幅的新公...

近日，技术研究团队对Perplexity推出的名为Comet的智能体浏览器进行了深入的技术剖析。Comet并非传统意义上的浏览器，而是一个配备了先进AI模型的“代理式浏览器”，其核心能力在于能够自主地与网页内容进行交互。该分...

人工智能开源社区Hugging Face近日在NPM上发布了Transformers.js v4的预览版本，标志着在Web端及JavaScript生态系统中部署和运行机器学习模型的能力迈入了新的阶段。Transformers.js的核心价值在于允许开发者直接在...