学生团队借助Fable 5模型推翻87年科学悬案

新晋菲尔兹奖得主Jacob在7月23日ICM开幕式上宣布加入OpenAI,从事AI安全研究。他因证明André-Oort猜想获奖,成为首位在加拿大高校任教期间获得菲尔兹奖的数学家。三天前,他的学生用Claude Fable 5推翻了87年未解的雅可比猜想,学生目前就职于Anthropic。
AI人工智能方兴未艾,IT行业商用市场的近况,也许能为我们一展未来消费市场的前沿技术和产品。生成式AI大模型,数据中心、云计算、云存储,看看商用市场和开发者领域每天发生了什么。

新晋菲尔兹奖得主Jacob在7月23日ICM开幕式上宣布加入OpenAI,从事AI安全研究。他因证明André-Oort猜想获奖,成为首位在加拿大高校任教期间获得菲尔兹奖的数学家。三天前,他的学生用Claude Fable 5推翻了87年未解的雅可比猜想,学生目前就职于Anthropic。

2026年菲尔兹奖得主、加拿大数学家Jacob Tsimerman在获奖当天宣布加入OpenAI安全部门,转向AI安全研究。他年仅38岁,因将o-minimality工具引入算术几何而获奖,其跨界选择引发关注。

GitHub调整漏洞赏金计划,新增VIP邀请制项目,通过分级奖励机制过滤低质量AI漏洞提交,鼓励高水平安全研究。入选VIP可获得更高赏金和优先响应权利。

OpenAI基于GPT-Live全双工模型升级了ChatGPT桌面版的语音体验,允许用户通过语音指令控制Chat、Work和Codex,完成代码审查、后台任务协调等生产力操作,标志着语音助手从简单对话向实质工作处理的跨越。

据路透社报道,亚马逊创始人杰夫·贝索斯正推动Prime Video进行以AI为核心的改革,新项目Lighthouse将通过深度学习优化推荐系统,并支持语音交互,以提升亚马逊在AI领域的影响力。

微软宣布Copilot免费Deep Research功能将于2026年8月18日退役,需订阅Microsoft 365 Premium才能使用替代工具。本文介绍该变化背景及Perplexity、Claude等免费替代方案。

美国众议员提出“AI Kill Switch Act”,授权政府关闭可能造成灾难性危害的AI系统,开发商若拒绝将面临每日2000万美元罚款。

Anthropic升级Claude语音模式,新增Opus和Sonnet模型驱动,支持语音调用工具和多语言对话,并可在会话中切换模型与语音/文本模式。

美国国会两党议员提出新法案,要求训练成本超过1亿美元的AI模型必须配备紧急关停机制,国土安全部可下令限制或关停,违规每日罚款2000万美元(约1.44亿元)。法案覆盖年收入5亿美元以上的企业,开发者须保持关停能力并在15天内报告灾难性事件。

黑森林实验室(Black Forest Labs)发布FLUX 3多模态模型,支持图像、20秒视频与原生音频生成,架构可扩展至机器人视觉。视频与动作产品线开启早期访问,图像功能数周后上线。定价与基准数据尚未公布。

AMD发布Ryzen AI Software 1.8,扩展模型支持范围,新增多种LLM、文本到语音、嵌入和翻译模型,更新Stable Diffusion性能优化,支持低内存设备运行更大模型,改进Whisper.cpp集成。这是面向Ryzen AI PC的部署工具最新更新。

AMD在Advancing AI 2026大会上发布Instinct MI400系列GPU与Helios机架,CDNA 5首用2nm工艺,旗舰MI455X集成3200亿晶体管、432GB HBM4。同时公布ROCm.ai软件栈及Gorgon Halo客户端预告。

AMD在Advancing AI 2026上发布Ryzen AI Embedded X100系列嵌入式处理器、Kria AI系统模块与机器人开发平台,以及AMD机器人合作伙伴网络,正式进军物理AI领域。X100基于Strix Halo架构,集成Zen 5 CPU、RDNA 3.5 GPU、XDNA 2 NPU及FPGA,面向机器人与工业自动化。

OpenAI在美国推出ChatGPT Health,允许用户连接医疗记录与健康追踪数据。公司副总裁声称AI推理能力优于临床医生,但健康主管随后对该说法进行缓和。该功能定位为信息辅助工具,而非医疗诊断设备,仍面临准确性、隐私和监管争议。

Google已扩大Gemini Spark智能助理的访问权限,面向月费144元的Google One AI Premium用户及月费720-1440元的Workspace Ultra用户开放。Spark由Gemini 3.5驱动,可自动完成邮件日历管理、自动回复、邮件总结等办公任务。免费用户及部分区域暂不可用。

中数睿智因果世界模型在35家央国企完成实测,覆盖油气、电力、制造、金融等行业的66个大模型场景。该模型基于珀尔因果认知三层级框架,实现从关联到反事实的推理,解决企业核心决策中AI落地转化率低的问题。

亚马逊为Alexa Plus推出AI更新,重点提升复杂指令理解能力,并新增对Bosch、Whirlpool等八家智能家居品牌的支持。用户可通过自然语言控制洗衣机、扫地机等多设备,系统自动路由请求并选择正确模式。该更新已进入开发者预览阶段。

三星Galaxy Z Fold 8系列和Z Flip 8首发谷歌Gemini Nano 4端侧AI模型,支持140种语言、增强多模态理解,驱动任务自动化和信息整理功能,部分AI特性将于后续更新上线。

它石智航在WAIC 2026发布具身原生基座模型AWE 3.5,打通预训练到后训练完整范式,支持多任务不切换参数运行;同时展示交互式世界模型,实现长程连续物理推演。现场演示涵盖工业装配、生活整理等多种场景。

亚马逊音乐向所有美国用户开放Alexa+ AI播放列表与对话式搜索功能,免费和付费用户均可使用,支持iOS/Android。用户可通过对话创建歌单、模糊搜索歌曲或询问艺术家信息。这是亚马逊利用AI差异化竞争的举措。

联发科发布AI Active Queue Management技术,通过固件更新即可在MediaTek T930 CPE设备上实现云游戏延迟降低10倍,无需更换硬件或修改服务器端。

三星在Galaxy Unpacked上展示了首款AI智能眼镜,集成Gemini与开放式音频镜腿扬声器,无显示屏,计划2026年秋季上市,定价和音频规格尚未公布。

英伟达(NVIDIA)全面上调Jetson模块与开发套件价格,最高涨幅达101%。Jetson Nano模块价格翻倍至199美元,Jetson AGX Orin 32GB模块涨至1799美元。价格已更新于官方FAQ,第三方渠道未完全同步。

7月17日,酷哇科技在WAIC 2026发布自研COOWAM双层智能体世界模型,并展示由该模型驱动的机械臂长程操作饮品制作及重载四足机器狗X0(负载68kg)。模型融合物理世界与人类社会世界知识,为具身智能在城市场景的协同应用奠定技术底座。