数学家陶哲轩在社交媒体发帖称,他使用 GPT-5 成功解决了 MathOverflow 上的一个数学问题:验证最小公倍数序列 lcm(1,2,…,n) 是否为高度丰数的子集。陶哲轩表示,如果没有 AI 帮助,完成同样任务需要花费数小时进行手动编码和调试,甚至可能不会采用最终成功的关键策略。 在解决过程中,陶哲轩首先让 GPT-5 直接生成 Python 程序搜索反例参数,但发现代码运行时间过长且参数选择不当。随后他改变策略,通过分步对 …
美国法院文件显示马斯克旗下 SpaceX 曾通过离岸渠道接受中国投资者资金。主要投资人 Iqbaljit Kahlon 在宣誓证词中承认,“公司确实有中国投资者”,部分甚至直接列入股东名单。 此前 ProPublica 报道称,SpaceX 允许中国投资者通过开曼群岛等离岸金融中心购买公司股份。由于 SpaceX 是美国国防部与 NASA 的重要承包商,涉事消息引发国会警觉。分析认为,这将令 SpaceX 在政治审查中承受更大压力。 …
苹果正在为Apple Vision Pro开发一款名为"Dual Knit Band"的新头带,旨在解决用户长时间佩戴头显时的不适感。MacRumors在后端代码中发现了这款配件的相关信息,该头带采用双带设计——一条横向环绕头部,另一条从头顶经过,通过将重量从面部转移到整个头部来减轻压力。 目前Apple Vision Pro重达1.4磅,这是造成佩戴不适的主要原因。此前泄露者Mark Gurman也曾提到苹果正在原型测试新头带以减少 …
网站创始人 Jason Fesler 宣布,运营了 15 年的 IPv6 连接测试网站 test-ipv6.com 将在 2025 年 12 月正式关闭。Fesler 表示,自 2010 年以来他为这个免费公共服务投入了大量工程、支持、设备和托管费用,但现在需要将资源重新投入到家庭中。 该网站提供全球 IPv6 连接测试服务,帮助用户检测网络的 IPv6 支持情况。Fesler 已将部分源代码开源,但表示由于雇佣合同限制,不会转让域名 …
Instagram 负责人 Adam Mosseri 发布视频否认公司通过麦克风监听用户,称这是"严重侵犯隐私"的行为。他解释了广告看似精准的原因:用户可能在谈论前已搜索过相关产品;广告商与 Instagram 共享数据进行定向投放;算法基于用户关注和互动推荐相关广告;用户可能之前已看过广告但未注意,谈论后才变得敏感;或纯属巧合。 Mosseri 强调,iOS 和 Android 系统内置安全机制会在麦克风被激活时提醒用户。尽管如此, …
据巴基斯坦 Geo 新闻网、《今日巴基斯坦报》10月3日报道,巴基斯坦本月将选派两名公民来华,在中国接受为期一年的航天员培训。入选者完成系统性训练后,计划于 2026 年进入中国空间站执行为期一周的任务。 为筹备此次任务,巴基斯坦太空与高层大气研究委员会已向全国征集科学实验提案,目前已有 300 项实验入围候选名单。今年 2 月,中国载人航天工程办公室与巴基斯坦太空与高层大气研究委员会签署合作协议,双方将联合选拔巴方航天员进入中国空间 …
新加坡支付基础设施提供商StraitsX获得该国金融监管机构批准,正式推出与新加坡元挂钩的稳定币XSGD。这使新加坡在与香港的数字资产竞争中抢得先机,两个亚洲金融中心都在争夺加密货币企业,恰逢比特币、以太坊等数字代币价格飙升。 XSGD主要用于数字支付,Coinbase和Grab等知名平台已参与其中。与此同时,香港的稳定币法律为人民币支持的代币开辟了道路,亚洲各国在稳定币领域的竞争日趋激烈。 Nikkei Asia 🍀在花频道 � …
印尼通信和数字部周五宣布暂停TikTok的电子系统注册服务,原因是该平台未能提供与直播功能相关的完整数据。政府官员亚历山大·萨巴尔表示,在全国抗议活动期间,一些与网络赌博相关的账户使用了TikTok的直播功能。 政府要求字节跳动旗下的TikTok提供流量、直播和盈利数据,但该公司以内部程序为由未能提供完整信息。这一暂停措施理论上可能影响TikTok在印尼超过1亿用户的正常使用。 Slashdot 🍀在花频道 🍵茶馆 📮投稿
日本自民党于 10 月 4 日举行总裁选举,经过决选投票,高市早苗成功当选新一任自民党总裁,成为该党历史上首位女性总裁。此前,首轮投票未有候选人获得过半数支持,高市早苗在决选中胜出,击败了小泉等其他候选人。 NHK 新闻 🍀在花频道 🍵茶馆 📮投稿
美国最大的联邦雇员工会美国政府雇员联合会周五起诉教育部,指控其在政府停摆期间未经许可修改休假员工的自动回复邮件设置,强制加入指责民主党议员导致停摆的党派性语言。工会称这违反了联邦雇员的第一修正案权利。 受影响的自动回复邮件写道:"民主党参议员正在阻止众议院通过的预算决议,导致拨款中断。"司法部等多个政府机构网站也出现类似指责民主党的横幅。此次政府停摆已导致约75万联邦雇员无薪休假。 Bloomberg 🍀在花频道 🍵茶馆 📮 …
北京交警10月4日通报称,10月3日15时许,在海淀区朱各庄路与万寿路交叉口,陈某(男,43岁)驾驶小客车由北向南行驶时,与对向一辆小客车发生事故,造成两车损坏。双方驾驶人不涉毒、不涉酒。经初步调查,陈某负事故全部责任。目前,事故正在进一步处理中。 陈震回应“一切以官方通告,车辆EDR数据为准。” 北京交警 | 陈震 🍀在花频道 🍵茶馆 📮投稿
19岁的Krysta Tsukahara家属对特斯拉提起过失致死诉讼,指控其Cybertruck"危险缺陷"的门把手设计导致女儿被困在燃烧车辆内死亡。2024年11月,一辆载有三名乘客的Cybertruck在加州皮埃蒙特撞树,司机和一名乘客当场死亡。诉讼称Tsukahara在后座仅受轻伤并幸存,但车辆随后起火,电子门系统因断电失效,她无法逃脱最终死于烟雾吸入和烧伤。 Cybertruck没有传统门把手,需按下门柱按钮并持钥匙才能开门, …
OpenAI CEO山姆·奥特曼宣布对 最近推出的Sora 2 进行两项重大更新。首先,将为版权方提供更精细的角色生成控制权,类似于肖像权选择加入模式,让版权方能够指定其角色的使用方式。奥特曼特别提到了日本创作内容的深度用户连接,认为这种"互动同人小说"形式将为版权方带来价值。 其次,由于用户生成的视频量远超预期,OpenAI计划与愿意让用户生成其角色内容的版权方分享收益。奥特曼表示将通过试错来确定具体的收益分享模式,并承诺会快速迭代 …
Google 确认将在 Android 16 中推出新的开发者验证系统,要求所有侧载应用的开发者都需要向 Google 注册包名和签名密钥。付费验证需要支付 25 美元费用,与 Google Play 注册费相同;免费验证仅需邮箱注册,但安装次数有限制。 该系统将通过云端验证应用,可能需要网络连接,并可能影响 F-Droid 等开源应用商店的运行。Google 表示不会公开侧载开发者名单,但会收集开发者个人信息,引发了隐私和审查担忧。 …
微软正准备推出广告支持版本的Xbox云游戏服务。据消息人士透露,微软已开始内部测试,员工可在无需Game Pass订阅的情况下免费游玩精选游戏。 该免费版本将包含用户拥有的部分游戏、免费试玩日游戏以及Xbox复古经典游戏的云串流功能。测试显示,用户需观看约2分钟的前置广告才能开始免费游戏,每次游戏时长限制1小时,每月最多5小时。服务将支持PC、Xbox主机、掌机设备和网页端。微软计划先进行公开测试,随后在未来几个月内正式推出。 The …
美国财政部长贝森特转发了关于打造印有特朗普头像的 1 美元硬币的贴文。美国财政部司库 Brandon Beach 在社交媒体上证实,"这些为纪念美国建国 250 周年以及致敬总统特朗普而拟定的初步方案均为真实内容"。美国财政部已正式确认将打造该硬币。 汇通财经 | Brandon Beach 🍀在花频道 🍵茶馆 📮投稿
瑞典卡罗琳斯卡医学院联合中国天津医科大学、四川大学等团队,基于 2.75 万名中老年人的脑部 MRI 数据,用机器学习估算“脑龄”。结果显示:每降低 1 分的健康睡眠评分,“脑龄差”约增加 6 个月;差睡眠人群的“脑龄”平均比实际年龄大约 1 岁。 进一步分析表明,炎症可解释睡眠不佳与大脑加速衰老之间约10%的关联。其他可能影响睡眠与大脑老化之间关联的机制还包括,睡眠不足会对大脑废物清除系统及心血管健康产生负面影响,进而对大脑造成损害 …