寻饭小窝平淡是真

谷歌推出首批AI笔记本Googlebook谷歌公布了首批所谓 “Googlebook” 笔记本的价格和硬件规格，从而进军高端笔记本电脑市场。这些高端笔记本机型起售价为 899 美元，瞄准的是 Android 用户和程序员，同时致力于让其 Gemini AI 成为笔记本电脑体验中不可或缺的一部分。谷歌并不自行制造这些系统，而是与五家制造商宏碁、华硕、戴尔、惠普和联想集团合作生产这些笔记本电脑，它们运行的是类似 Android 的操作系统。尽管这些笔记本在价格、设计以及处理器和存储等规格上各有不同，但它们有一些共同特征：相似的键盘布局，以及一个可以显示电量和自定义动画的“Glowbar”。—— 凤...

SpacexAI 发布了 Grok 4.7，称其速度是同类产品的两倍，价格只有同类产品的一半。来源：FinancialJuice...

小米发布MIMO 2.6...

微软AI负责人：不应以中国AI进展为由反对监管微软AI业务负责人苏莱曼说，对中国在AI领域取得进展的担忧，不应被用作反对为这项快速发展的技术设置护栏的理由。苏莱曼在节目中表示：“我认为，我们不应该把中国当作不推进自身AI安全工作的挡箭牌。”苏莱曼领导的微软AI团队在上周二发布了一份宣言，为其自身的AI开发提供指导，目标是让人类始终掌控公司未来开发的AI系统。他表示，AI开发者应当为模型设定目标，而这些目标要“受人文主义准则的约束”。“我认为业内每个人都应该为模型设定这样的准则，也就是为它们设定明确的安全护栏。”—— 凤凰网科技...

GPT-6 Astra在哥德巴赫猜想刘维尔弱形式上取得重大突破人工智能模型GPT-6 Astra在数论领域取得重要进展，成功无条件证明了哥德巴赫猜想的刘维尔（Liouville）弱形式。该证明表明，任意大于2的偶数均可表示为两个刘维尔函数值均为-1的正整数之和。相关成果不依赖广义黎曼猜想（GRH），且无“充分大”的数值限制，涵盖所有大于2的偶数。据悉，该论证采用初等代数与逻辑推理路线，避免了暴力计算，且相关证明代码已完全通过Lean 4形式化验证，确保逻辑严格无误。尽管该结论尚未直接攻克原版哥德巴赫猜想（即加数为纯素数的“1+1”），但为研究数论中乘法结构与加法组合的联系提供了全新的思路与工具...

RSA-896在Claude帮助下已被破解2026年9月19日，Anthropic工程师Stephen A. Weis在Claude的协助下，公布了RSA-896的质因数分解结果——这是一个源自RSA安全公司历史性“RSA因数分解挑战赛”的半素数，包含270位十进制数字，并由两个448位素数乘积而来。这一成果将整数分解的公开纪录从862位提升至896位，且距离上一项纪录被打破仅过去了十六天。这是短短两周内连续取得的第二个AI辅助密码分析里程碑。这项工作的一个显著特点在于 Claude 所发挥的作用。CADO-NFS 是一套针对传统 CPU 精心优化的“通用数域筛法”（GNFS）开源代码库。We...

中美AI模型开发周期缩短至1/3 平均44天中美牵涉的AI开发正在加速。自4月以来，新模型发布的周期平均已至44天，比以往的大约一半。AI自身参与AI开发的“自我进化”正在发生，这成为引发AI威胁论的导火索。2023年1月至2026年3月的平均间隔为125天，而2026年4月至9月则大幅短片至44天。进入9月，OpenAI和Anthropic发布了最新模型。Meta自7月以来，每月都在升级其尖端模型“Muse Spark”。美国谷歌则在9月2日仅用三周时间就推出了比上一个版本更新的Gemini。而SpaceX的Grok则至8月，连续3个月推出了新模型。在中国企业来看，DeepSeek从7月起每...

市场传言称，9月30日前或出台全国性首套新房房贷贴息政策，中央及地方财政合计贴息或达40–100BP，若按顶格执行，部分地区首套房贷利率可能降至约2.05%；政策据称主要针对首次购房新增贷款，存量房贷大概率不在范围内，二套房贴息仍在研究。#未知信源...