寻饭小窝平淡是真

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

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

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

外媒测试 DLSS 5，RTX 5090 4K 功耗增幅达 34%ComputerBase 在《NBA 2K27》中测试发现，开启 DLSS 5 后显卡功耗普遍上升，性能越强增幅越明显。RTX 5090 在 4K 下功耗由 417 瓦升至 561 瓦，增加 144 瓦、增幅 34%；RTX 5080 增幅为 24%。IT之家 在花频道 · 茶馆水群 · 投稿通道...

Altman 自称“超级苹果粉丝”，对苹果起诉 OpenAI 感到失望OpenAI 首席执行官 Sam Altman 近日接受采访时表示，自己是“超级苹果粉丝”，对苹果起诉 OpenAI 感到非常难过。他称，刚听说此事时觉得“听起来很过分，一定是有人做错了什么”，并强调公司不想要任何企业的知识产权，也不希望有人把别家机密带到 OpenAI。这场诉讼标志着双方关系急剧恶化。苹果于今年 7 月起诉 OpenAI，指控其存在系统性窃取商业机密行为，点名两名前苹果员工。Business Insider 在花频道 · 茶馆水群 · 投稿通道...

6350元人民币！全球首款Wi-Fi 8路由器上市华硕正式对外官宣，旗下最新推出的Wi-Fi 8电竞路由器ROG Rapture GT-BN98系列，已经率先在加拿大市场开售，这也是全球首款正式面向普通消费者上市的Wi-Fi 8消费级路由器。目前ROG Rapture GT-BN98 Pro已经在华硕加拿大官方商城开启预订，官方定价为1299.99加元，折合人民币约6350元。硬件配置层面，整个系列都搭载主频为2.6GHz的四核高性能处理器，标配2GB运行内存和256MB闪存，整机的性能冗余完全足够支撑高带宽环境下的长时间稳定运行。不同区域会推出适配当地无线电频谱规则的专版本。——快科技...

塔斯社：克里姆林宫发言人表示，普京总统将于周六会见美国特使维捷科夫和库什纳。普京已下令暂停对基辅的空袭三天，以便为美国代表团的到来做好准备。来源：财联社...

央视曝光外卖平台幽灵店铺乱象：500 元买证即可上线，藏身居民楼车库广西市场监管部门在对全区入网餐饮服务提供者的证照数据核验中，比对出五千余条异常信息。其中，一家在平台上名为"今晚烧烤吧"的店铺被查出食品经营许可证在数据库中无任何记录，公示地址实际为柳州市一居民小区的车库，并无招牌和经营迹象。店主承认因不具备食品经营许可证办理条件，经人引荐后通过一名自称平台业务经理的人，仅花费 500 元、未提供任何资料，便完成了"一条龙"开店流程，平台显示店铺审核通过并正常上线接单。4 个月后，这家隐藏在车库里的"幽灵店铺"被依法查处。新浪科技 在花频道 · 茶馆水群 · 投稿通道...