OpenAI称已解决了一道存在80年的数学难题
OpenAI近日表示，其最新通用推理模型自主给出了一条原创数学证明，推翻了一项自1946年由著名数学家保罗·埃尔德什（PaulErdős）提出、悬而未决的几何猜想。OpenAI称，这是人工智能首次自主解决一项在某一数学领域中居于核心地位的著名公开难题，而参与背书的多位数学家也认为，这一次并非虚惊一场。
互联网
华为抛出中国首个芯片新定律：广发豪杰帖，重启芯片新周期
2026年，一个由中国企业命名的定律，正在全球半导体界引发一场“巨震”。当西方产业界还在为“摩尔定律是否走到尽头”而争论不休时，华为技术有限公司董事、半导体业务部总裁何庭波，在国际电路系统研讨会（ISCAS2026）上发布了一个全新的技术演进方向——“韬（τ）定律”。
《极限竞速：地平线6》翻车？Steam大年夜量吐槽画面差
《极限竞速：地平线6》于昨日解锁了抢先体验，虽然Steam同时在线峰值一路狂飙，甚至还未完全发售在线就已经大大超越了前作《极限竞速：地平线5》，但游戏在口碑方面却没有表现出同步。
打赢了复生赛的天际 还能火几天？
2023年，天涯因欠费被暂停访问，自此管理团队展开了长达三年的自救，又是直播，又是众筹，隔三差五来点动静，但又迟迟复不活。正当大家都等的有点腻味的时候，天涯宣布6月1号正式恢复访问。从昨晚开始，微博上就开始预告了，热度挺高。
受特朗普相干举措冲击 冰岛推敲参加欧盟
冰岛地处欧洲，但并非欧盟成员国。长期以来，这一状态对冰岛而言并无不妥。该国一直极力捍卫自身独立，牢牢掌控本国渔业。然而如今情况已然改变。近几个月来，随着特朗普总统屡次扬言要“拿下”冰岛近邻格陵兰岛，这个北欧岛国深感局势岌岌可危。全国约40万民众也开始认真探讨一个曾经难以想象的问题：冰岛是否到了该申请加入欧盟的时候？
微软在年度开辟者大年夜会上预告了人工智能驱动设备的新时代
周二，微软宣布了一系列全面的人工智能计划，涵盖自主办公助理、智能设备、搭载英伟达芯片的PC以及全新的内部推理模型，旨在突破应用程序的局限，围绕人工智能重塑计算模式。
微软推出首个办事器版 Linux 发行版 Azure Linux 4.0
在美国明尼阿波利斯举行的北美开源峰会上，微软意外公布了其首个面向服务器场景的通用Linux发行版——AzureLinux4.0。这意味着，长期深度依赖Linux的微软，正以官方发行版的形式，进一步承认自己在云和服务器领域“事实上是一家以Linux为基础”的公司。
郭明錤：马斯克超等芯片工厂面对三大年夜压力 联发科或成关键伙伴
根据郭明錤的最新产业调查，在数家定制化ASIC厂商中，联发科较有可能成为Terafab的战略合作对象。ASIC指的是专用集成电路，是一种为特定任务或特定应用而专门定制设计的芯片。郭明錤称，联发科将全面支持英特尔14A先进制程与先进封装的导入与生产，预计自2028年开始，小规模生产马斯克的IC设计团队所需芯片。这一战略合作有望强化Terafab的执行效率，并提升联发科在AIASIC领域的产业定位与附
DeepL推出语音同传产品 知足及时会议与客服场景需求
以文本翻译工具闻名的AI公司DeepL今日发布一套语音到语音翻译产品组合，进军实时语音翻译市场，覆盖线上会议、移动与网页对话，以及一线员工通过定制应用参与的群组沟通等多种场景。同时，DeepL还推出面向开发者和企业的API，支持在其技术之上为呼叫中心等业务定制专用语音翻译方案。
Meta用AI骨骼构造分析辨认未成年用户照片 将清理13岁以下账号
Facebook和Instagram正在上线一套全新的未成年人识别机制，利用人工智能分析用户在平台上发布的照片和视频中的身高、骨骼结构等视觉特征，以识别13岁以下儿童账号并予以移除。
