寻饭小窝平淡是真

特斯拉Cybercab挑战监管极限：马斯克要借灰色地带强行上路？特斯拉公司加速部署 Cybercab 自动驾驶出租车，将考验监管限制。这款运动型双座汽车没有方向盘、踏板或后视镜。然而，就在特斯拉在得州奥斯汀市中心举行的发布活动结束仅数小时后，美国国家公路交通安全管理局表示，已对约1000辆Cybercab展开审查，以评估特斯拉是如何认定这些车辆符合联邦车辆安全法规的。美国监管机构限制不符合联邦安全标准的车辆进行商业部署。这些安全标准制定之初针对的是由人类驾驶的车辆，并要求车辆配备人工操控装置。但行业专家表示，监管方面存在灰色地带，加上马斯克一贯善于打官司，可能让特斯拉有机会推动Cybercab...

美国白宫网站上线抓捕移民电子游戏当地时间9月3日，美国白宫在其官方网页上推出一个新的游戏网页，以带有MAGA元素的经典复古街机风格游戏为特色，但因其中的涉移民内容很快引发争议。现今，进入美国白宫官方网站后，即可点进相关游戏页面，目前共上线了五款游戏。这些在线游戏包含抓捕南部边境人员并修建边境墙的互动内容。在名为 “里约奔跑”的游戏中，玩家需沿格兰德河 “巡逻警戒线” ，“抓捕所有越境者” ，以争取更高的 “驱逐出境” 得分。另一款移民主题游戏名为“Build The Wall”（修建边境墙），挑战玩家堆砌砖块，并在“边境僵尸围攻”中“守住防线”。—— 财新、观察者网、Theverge...

Claude首次实现费马大定理自动形式化证明哥伦比亚大学商学院助理教授彭天翼利用Claude在11天内以高度自主的方式完成了费马大定理的第一个完整、经计算机检验的证明。该证明使用了Lean编程语言编写，包含1300万行代码，并证明了29500个中间定理。此次形式化工作采用了Prove2Me平台，该平台通过维护定理陈述的无环图（DAG）及多智能体协作机制，有效克服了单一智能体在复杂长链逻辑推导中易出现的资源损耗与协作失效问题。这一成果证明了利用AI自动形式化现代数学文献的可行性，能够辅助数学家校验成果、规避错误，从而减轻评估新研究的压力。—— Anthropic...

新世界地图要来了 联合国弃用墨卡托投影当地时间9月4日，联合国大会以压倒性多数投票通过一项决议，鼓励世界各国和地区政府、学校、科技公司停止使用现行的墨卡托投影地图，原因是这种使用了 400多年的投影绘图法让非洲面积在地图上严重失真、变小。该决议指出，2018年研发的“平等地球投影法”（Equal Earth projection)所绘制的地图能更准确地展现各大洲的相对面积。这项由多哥牵头、非盟支持的决议提出，墨卡托投影法存在天然缺陷：越靠近两极的区域，在地图上面积被放大得越明显；越接近赤道，面积越被压缩。联合国通过的新决议指出，2018年研发的平等地球投影法所绘制的地图能更准确地展现各大洲的相...

上海警方捣毁虚拟货币换汇洗钱团伙，涉案超 200 亿元上海警方通报，破获两起以虚拟货币、虚拟信用卡为媒介的非法经营、洗钱案件，共抓获犯罪嫌疑人 28 名，涉案金额超 200 亿元。其中，刘某团伙未经批准非法从事人民币与外币兑换，涉案近 200 亿元；李某团伙搭建平台发行虚拟信用卡结算，涉案超 2 亿元。多名嫌疑人已被批准逮捕。东方财富 在花频道 · 茶馆水群 · 投稿通道...

任天堂连续两场直面会 塞尔达专场+综合任天堂周五正式公布了接下来两场直面会的具体安排。其中，《塞尔达传说》40周年纪念直面会将于 9月8日（周二）北京时间22:00 播出，时长约 30分钟；而常规任天堂直面会则定于 9月9日（周三）北京时间22:00 播出，时长约 45分钟。9月8日的专场直面会将聚焦《塞尔达传说》系列40周年纪念内容。外界普遍预期，本次直播将带来Switch 2平台《塞尔达传说：时之笛》重制版的最新实机演示与发售日信息。紧随其后的常规直面会时长45分钟，将涵盖Switch 2平台的游戏阵容。—— 游民星空...

Microsoft 将于 10 月 3 日停用 Word 文本查重器微软宣布将于 2026 年 10 月 3 日停用 Word 中的相似度检查器，届时用户无法再通过 Word 的编辑器体验访问该功能。其他写作、编辑和引文功能不受影响，编辑器仍提供拼写、语法、清晰度和风格建议，Word 中的 Microsoft 365 Copilot 功能也不受影响。Microsoft 365 Message Center Archive 在花频道 · 茶馆水群 · 投稿通道...

小米米家宣布规模化入欧，汽车 2027 年进德国9 月 4 日，小米在柏林 IFA 首秀，米家品牌正式宣布规模化进入欧洲，冰箱、空调、洗衣机等大家电先行，已覆盖超 130 个品类。小米汽车将于 2027 年进入包括德国在内的欧洲市场，并与首批 8 家德国头部经销商签约，同时在慕尼黑设研发中心做本地化适配。卢伟冰称，先从最难的市场开始，若成功，进入其他市场会更容易。每日经济新闻 在花频道 · 茶馆水群 · 投稿通道...