陶哲轩用 GPT-5 解决数学难题：仅 29 行 Python 代码完成验证
数学家陶哲轩在社交媒体发帖称，他使用 GPT-5 成功解决了 MathOverflow 上的一个数学问题：验证最小公倍数序列 lcm(1,2,…,n) 是否为高度丰数的子集。陶哲轩表示，如果没有 AI 帮助，完成同样任务需要花费数小时进行手动编码和调试，甚至可能不会采用最终成功的关键策略。
在解决过程中，陶哲轩首先让 GPT-5 直接生成 Python 程序搜索反例参数，但发现代码运行时间过长且参数选择不当。随后他改变策略，通过分步对话让 GPT-5 进行启发式计算寻找可行参数。最终，GPT-5 生成了一个 29 行的 Python 验证脚本，帮助陶哲轩完成了该问题的否定证明。陶哲轩特别提到，AI 在此次数学问题解决中没有出现幻觉等问题。
量子位
🍀在花频道 🍵茶馆 📮投稿
数学家陶哲轩在社交媒体发帖称，他使用 GPT-5 成功解决了 MathOverflow 上的一个数学问题：验证最小公倍数序列 lcm(1,2,…,n) 是否为高度丰数的子集。陶哲轩表示，如果没有 AI 帮助，完成同样任务需要花费数小时进行手动编码和调试，甚至可能不会采用最终成功的关键策略。
在解决过程中，陶哲轩首先让 GPT-5 直接生成 Python 程序搜索反例参数，但发现代码运行时间过长且参数选择不当。随后他改变策略，通过分步对话让 GPT-5 进行启发式计算寻找可行参数。最终，GPT-5 生成了一个 29 行的 Python 验证脚本，帮助陶哲轩完成了该问题的否定证明。陶哲轩特别提到，AI 在此次数学问题解决中没有出现幻觉等问题。
量子位
🍀在花频道 🍵茶馆 📮投稿
🤯394👍84❤16
两位前LTT员工因竞业冲突被LTT解雇后，转战自营频道
曾在 Linus Tech Tips 工作8年与6年的两位核心成员 Alex 和 Andy 发视频讲述其在 LTT 工作与被解雇的经历。在早期自由度高，他们能主导项目；而公司扩张后他们拍摄参与变少，Alex 被压缩为写手，Andy 转为排期、协调。
随着 Gamers Nexus 事件引发危机，汽车项目赞助支持也大幅减少，导致 LTT 资金短缺。于是，两人决定创办独立汽车频道 Zip Tie Tuning。当该频道视频意外走红后，LTT 管理层以“个人项目不得与公司竞争”的条款为由提出三个选择：删号、上交频道或拿赔偿离职。
最终，两人选择了离职并全职经营Zip Tie Tuning 以制作他们热爱的汽车视频，随后又新开 Zip Tie Tech 制作数码相关内容。他们称解雇反而让自由创作的梦想成真，并将此形容为“最好的事”。他们还透露 LMG 已调整竞业条款，呼吁外界不要迁怒 LTT 。
Zip Tie Tech on YouTube
🍀在花频道 🍵茶馆 📮投稿
曾在 Linus Tech Tips 工作8年与6年的两位核心成员 Alex 和 Andy 发视频讲述其在 LTT 工作与被解雇的经历。在早期自由度高，他们能主导项目；而公司扩张后他们拍摄参与变少，Alex 被压缩为写手，Andy 转为排期、协调。
随着 Gamers Nexus 事件引发危机，汽车项目赞助支持也大幅减少，导致 LTT 资金短缺。于是，两人决定创办独立汽车频道 Zip Tie Tuning。当该频道视频意外走红后，LTT 管理层以“个人项目不得与公司竞争”的条款为由提出三个选择：删号、上交频道或拿赔偿离职。
最终，两人选择了离职并全职经营Zip Tie Tuning 以制作他们热爱的汽车视频，随后又新开 Zip Tie Tech 制作数码相关内容。他们称解雇反而让自由创作的梦想成真，并将此形容为“最好的事”。他们还透露 LMG 已调整竞业条款，呼吁外界不要迁怒 LTT 。
Zip Tie Tech on YouTube
🍀在花频道 🍵茶馆 📮投稿
😁222🤔19❤16👍13🔥4😢3👎2
科技圈🎗在花频道📮
Please open Telegram to view this post
VIEW IN TELEGRAM
🤔140👎34👍11🤬7🤣7❤5😁5🔥1
科技圈🎗在花频道📮
美法官裁定谷歌垄断，司法部令其出售广告平台 美国联邦法官裁定谷歌在两个在线广告技术市场非法垄断后，美国司法部提议谷歌出售其AdX数字广告交易平台和DFP广告管理平台，旨在恢复市场竞争。 然而，谷歌方面反对资产剥离，认为此举缺乏法律依据并将损害出版商与广告商利益，同时表示支持行为性补救措施。Alphabet股价盘前因此下跌。 IT之家 📮投稿 ☘️频道 🌸聊天
Google 在弗吉尼亚联邦法院花费一周时间，试图说服法官强制出售其广告交易平台风险过高、技术难度太大且会扰乱市场。Google 证人作证称，强制出售将影响价值 159 亿美元的业务，在市场中造成不确定性，并降低对最小在线发布商的服务质量。
此案源于今年 4 月法官 Leonie Brinkema 裁定 Google 在广告交易和发布商端技术两个市场拥有非法垄断地位。司法部提议强制 Google 出售其广告交易平台 AdX，而 Google 则提出与流行替代方案 Prebid 以及竞争对手广告服务器整合技术的反提案。Google 主要论点包括：技术分离困难、引入诸多未知因素、客户将面临服务中断以及存在安全风险等。
Bloomberg
🍀在花频道 🍵茶馆 📮投稿
Please open Telegram to view this post
VIEW IN TELEGRAM
😁111🤣35❤7👍2🥴2🤔1🙈1
华为苏黎世计算系统实验室推出名为 SINQ（Sinkhorn-Normalized Quantization）的开源量化技术，可将大语言模型内存使用量减少 60-70%，使原本需要超过 60GB 内存的模型能在约 20GB 配置上运行。该技术让此前需要 NVIDIA A100（1.9 万美元）或 H100（超过 3 万美元）企业级 GPU 的模型，现在可在单块 RTX 4090（约 1600 美元）消费级显卡上运行。
SINQ 采用双轴缩放和 Sinkhorn-Knopp 风格归一化两项创新技术，无需校准数据即可实现高质量量化。在 WikiText2 和 C4 等基准测试中，SINQ 在多种架构模型上均表现优异，量化速度比 HQQ 快约 2 倍，比 AWQ 快超过 30 倍。华为已在 GitHub 和 Hugging Face 上以 Apache 2.0 许可证开源该技术。
VentureBeat | Huggingface
🍀在花频道 🍵茶馆 📮投稿
Please open Telegram to view this post
VIEW IN TELEGRAM
👍351🤣55👎31❤4🤔4🗿4🤬3
威胁者声称已成功入侵华为技术有限公司，泄露的敏感知识产权包括源代码和内部开发工具，具体涉及源代码文件（如 .c、.cpp、.h、.pas 格式）、内部开发工具和脚本、构建文件和配置文件（如 makefiles、.ini 文件）以及技术文档和手册等。这些被盗数据正在被出售。
Daily Dark Web
🍀在花频道 🍵茶馆 📮投稿
Please open Telegram to view this post
VIEW IN TELEGRAM
😁430👍114🤣70🌚13🔥9❤7🤷♂5🤩5
《快乐星球》老顽童爷爷赵克明去世，享年 93 岁
10 月 5 日，著名演员赵克明因病去世，享年 93 岁。他曾在《快乐星球》中出演"老顽童爷爷"一角，深受几代观众喜爱。西安话剧院发布讣告确认了这一消息，并分享了赵克明生前的珍贵影像资料。
赵克明是国家一级演员及导演，从 1989 年开始执导央视春晚小品《产房门前》《黄土坡》等作品，曾捧红蔡明、黄宏等演员。2004 年开始参与《快乐星球》拍摄，一演就是 16 年，成为 90 后、00 后观众最熟悉的童年回忆。据悉，9 月初就有网友爆料其身体状况不佳，经常需要吸氧，最后一次露面时仍坚持在家中接待朋友。
网易
🍀在花频道 🍵茶馆 📮投稿
10 月 5 日，著名演员赵克明因病去世，享年 93 岁。他曾在《快乐星球》中出演"老顽童爷爷"一角，深受几代观众喜爱。西安话剧院发布讣告确认了这一消息，并分享了赵克明生前的珍贵影像资料。
赵克明是国家一级演员及导演，从 1989 年开始执导央视春晚小品《产房门前》《黄土坡》等作品，曾捧红蔡明、黄宏等演员。2004 年开始参与《快乐星球》拍摄，一演就是 16 年，成为 90 后、00 后观众最熟悉的童年回忆。据悉，9 月初就有网友爆料其身体状况不佳，经常需要吸氧，最后一次露面时仍坚持在家中接待朋友。
网易
🍀在花频道 🍵茶馆 📮投稿
1🙏771😭118🕊51❤17😢10🗿4😇2💔1
科技圈🎗在花频道📮
印尼通信和数字事务部表示，在 TikTok 向政府提交了有关近期抗议活动的相关数据后，印尼已解除对该社交媒体平台本地运营许可的暂停，允许继续运营。
The China-Global South Project
🍀在花频道 🍵茶馆 📮投稿
Please open Telegram to view this post
VIEW IN TELEGRAM
印度部长推广本土应用替代谷歌微软产品
在美印贸易关系紧张背景下，印度总理莫迪的三名内阁部长正在推广本土应用，以替代谷歌地图、WhatsApp和微软等美国科技产品。这是印度政府对"印度制造"产品最强有力的支持。美国8月对印度进口商品征收50%关税后，莫迪推动使用"本土"产品，并直接呼吁印度人停止日常使用外国商品。
信息技术部长瓦伊什瑙在本周的媒体发布会上展示了使用本土公司Zoho软件制作的高速公路项目演示，并使用印度地图服务商MapmyIndia替代谷歌地图。商务部长戈亚尔和教育部长普拉丹也在推广Zoho的消息应用Arattai，该应用上月下载量超过40万次，较8月的不足1万次大幅增长。尽管政府大力推广，但印度公司要替代全球品牌仍面临资金和技术挑战。
路透社
🍀在花频道 🍵茶馆 📮投稿
在美印贸易关系紧张背景下，印度总理莫迪的三名内阁部长正在推广本土应用，以替代谷歌地图、WhatsApp和微软等美国科技产品。这是印度政府对"印度制造"产品最强有力的支持。美国8月对印度进口商品征收50%关税后，莫迪推动使用"本土"产品，并直接呼吁印度人停止日常使用外国商品。
信息技术部长瓦伊什瑙在本周的媒体发布会上展示了使用本土公司Zoho软件制作的高速公路项目演示，并使用印度地图服务商MapmyIndia替代谷歌地图。商务部长戈亚尔和教育部长普拉丹也在推广Zoho的消息应用Arattai，该应用上月下载量超过40万次，较8月的不足1万次大幅增长。尽管政府大力推广，但印度公司要替代全球品牌仍面临资金和技术挑战。
路透社
🍀在花频道 🍵茶馆 📮投稿
😁246🤣84
三亚大悦城"红包雨"活动致人群拥挤受伤 商场致歉
10月3日晚，海南省三亚市大悦城商场举办"天降红包雨"活动时发生人群拥挤事件，导致有顾客受伤。网传视频显示，商场内从上空撒落大量"红包"，现场聚集的人群迅速上前哄抢，场面一度失控。参与者王女士反映，活动开始时人群瞬间失控，前排摔倒引发连锁反应，她被推倒后左脚被踩至淤青肿胀。
三亚大悦城4日晚发布情况说明，承认因预判不足，参与人数远超预期，局部区域出现短时拥挤，并有顾客不慎摔倒，对此致以诚挚歉意。商场表示已第一时间启动应急预案，疏导拥挤区域并为摔倒顾客提供协助。为确保后续活动安全，10月4日已将现场互动活动调整为线下排号抽奖形式，并将全面复盘活动流程，完善安全管理方案。
联合早报
🍀在花频道 🍵茶馆 📮投稿
10月3日晚，海南省三亚市大悦城商场举办"天降红包雨"活动时发生人群拥挤事件，导致有顾客受伤。网传视频显示，商场内从上空撒落大量"红包"，现场聚集的人群迅速上前哄抢，场面一度失控。参与者王女士反映，活动开始时人群瞬间失控，前排摔倒引发连锁反应，她被推倒后左脚被踩至淤青肿胀。
三亚大悦城4日晚发布情况说明，承认因预判不足，参与人数远超预期，局部区域出现短时拥挤，并有顾客不慎摔倒，对此致以诚挚歉意。商场表示已第一时间启动应急预案，疏导拥挤区域并为摔倒顾客提供协助。为确保后续活动安全，10月4日已将现场互动活动调整为线下排号抽奖形式，并将全面复盘活动流程，完善安全管理方案。
联合早报
🍀在花频道 🍵茶馆 📮投稿
😇298😁90🤯27👎11🌚8🤨5😡3👀2
欧盟推出新AI战略减少对美中技术依赖 动员10亿欧元资金
欧盟将于周二公布"应用AI战略"，旨在推广欧洲本土AI工具，减少对美国和中国的技术依赖。该战略强调加强"欧盟AI主权"，警告外部依赖可能被"武器化"，对供应链构成风险。
欧盟计划从现有融资项目中动员10亿欧元资金，支持AI在制造业、医疗和国防等关键领域的应用。特别是在国防方面，欧盟希望加速开发欧洲AI指挥控制系统，减少对美国通过北约提供的关键技术的依赖。该战略将AI定位为"战略资产"，而非仅仅是生产力工具。
Financial Times
🍀在花频道 🍵茶馆 📮投稿
欧盟将于周二公布"应用AI战略"，旨在推广欧洲本土AI工具，减少对美国和中国的技术依赖。该战略强调加强"欧盟AI主权"，警告外部依赖可能被"武器化"，对供应链构成风险。
欧盟计划从现有融资项目中动员10亿欧元资金，支持AI在制造业、医疗和国防等关键领域的应用。特别是在国防方面，欧盟希望加速开发欧洲AI指挥控制系统，减少对美国通过北约提供的关键技术的依赖。该战略将AI定位为"战略资产"，而非仅仅是生产力工具。
Financial Times
🍀在花频道 🍵茶馆 📮投稿
🤣166😁14❤9🔥4
苹果硬件主管特纳斯被推至接班人位置，库克交棒在即
彭博社报道，苹果公司正加速 CEO 接班布局，硬件工程高级副总裁 约翰·特纳斯（John Ternus） 已被内部视为蒂姆·库克最可能的继任者。随着首席运营官杰夫·威廉姆斯即将离任，苹果高层正在经历十年来最大规模人事更迭。
特纳斯因在 iPhone 17、Vision Pro 等项目中的核心作用而受到库克信任。分析认为，作为技术背景出身、年龄适中的工程主管，他比销售或运营高管更契合苹果在人工智能与硬件创新方向上的需求。报道称，库克将于 65 岁后逐步淡出日常管理，可能保留董事长职务以确保平稳过渡。
Bloomberg
🍀在花频道 🍵茶馆 📮投稿
彭博社报道，苹果公司正加速 CEO 接班布局，硬件工程高级副总裁 约翰·特纳斯（John Ternus） 已被内部视为蒂姆·库克最可能的继任者。随着首席运营官杰夫·威廉姆斯即将离任，苹果高层正在经历十年来最大规模人事更迭。
特纳斯因在 iPhone 17、Vision Pro 等项目中的核心作用而受到库克信任。分析认为，作为技术背景出身、年龄适中的工程主管，他比销售或运营高管更契合苹果在人工智能与硬件创新方向上的需求。报道称，库克将于 65 岁后逐步淡出日常管理，可能保留董事长职务以确保平稳过渡。
Bloomberg
🍀在花频道 🍵茶馆 📮投稿
3🤨217👀37
AI数据中心消耗全球存储供应，内存和SSD价格或将暴涨十年
分析师和内存制造商警告，AI数据中心的巨大需求正在消耗全球大部分内存和闪存产能，将导致NAND和DRAM严重短缺。OpenAI的"星门"项目已与三星、SK海力士签约，每月采购多达90万片DRAM晶圆，约占全球DRAM产量的40%。
内存价格已开始飙升，树莓派因内存成本上涨120%被迫涨价。制造商将资本支出重新导向利润更高的HBM和企业级产品，而非消费级存储。群联电子CEO预测，由于制造商过去投资过度导致价格崩盘的教训，未来十年供应都将紧张。新建晶圆厂需要数百亿美元投资和数年建设时间，短期内难以缓解供应压力。
Tom's Hardware
🍀在花频道 🍵茶馆 📮投稿
分析师和内存制造商警告，AI数据中心的巨大需求正在消耗全球大部分内存和闪存产能，将导致NAND和DRAM严重短缺。OpenAI的"星门"项目已与三星、SK海力士签约，每月采购多达90万片DRAM晶圆，约占全球DRAM产量的40%。
内存价格已开始飙升，树莓派因内存成本上涨120%被迫涨价。制造商将资本支出重新导向利润更高的HBM和企业级产品，而非消费级存储。群联电子CEO预测，由于制造商过去投资过度导致价格崩盘的教训，未来十年供应都将紧张。新建晶圆厂需要数百亿美元投资和数年建设时间，短期内难以缓解供应压力。
Tom's Hardware
🍀在花频道 🍵茶馆 📮投稿
👎302😭150