寻饭小窝平淡是真

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 家德国头部经销商签约，同时在慕尼黑设研发中心做本地化适配。卢伟冰称，先从最难的市场开始，若成功，进入其他市场会更容易。每日经济新闻 在花频道 · 茶馆水群 · 投稿通道...

长江存储IPO获上交所首轮问询 拟募资333亿元中国闪存龙头企业长江存储科技有限责任公司（YMTC）首次公开募股（IPO）迎来新进展，上海证券交易所已于9月3日对其发出首轮问询。该项目计划募资333亿元人民币，为目前A股待上市规模最大的IPO之一。来源：彭博社...

路透：消息人士称，花旗最快或于本月获得中国证券业务牌照...