OpenAI的一个推理模型成功推翻了离散几何学中的核心猜想——“平面单位距离问题”（Planar Unit Distance Problem）。该猜想最早由20世纪著名数学家保罗·埃尔德什于1946年提出，在长达80年的时间里一直未被攻克，是离散...

谷歌搜索即将迎来其历史上规模最大的更新，标志着AI搜索进入一个全新的纪元。此次更新的核心是深度整合最新的Gemini 3.5 Flash模型，并将其融入到一个全新的AI搜索框中，从而引入“后台代理”机制。这些智能代理能够自...

艾伦人工智能研究所（Ai2）最新发布的OlmoEarth v1.1模型家族，在遥感智能分析领域实现了显著的成本突破。该系列模型通过创新的序列长度优化技术，将处理遥感数据的计算成本最高降低至原来的三分之一（即3倍效率提升...

人工智能安全与研究公司 Anthropic 宣布收购开发者工具初创公司 Stainless。Stainless 专注于 SDK 自动化平台，其解决方案能够帮助开发者快速生成和维护高质量的软件开发工具包。该平台在 AI 行业中拥有广泛的用户基...

在人工智能浪潮席卷各行各业的当下，客户互动平台 Braze 的首席技术官近日分享了其工程团队向“AI-first”模式转型的激进实践。据透露，Braze 在短短几个月内完成了工程范式的切换，目前超过 60% 的已提交代码是由 AI...

在计算机辅助设计（CAD）领域，生成式人工智能正展现出颠覆传统工作流的潜力。GenCAD项目正是这一趋势的典型代表。该项目旨在利用生成模型，直接根据用户的自然语言描述或简单草图，自动生成精确且可编辑的设计文件...

一家名为Recursive Superintelligence的初创公司近日宣布，已成功融资超过6.5亿美元，公司估值突破40亿美元。该公司致力于研发能够实现自我改进的人工智能系统，旨在大幅减少甚至完全摆脱对人类开发者的依赖。其七位...

TLDR 正为其应用人工智能（Applied AI）团队招募一名高级软件工程师。该团队的核心使命是将 TLDR 内部的所有流程变得对代码可读、可由任何人操作，并能组合成更复杂的工作流。这不仅是工程岗位，更是一个面向未来组...