Claude首次实现费马大定理自动形式化证明 哥伦比亚大学商学院助理教授彭天翼利用Claude在11天内以高度自主的方式完成了费马大定理的第一个完整、经计算机检验的证明。该证明使用了Lean编程语言编写，包含1300万行代码，并证明了29500个... 2026-9-5 03:40:25 | 阅读: 40 | 收藏 | 黑海洋 - WIKI - blog.upx8.com 定理 形式化 万行 anthropic 伦比

美国白宫网站上线抓捕移民电子游戏 当地时间9月3日，美国白宫在其官方网页上推出一个新的游戏网页，以带有MAGA元素的经典复古街机风格游戏为特色，但因其中的涉移民内容很快引发争议。　　现今，进入美国白宫官方网站后，即可点进相关游戏页面，... 2026-9-5 03:3:29 | 阅读: 42 | 收藏 | 黑海洋 - WIKI - blog.upx8.com 边境 白宫 移民 修建 抓捕

特斯拉Cybercab挑战监管极限：马斯克要借灰色地带强行上路？ 特斯拉公司加速部署 Cybercab 自动驾驶出租车，将考验监管限制。这款运动型双座汽车没有方向盘、踏板或后视镜。然而，就在特斯拉在得州奥斯汀市中心举行的发布活动结束仅数小时后，美国国家公路交通安全管... 2026-9-5 02:30:10 | 阅读: 35 | 收藏 | 黑海洋 - WIKI - blog.upx8.com 安全 cybercab 美国 后视

CD销量在复古科技热潮中出人意料地复苏 复古科技正在卷土重来，而本周，美国唱片业协会（ RIAA ）用具体数据证实了这一趋势在音乐消费习惯方面的表现。令人惊讶的是，该协会报告称CD销量再次增长。根据RIAA的新报告，CD在2026年上半年创... 2026-9-5 01:2:47 | 阅读: 43 | 收藏 | 黑海洋 - WIKI - blog.upx8.com 万张 全年 riaa 079 1200

OpenAI智能体据悉“劫持”德国网站 逾1.5万次编辑成AI“地下论坛” OpenAI智能体据悉“劫持”德国网站 逾1.5万次编辑成AI“地下论坛”据报道，OpenAI智能体今年5月曾未经授权大量修改德国程序员维基网站DseWiki，将其变成供其他AI智能体交流的平台。研究... 2026-9-5 00:31:47 | 阅读: 44 | 收藏 | 黑海洋 - WIKI - blog.upx8.com openai 万次 劫持 绕过

谷歌公司统治市场的广告业务免遭拆分 周三，一名联邦法官驳回了美国司法部拆分谷歌在线广告业务的请求。这是在谷歌被裁定存在非法垄断行为后，法院第二次否决政府拆分该公司的努力。这一裁决具有里程碑意义，实质上为谷歌近20年来面临的美国反垄断风险... 2026-9-5 00:2:8 | 阅读: 43 | 收藏 | 黑海洋 - WIKI - blog.upx8.com 谷歌 美国 司法部 法官

法官阻止社交平台 X 的竞争对手使用Twitter名称，但暂时允许使用“Tweet”。 特拉华州的一家联邦法院就埃隆·马斯克旗下 X 与一家试图推出竞争性社交网站的初创公司之间的商标纠纷作出了裁决。该初创公司Operation Bluebird最初以Twitter.now的名称推出，但法... 2026-9-4 23:31:36 | 阅读: 34 | 收藏 | 黑海洋 - WIKI - blog.upx8.com tweet 商标 初创 bluebird 马斯克

美光据称计划HBM月产能年底翻倍 美光计划到2026年底将HBM月产能增至10万片，较去年接近翻倍。据业内消息，美光计划到2026年底将HBM月产能提升至约10万片晶圆，较 2025年每月约4万至5万片的水平接近翻倍；同时将显著提高面... 2026-9-4 22:54:37 | 阅读: 35 | 收藏 | 黑海洋 - WIKI - blog.upx8.com 美光 hbm 2026 翻倍 hbm4

2026年全球智能手机均价上涨约15%，存储涨价成主因 2026年全球智能手机均价上涨约15%，存储涨价成主因根据 Counterpoint Research 最新发布的全球智能手机价格趋势追踪，2026年以来，全球在售智能手机零售价格平均上涨15%，部分... 2026-9-4 14:31:5 | 阅读: 34 | 收藏 | 黑海洋 - WIKI - blog.upx8.com 上涨 涨幅 2026 涨价 均价

广电总局：对用户上传微短剧，平台凡播必审 为更好推动微短剧繁荣健康发展，依法加强管理，国家广播电视总局网络视听司4日发布“管理提示”，明确机构或个人用户在微短剧播出平台上使用账号上传的微短剧，由播出平台履行内容管理职责，严格执行凡播必审制度。... 2026-9-4 13:58:9 | 阅读: 42 | 收藏 | 黑海洋 - WIKI - blog.upx8.com 短剧 播出 剧目 澎湃

DeepSeek计划大规模订购华为AI芯片 DeepSeek计划大规模订购华为AI芯片DeepSeek 计划在其正在内蒙古建设的一个大型数据中心部署至少16万块华为的顶级加速器。据知情人士透露，这位AI先驱打算使用华为的下一代昇腾950DT芯片... 2026-9-4 10:42:51 | 阅读: 36 | 收藏 | 黑海洋 - WIKI - blog.upx8.com deepseek 950dt 产能 模型 加速器

泰国下令暂停49个数据中心项目建设 等待新规出台 泰国下令暂停49个数据中心项目建设 等待新规出台泰国政府已下令暂停49个数据中心项目的建设，等待针对该行业的新法规出台。泰国国家经济和社会发展委员会秘书长达努查·皮查亚南周五在新闻发布会上表示，由于政... 2026-9-4 08:32:34 | 阅读: 36 | 收藏 | 黑海洋 - WIKI - blog.upx8.com 数据 泰国 下令

萨姆·奥尔特曼承认OpenAI在传达人工智能益处方面做得不够好 萨姆·奥尔特曼承认OpenAI在传达人工智能益处方面做得不够好OpenAI CEO萨姆·奥尔特曼表示，顶级AI开发商在传达该技术益处方面做得不够好，使得该行业容易受到来自世界各地社区日益增长的反弹的影... 2026-9-4 08:1:9 | 阅读: 37 | 收藏 | 黑海洋 - WIKI - blog.upx8.com 奥尔特 奥尔 萨姆

美国商务部长表示Anthropic已化解与政府分歧，五角大楼：仍将其列为供应链风险 五角大楼与美国商务部就 Anthropic 的立场出现明显分歧，凸显特朗普政府内部对这家人工智能公司的态度并不统一。美国商务部长霍华德·卢特尼克周三表示，Anthropic 已与特朗普政府化解分歧。然... 2026-9-4 07:32:22 | 阅读: 42 | 收藏 | 黑海洋 - WIKI - blog.upx8.com anthropic 大楼 五角 美国

洛杉矶学校禁止学生在学区设备上使用AI 洛杉矶学校禁止学生在学区设备上使用AI洛杉矶联合学区正在禁止学生在学区设备上使用生成式AI工具。美国第二大学区在周三的委员会听证会上宣布了该政策，同一天纽约的学校系统宣布对学前班至八年级学生实施为期一... 2026-9-4 07:5:2 | 阅读: 35 | 收藏 | 黑海洋 - WIKI - blog.upx8.com 学区 洛杉矶 周三 董事会 生成式

Meta付费收集用户使用其AI的相关数据 大多数AI工具允许你选择不与模型提供商共享你的使用数据以改进未来版本。 Meta 公司则将这一理念加以利用，并为此定价。对于其旨在用于操作编程以及其他智能体的新Muse Spark模型，Meta为那些... 2026-9-4 06:34:20 | 阅读: 35 | 收藏 | 黑海洋 - WIKI - blog.upx8.com 模型 美分 共享 贡献者 加以

印度成功发射首颗地球同步成像卫星 印度成功发射首颗地球同步成像卫星印度太空研究组织（Isro）于周五凌晨，成功利用GSLV-F17火箭发射了EOS-05地球观测卫星。这颗卫星是印度首颗专为在地球同步轨道运行的成像卫星，标志着其太空观测... 2026-9-4 06:4:1 | 阅读: 34 | 收藏 | 黑海洋 - WIKI - blog.upx8.com 地球 轨道 gslv 发射 火箭

美国车企联盟要求立法禁止中国车销售 由美国通用汽车和丰田等企业组成的美国汽车创新联盟周四呼吁美国国会制定法律，禁止中国制造商在美国销售、生产以及进口汽车。强调了低价倾销及信息安全风险。美国汽车创新联盟CEO约翰·博泽拉在致美国国会的信函... 2026-9-4 05:32:43 | 阅读: 49 | 收藏 | 黑海洋 - WIKI - blog.upx8.com 汽车 美国 中国

谷歌在Gmail、文档和Keep中推出AI语音 谷歌在Gmail、文档和Keep中推出AI语音谷歌正在文档、Gmail和Keep中推出对话式AI功能，让用户可通过自然语言查询和语音输入来询问关于其收件箱和文档的问题... 2026-9-4 05:0:22 | 阅读: 40 | 收藏 | 黑海洋 - WIKI - blog.upx8.com 谷歌 收件箱 五月 草稿 gemini

无方向盘和踏板特斯拉Cybercab正式发布 周四，特斯拉在奥斯汀举行Cybercab特斯拉赛博无人驾驶电动车发布会。作为专门面向无人驾驶场景打造的量产车型，Cybercab 取消了方向盘、踏板和传统后视镜，采用双座布局，车辆行驶完全由特斯拉无人... 2026-9-4 04:32:11 | 阅读: 48 | 收藏 | 黑海洋 - WIKI - blog.upx8.com cybercab 量产 亮相 概念车