2026年5月20日，OpenAI自研的新一代推理模型完成数学界公认的重磅突破，成功反驳匈牙利传奇数学家保罗·Erdős于1946年提出的单位距离猜想，解决了离散几何领域悬而未决近80年的核心开放问题。该成果经顶尖数学家联合验证获得学界广泛认可，标志着AI在原创科研领域跨过重要拐点。
2026年第一季度，全球至少有三支顶级数学家团队还在为单位距离猜想的最优上限验算，团队成员普遍认为距离最终证伪或证实猜想至少还需要十年以上的探索周期，没人预料到首个完整的否定性构造方案会来自人工智能系统。
保罗·Erdős是20世纪最高产的数学家之一，一生累计发表过超过1500篇学术论文，提出的上千个开放猜想覆盖数论、组合数学、离散几何等多个领域。
1946年他提出的单位距离猜想，指向平面任意n个点集里，互相距离为单位1的点对的最大数量上限，过去近80年里人类数学家只能不断小幅抬升已有的构造上限，始终没能找到足够突破边界的点集，也无法从理论层面证明猜想本身不成立。此前AI在数学领域的应用大多停留在辅助验算、检索已有定理的层面，从未完成过推翻知名公开猜想的原创级成果。
登录后解锁全文，体验收藏、点赞、评论等完整功能
立即登录
23 分钟前
2026年5月21日谷歌正式宣布推出AI原生编程开发工具AI Studio的Android版本，目前该产品已在Google Play应用商店开启全区域预注册通道。这款面向零基础新手和资深开发者的智能开发工具，依托大模型驱动的智能提示能力大幅简化应用搭建流程，打破传统PC端开发的场景限制，有望进一步扩大移动端开发人群基数。
25 分钟前
2026年5月21日，由资深科技记者Eileen Guo牵头披露的公开信息显示，美国独立科技研究联盟正式就在线安全领域的不合理科研管制政策起诉特朗普政府，指控其滥用移民签证工具限制海外背景AI科研人员的研究自由，该案涉及近300名从事大模型风险研究的从业者权益，目前已进入联邦法院初审环节。
43 分钟前
2026年5月谷歌在年度I/O开发者大会上宣布对运营25年的核心搜索业务进行历史性重构，将高性能大模型Gemini 3.5 Flash全量植入搜索底层，推出全新的对话式原生广告体系，打破传统搜索结果与付费推广的物理边界，把商业信息从被动展示升级为可交互主动服务，有望重塑全球搜索广告市场的运行规则。
45 分钟前
2026年5月21日，亚马逊旗下云AI开发平台SageMaker AI正式推出支持OpenAI兼容API的实时推理端点功能，开发者仅需修改原有应用的端点URL，无需重写代码、额外完成特殊签名封装，就可通过OpenAI官方SDK、LangChain、Strands Agents等主流开发工具直接调用托管模型，大幅降低企业跨平台迁移大模型应用的成本。
47 分钟前
近日国内头部大模型厂商DeepSeek（深度求索）正式官宣切入代码智能体赛道，由资深研究员陈德里牵头组建“Harness”团队，打造对标Anthropic旗下Claude Code的桌面端编程产品，加码布局大模型商业化落地核心场景。公开数据显示2025年全球AI编程工具市场规模达295.7亿美元，国内对应赛道规模已突破2000亿元，头部玩家入局正在加速重构行业竞争格局。
49 分钟前
2026年5月，OpenAI正式发布全新AI图像鉴伪双重防护机制，作为C2PA联盟最新成员，该方案除了在图像元数据中嵌入完整生成溯源记录外，还首次与Google深度合作引入SynthID隐形水印技术，后者可抵抗截图、压缩、裁剪等绝大多数篡改操作，目标是建立全行业通用的AI图像真实性验证新标准，破解当前AI假图泛滥难以溯源的行业痛点。
51 分钟前
2026年5月20日阿里云峰会上，阿里云正式宣布旗下大模型服务平台百炼完成核心版本升级，从仅承载自研千问系列模型的展示平台，转型为全栈开放的AI模型超级市场，首批接入智谱GLM-5.1、爱诗科技Pixverse-v6等十余款国内第一梯队AI生成模型，覆盖文本、多模态全品类需求，大幅降低企业用户模型选型集成成本。
55 分钟前
2026年5月21日，腾讯公关总监张军官宣旗下操作系统级AI助手“马维斯”正式上线，产品适配Windows、Mac、Android三大主流终端，内置6个分工明确的协同Agent组成AI调度矩阵，打通终端底层系统、本地文件、第三方应用与云端算力资源，可一站式完成文件处理、系统运维等多类复杂任务，大幅降低用户的多设备智能操作门槛。
滇公网安备 53252802528133号