据称 GPT-6 Astra 联手研究人员解决重大未解数学问题
据报道,GPT-6 Astra 与三名人类研究人员解决了 FrontierMath 基准中一道自2017年起未解的数学问题。模型据称证明,与委员会选举中非空核的存在相关的反例并不存在,并提出了基于“调和熵”的新投票规则及多项式时间算法。研究人员负责确定方向和检查论证,AI则提供知识、计算实验与思路。不过,现有材料没有提供独立验证,叙述也带有明显的宣传色彩,因此这项成果的实际学术影响仍无法确认。
AI 新闻中心 过去一年分析了 8015 篇文章,发现了 0 条重要报道 (分数 ≥ 5.5)
获取从可信来源聚合的最新 AI 新闻。
据报道,GPT-6 Astra 与三名人类研究人员解决了 FrontierMath 基准中一道自2017年起未解的数学问题。模型据称证明,与委员会选举中非空核的存在相关的反例并不存在,并提出了基于“调和熵”的新投票规则及多项式时间算法。研究人员负责确定方向和检查论证,AI则提供知识、计算实验与思路。不过,现有材料没有提供独立验证,叙述也带有明显的宣传色彩,因此这项成果的实际学术影响仍无法确认。
小米手机部总裁卢伟冰表示,尽管近年来全行业都在讨论 AI 手机,但真正意义上的 AI 手机距离融入日常生活仍有一段距离,还需要 AI 与手机行业共同努力。小米称,18 Pro 系列将从系统软件、芯片硬件、影像功能和大模型应用等方面全面引入 AI,作为改造智能手机的重要一步。该系列预计于 9 月 23 日 19:00 发布。
Microsoft Visual Studio Professional 2026 可在 AI 的帮助下创建应用、网站和其他软件。该优惠被宣传为一种低成本提升开发流程的方式,但没有说明具体包含哪些 AI 功能。
越来越多 AI 硬件公司开始争夺手机背面这一携带位置,用于放置录音设备、电子纸屏幕和个人助理。Plaud 宣布累计出货超过 200 万台,年度经常性收入达到 1 亿美元。阅星瞳、极稚科技、Flowtica 和 NOOKLAB 等创业公司正在开发磁吸阅读屏、AI 录音卡和环境式 AI 设备,荣耀、海信、影石等大企业也相继进入市场。竞争正从单一录音或显示功能,转向收集声音、筛选信息并提示待办事项的综合
临床医生对医疗AI应用扩展至诊断和医学影像以外的领域表示担忧,认为相关应用缺乏充分的临床数据和性能证据。尽管技术不断进步,但这些进展尚未转化为现实医疗服务中的显著改善。《金融时报》报道指出,AI的技术潜力与其在临床实践中已被证实的实际效果之间仍存在差距。
B站上线“AI无限竞技场”大语言模型测评榜。据报道,GPT-6 Astra在B站UP主开展的10项测评中获得最多次第一名,排名超过GLM-5.3;前五名中有三款国产模型。该平台比较了DeepSeek、Kimi、ChatGPT、Claude、Gemini等100多个模型,测试涵盖代码、推理、协作和知识等真实场景。测评由UP主根据工作流和实际应用自行设计,榜单会持续更新。包括GPT-6 Astra的存
理想汽车宣布为 AI 眼镜 Livis 推送 9 月 OTA 更新,预计下周开始陆续发布。本次更新新增多种同声传译语言,并加入可根据周围环境自动调节音量的功能;用户在录制视频时长按录制键,还可以标记重要时刻。Livis 于去年 12 月发布,重量约 36 克,搭载恒玄科技 BES2800BP 芯片,续航最长可达 18.8 小时。在中国市场的起售价为 1999 元。
人工智能承诺减少任务、带来更多自由,但许多人却把节省下来的时间用于承担更多工作。作者为 Autistic Culture Podcast Network 的 25 多档节目搭建了自动化社交媒体内容生产流程,让 Claude Code 与 NotebookLM 连接,为 YouTube、Instagram 和 TikTok 提供内容支持。过去需要一整天完成的任务,如今可以在后台运行。这一案例表明,人
消费级具身智能品牌启元机器人宣布与腾讯云合作,将 Q1、T1 机器人接入 WorkBuddy。WorkBuddy 作为“大脑”,负责在云端理解指令、推理和调度任务;机器人则负责物理交互与执行。在办公场景中,机器人可提醒员工参会并带路前往会议室;在家庭场景中,用户可远程下达讲故事等指令。双方表示,系统通过连接权限管理、动作白名单、仿真预览和现场二次确认,建立四层安全防线。
中科宇航使用力箭一号运载火箭,将秦岭系列、谛听系列、鹏城南科一号、浦江四号、云霄探路者和超智算一号等9颗卫星送入预定轨道。超智算一号搭载光学遥感载荷、星载智能计算单元和激光通信设备,可在轨处理遥感数据,减少将原始数据传回地面后再处理的环节。超智算科技计划以此为基础建设规模达千颗的低轨算力卫星星座。此次任务主要是技术验证,尚未公布处理性能、通信延迟和商业可行性的独立数据。
阿里巴巴达摩院已开源医疗视觉语言模型 RADAR,用于分析 CT 扫描图像。达摩院称,该模型能够识别约150种腹部疾病,包括癌症。发表在《Science》上的一项新研究使用近4万份真实世界检查数据对其进行了测试,并称 RADAR 的表现超过了大多数放射科医生。不过,在临床应用前仍需经过独立验证和监管审批。
智元(AGIBOT)与长隆集团计划于9月24日在中国珠海横琴长隆飞船乐园开设具身智能主题乐园。据智元介绍,园区将部署超过300台机器人,设置100多个互动点,应用于演艺、科普、导览、零售、酒店和体育等场景。开园活动预计包括常态化人机共舞表演和机器人空中演出。双方还计划成立具身智能文旅联合研究院。关于该项目“全球最大”或“技术最先进”的说法属于企业宣传表述,目前尚未得到独立验证。
中国AI基础设施公司硅基流动近日完成B+轮二期和C轮融资,2026年累计股权融资额近29亿元。参与方包括国家级及地方政府系基金、产业资本和专业投资机构,部分老股东也追加投资。资金将用于推理引擎、异构算力调度、模型与芯片适配等技术研发,强化Token供应平台能力,并加快海外市场拓展。硅基流动成立于2023年8月,提供API服务、专属实例、企业级MaaS平台及大模型一体机,业务覆盖大语言模型、文生图和
中国成功将9颗卫星送入预定轨道,其中包括鹏城南科一号技术验证卫星。该卫星重150公斤,首次在国内将5G NTN基站、核心网、星载AI智算、100Gbps星地激光通信和微波通信集成到单星平台。卫星可在轨直接分析遥感影像,识别火情等目标并下发处理结果,无需先将全部原始影像传回地面,有望降低数传带宽占用和传输时延。该任务将验证通信、感知、计算与智能处理的融合,并为后续6G相关技术测试提供支持。
阿里宣布升级千问 App 的未成年人保护模式。开启后,App 仅保留拍照答疑、AI 写作、翻译和深度研究四项学习功能;对话记录与普通模式完全隔离,并限制访问第三方链接。针对低俗、暴力等不适宜内容,千问将结合未成年人的认知特点进行回应。对于模拟虚拟伴侣、虚拟亲属等亲密关系互动的请求,系统会进行温和拒答并提供正向引导。识别到极端情绪倾向时,千问将优先提供专业心理援助热线信息,并建议用户寻求专业人士或亲