25位菲尔兹奖得主联合发布声明《AI在数学领域的严重错位》
一份题为《AI在数学领域的严重错位》的联合声明近日引发关注,署名者包括25位菲尔兹奖得主,其中明确提及陶哲轩与邓煜等人。声明原文链接已公开,但内容全文未在现有信息源中披露。该声明聚焦AI技术在数学研究中的应用边界与定位问题,尚未有官方机构或组织就其立场作出回应。
一份题为《AI在数学领域的严重错位》的联合声明近日引发关注,署名者包括25位菲尔兹奖得主,其中明确提及陶哲轩与邓煜等人。声明原文链接已公开,但内容全文未在现有信息源中披露。该声明聚焦AI技术在数学研究中的应用边界与定位问题,尚未有官方机构或组织就其立场作出回应。
X平台有用户发帖称AirPods支持实时翻译功能。该说法目前尚未获得苹果官方证实,亦无公开产品文档或系统更新日志佐证。截至当前,iOS及macOS最新正式版系统中,AirPods未内置独立的实时语音翻译能力,相关功能需依赖第三方应用或设备端Siri语音转文字配合外部翻译服务实现。
X平台用户xicilion近日发帖指出,过去一周在AI开发中消耗了“大几十亿token”,但未产出任何新功能,所写代码多被描述为“无用代码”。该帖引发中文社区对AI开发效率与token使用成本的讨论。需注意,该发言为单个开发者主观反馈,未提供具体项目、模型或工具信息。
据 Tedium 报道,用户近期收到大量来自 iLands.app 域名的邮件,发件人为名为 Leo Ashford 的 AI 代理,声称提供“互联网考古”研究服务并收取约 25 美元费用。这些邮件被指具有垃圾邮件特征。 调查显示,iLands 是一个自称“人机网络”的平台,支持 AI 代理自主接单、完成任务并获取报酬。其创始人 Kaixin Tang 曾就职于字节跳动。 报道指出,该模式引发关于 AI 代理行为边界与责任归属的讨论,作者建...
PANews 9月12日消息,埃隆·马斯克于X平台发布动态,提及Dario主张AI行业应减速。该言论引发英文区关注与讨论。 目前公开信息未明确Dario具体身份、所属机构或完整观点表述,亦未说明其主张背景或依据。更多细节有待进一步核实。
DeepSeek 近期启动语音对话功能的灰度测试。部分用户在 App 右上角可见小喇叭按钮,点击可触发语音交互。 设置页面新增“朗读音色”选项,提供四种预设音色:贝壳(百变活泼)、白浪(明朗坚定)、海星(俏皮甜美)、暗潮(低沉浑厚)。 该功能目前处于小范围测试阶段,尚未向全部用户开放。
X平台中文用户近期就AI开发中的Token消耗问题展开讨论。用户xicilion称,过去一周消耗数十亿Token,但未产出新功能。用户dotey援引软件工程师Gergely Orosz观点,指出当前软件开发领域正显现集成开发环境(IDE)式微等趋势。相关讨论聚焦于AI工具实际效能与传统开发范式变迁。
GitHub 开源项目 Litelm 正式发布,定位为 LiteLLM 的轻量级变体。该项目由开发者 kennethwolters 主导,旨在通过剔除非核心功能,降低资源占用与使用复杂度。 根据项目主页描述,Litelm 保留了 LiteLLM 的核心 API 兼容性,但移除了部分扩展性模块及冗余配置项,适用于对部署效率和启动速度有更高要求的场景。 项目代码已托管于 GitHub,当前处于早期开发阶段,未提供版本号或详细性能对比数据。
AI工具公司Higgsfield AI在X平台宣布推出一款将ChatGPT集成至Adobe After Effects的插件。该插件旨在提升视频后期制作中的自动化脚本生成与参数调优效率。 目前插件处于公开发布阶段,具体功能细节、兼容版本及获取方式尚未披露。相关消息已在英文技术社区引发初步讨论。
PANews 9月12日消息,GitHub 上近日上线开源项目 Pentagi(仓库地址:vxcontrol/pentagi),这是一个完全自主的 AI 代理系统,专为执行复杂渗透测试任务而设计。 该项目由 vxcontrol 团队开发,支持多智能体协同完成端到端安全评估流程,包括目标识别、漏洞探测、利用链构建与报告生成等环节。 目前项目处于早期开源阶段,代码已公开,未披露具体技术架构细节或商用许可信息。该项目仅供安全研究与授权测试使用,请...
X平台用户wormy发布消息称,果蝇(Drosophila)神经科学模型被接入AI系统,用于操控Valve新作《Deadlock》。该消息目前处于社区讨论阶段,尚未有官方技术文档或项目开源信息公布。相关实现细节、模型架构及实际运行效果暂未披露。
开发者 Tibo 在 X 平台发文称,Astra 模型已完成性能修复与更新。该消息引发 X 英文区技术用户关注与讨论。目前尚未披露具体修复细节、版本号或更新范围。
一名开发者上线项目「Hacker News, Without AI」,旨在为用户提供过滤掉 AI 相关内容的 Hacker News 浏览体验。 该项目通过屏蔽含 AI、LLM、ChatGPT 等关键词的帖子及评论,呈现更聚焦于编程、开源、系统设计等传统技术话题的社区信息流。 目前该工具以轻量网页形式运行,无需安装,源代码未公开,亦未说明是否支持自定义过滤规则。
开发者Grummz在X平台宣布Kun Zhi AI原生游戏引擎正式发布。该引擎定位为面向AI原生开发的游戏创作工具,具体技术细节与发布时间表尚未公开。目前尚无官方文档、演示或开源信息披露。
OpenAI 发布技术博文(系列上篇),介绍其自研在线存储平台 Habitat 的规模化演进。该平台当前每秒处理请求量超 7000 万,服务覆盖近 40 个地区,每周支持超 10 亿 ChatGPT 用户,管理数据总量逾 500PB。
X平台有用户发帖称,中国AI实验室DeepSeek和Moonshot疑似使用虚假账户,将用户输入请求悄悄转发至Anthropic的Claude模型。该说法目前尚未获相关公司官方回应。 另有观点指出,Anthropic可能通过日志监控发现此类行为,并据此质疑部分中国大模型存在模型蒸馏嫌疑。需注意,该说法源自社交平台用户推测,无第三方权威验证。 事件涉及模型交互合规性与数据流向透明度问题,引发中文AI社区对大模型研发伦理及技术边界的讨论。
3 E Network正式发布Mikkeli AI数据中心蓝图。该设计明确以适配NVIDIA即将推出的Vera Rubin架构为目标。 据Yahoo Finance与The Manila Times报道,该项目聚焦高性能AI算力基础设施的前瞻性布局,强调对新一代GPU架构的软硬件协同优化。 目前尚无关于建设时间表、选址细节或合作伙伴的进一步披露。
Meta宣布将调整其AI聊天助手在Facebook、Instagram、WhatsApp和Messenger中提供的自动提示功能。此前一段视频显示,用户Kalie Robins在平台发布与幼女在车内唱歌的视频后,Meta AI自动生成提示“车上的儿童乘客是谁?”,并进一步追问孩子年龄及家庭住址等信息。 据Meta发言人Dina El Kassaby向The Verge表示,该功能“偏离了初衷”,相关提示“本不应出现”。公司承认AI可能调用了...
OpenAI推出专为金融服务场景优化的ChatGPT版本,摩根士丹利与Evercore参与联合开发。该版本聚焦金融数据分析、报告生成及合规支持等功能。社交平台用户对此反应分化,部分观点认为其可能重塑现有金融工具生态,亦有声音对技术应用边界表示关切。
据System76官方页面信息,该公司推出Thelio Mira AI Linux工作站,面向AI开发与高性能计算场景,配备总计192 GB GPU内存。 该工作站支持多GPU配置,预装Pop! OS操作系统,强调对AI工具链的兼容性。目前官方尚未披露具体GPU型号、CPU配置及发售价格等细节。
开源项目DeskcommCRM已上线GitHub,定位为AI驱动的销售操作系统。该项目提供自托管CRM功能,原生集成AI代理及WhatsApp(通过WAHA协议),旨在作为Kommo、Octadesk和Intercom等商业SaaS工具的开源替代方案。 DeskcommCRM支持MCP协议与多租户架构,并符合巴西LGPD数据隐私标准,用户可在自有服务器部署,无需订阅费用,全部数据保留在本地。 项目代码已公开,当前处于开源状态,未披露具体开发...
PANews 9月11日消息,X平台一则引发讨论的帖子称,有OpenAI研究员就人工智能潜在风险发出警示,提及人类灭绝可能性。该观点目前仅以社交平台简短表述形式出现,尚未见官方声明或详细技术论述。 事件原始信息源自Polymarket在X发布的推文。需注意,该内容属于个人言论传播,不代表OpenAI机构立场。 目前无公开资料表明该警示基于新发布的研究报告或内部评估文件。
OpenAI 正式推出 Agents API,为开发者提供托管式智能体运行环境。该 API 由 OpenAI 负责管理会话生命周期、任务编排、上下文压缩与恢复,应用方仅需提供工具集并指定执行环境。 Agents API 支持在安全沙箱中执行代码、编辑文件、连接 MCP 服务器及生成工件。调用按所选模型的 API 费率计费,无需自行维护底层基础设施。 官方文档显示,该 API 基于 Codex harness 构建,当前处于公开技术预览阶段。
PANews 9月11日消息,数据库服务商 PlanetScale 正式推出新服务 Neki。该服务基于真实 PostgreSQL 构建,支持水平分片,旨在简化大规模应用的数据库扩展流程。 Neki 保留完整 Postgres 兼容性,同时提供自动分片、跨分片查询及一致性保障能力。官方称其设计目标是降低分片数据库的运维复杂度。 目前 Neki 处于早期发布阶段,具体功能细节与上线时间表尚未完全公开。
AI 公司 Nebius 在 X 平台宣布启动 AI 开发者计划。该计划旨在支持开发者基于 Nebius 技术栈构建和优化 AI 应用。目前官方尚未披露具体实施细节、时间表或参与方式。
据 Hacker News 用户 ibobev 发帖透露,OpenAI 近期发布的纳维 斯托克斯方程相关证明,同时附带了基于 Lean 4 定理证明器的形式化验证版本。 该消息源自 John D. Cook 博客于 2026 年 9 月 9 日转载的讨论,原文未披露具体发布日期、技术细节或官方声明来源。 目前尚无 OpenAI 官方渠道证实此项发布,亦未公开相关代码库或论文链接。
Slack 宣布推出新功能 Slackforce Surfaces,允许用户在聊天界面中直接通过自然语言描述需求,由 Slackbot 调用 AI 自动整合来自相关对话及已授权连接应用(如 Google Drive、Salesforce)的数据,生成交互式报告、仪表盘、投票、演示文稿等可嵌入式内容。 生成的 Surface 可共享至频道、置顶展示,团队成员可实时查看、互动并评论。该功能面向所有启用 Slackbot 的用户开放,包括免费版...
Cursor 官方博客 9 月 10 日消息,AI 编程工具 Cursor 正式推出 Projects 功能,进入 Beta 测试阶段并面向所有用户开放。Projects 允许开发者围绕功能开发、代码迁移或系统维护等中长期任务创建统一工作空间,通过协调数千个子智能体协同执行任务。 该功能具备三大核心能力:默认云端运行、本地按需调用;项目级共享上下文,支持跨设备同步知识与偏好;以及基于信号的自动响应机制,如监听 PR、Slack 通道或定时任...
OpenAI 正式发布 Agents API 公开测试版。该 API 将驱动 Codex 的 harness 与基础设施整合为单次调用接口,面向开发者开放。 Agents API 托管于云端,旨在简化智能体(agent)的构建与部署流程。目前处于公开测试阶段,开发者可通过官方渠道申请接入。 官方页面显示,此次发布聚焦于提升开发效率与系统集成能力,未披露具体商用时间表。
据市场情报机构 Sensor Tower 数据,Meta 新推出的 AI 代理应用 Muse 目前在美国 iOS 平台下载量已超 8.3 万次,跃升至美国 App Store 总榜第二位。该应用当前仅限美国地区上线,尚未开放 Android 版本的广泛下载,其在 Google Play 生产力分类中仅排第 338 位。 Muse 的初期下载表现弱于 Meta 此前发布的 Threads(首日下载超 430 万次)和 Meta AI(首发日下...