跳到正文
AI NEWS JOURNAL
AI, IN PERSPECTIVE

搜索 AI 资讯

检索标题、摘要与正文,把分散的信息连起来。

按发布时间排序

AI在数学证明领域取得系列突破:从单位距离猜想反例到纳维-斯托克斯方程证明

2026年5月至9月,OpenAI与Anthropic等机构报告了多项AI驱动的数学突破,包括推翻厄多斯单位距离猜想、完成圈双覆盖定理证明、推进黎曼假设界估计及给出纳维-斯托克斯方程新证明;文章提出一种非数值化的概念框架解释其能力边界,强调AI在高成本、低梯度的穷举类问题中具备独特优势,但所有成果均未经独立验证或同行评议。

事件进展与其他报道

为AI代理优化互联网,可能让普通人更难使用网络

随着OpenAI Dots、Meta Muse等个人AI代理应用大规模上线,AI代理正成为继人类与传统爬虫之后的第三类网络访客。它们以机器速度执行真实用户委托的任务(如订房、比价),但因不符合现有‘人/机’二分规则,已被Pizza Hut、Yelp、Amazon等平台广泛拦截。若代理流量持续增长,网站或将转向优先适配AI代理——例如Shopify已为其开辟专用结账通道——可能导致人类用户面临更差界面、更频繁验证、动态定价及推荐失真等问题。当前关键在于尚未定型的规则制定:是允许代理增强消费者议价能力,还是放任企业将其拒之门外?

事件进展与其他报道