AI 科技速览

阮一峰的网络日志·ai_news

科技爱好者周刊（第 412 期）：禁止 issue，只用 PR

Laravel框架最近做了一件挺大胆的事：禁止用户提交issue，只接受Pull Request。乍看之下这规定很离谱，但细想其实很合理。issue里充斥着机器人和骚扰者的垃圾信息，而愿意花时间写PR的人，往往对问题更上心，给出的信息也更完整，维护者处理起来反而更省力。更重要的是，在AI时代，普通用户完全可以让AI帮忙生成PR，提交门槛并不比写issue高多少。这背后反映的是开源项目资源不足的现实——与其鼓励用户把问题抛出来等别人解决，不如鼓励大家一起动手贡献。与此同时，Anthropic公司用Claude AI完成了史上最长的数学程序，将费马大定理的证明翻译成计算机语言，代码长达1300万行，耗时仅11天。这意味着未来AI可以帮助数学家验证那些人类难以逐一核对的复杂证明。

开源

SuperTechFans·ai_news

2026 09 11 HackerNews

苹果终于推出首款折叠屏手机iPhone Duo，起售价1999美元，展开后7.6英寸的内屏比iPhone 18 Pro Max大了整整一半，搭载A20 Pro芯片和双电池系统，10月16日开启预购。与此同时，DeepSeek发布了V4.1 Flash模型并开源，采用不对称架构设计，主打更智能高效，还原生支持视觉理解。这两条消息在Hacker News上引发热议，前者讨论焦点集中在折叠屏能否改善应用适配体验，后者则让开发者对开源AI模型的性能提升充满期待。对普通人来说，折叠屏手机意味着更大的屏幕和更多使用姿态，但价格依然偏高；而DeepSeek的开源则可能让更多AI应用变得更便宜、更好用，中小开发者和创业团队将是直接受益者。

多模态开源

meng shao(@shao__meng)·ai_news

How to Build Great Evals Meta AI 高级总监 @realmadhuguru 连载的一套面向 AI Agent 产品团队的评测工程实践方法论，10 篇内容形成一个 Age...

Meta AI高级总监发布了一套面向AI产品团队的评测方法论，核心观点是评测不是上线前的质检，而是驱动产品持续改进的引擎。这套方法强调从真实用户数据出发，把产品出问题的地方变成测试用例，先确保评测质量再考虑成本，并且反对把复杂评测压缩成单一分数——因为取平均会掩盖关键场景的退化。作者还提出要按步骤打分而非只看最终结果，就像高中数学给步骤分一样，这样才能真正诊断问题出在哪一环。对普通人来说，这意味着未来AI产品会更靠谱，出问题时团队能更快定位和修复，而不是靠一个笼统的分数自欺欺人。

AI AgentMeta

Genspark(@genspark_ai)·ai_news

We hope you all enjoyed!

Genspark AI在2026年9月10日发布了一条简短的致谢消息，向所有关注和支持他们的用户表达了感谢。虽然这条消息本身并未披露具体的技术细节或产品更新，但结合Genspark一贯的动向来看，这家专注于AI搜索和智能代理技术的公司很可能刚刚完成了一次重要的产品发布或功能迭代。Genspark此前推出的AI代理产品能够帮助用户自动完成信息检索、行程规划、比价购物等复杂任务，相当于给每个人配备了一位不知疲倦的智能助理。这类技术的持续进步意味着，未来普通人在处理繁琐的日常事务时将更加省心省力，无论是找资料、做攻略还是整理信息，AI都能替你跑腿，把时间留给真正重要的事情。

CNBC AI·ai_news

Stock futures are little changed as key consumer inflation report looms ahead: Live updates

美股期货周四晚间波动不大，投资者正屏息等待八月消费者价格指数报告出炉。此前三大股指已连续四天下跌，道指单日跌超300点，本周累计跌幅预计达2.5%。这份通胀数据将成为市场判断美联储下一步利率政策的关键依据——简单说，如果物价涨得比预期快，加息压力就大，股市可能继续承压；如果通胀降温，则有望提振信心。对普通人而言，这直接影响房贷、信用卡利率以及退休账户里的投资收益。当前市场情绪谨慎，投资者普遍选择观望，等待数据明朗后再做决策。

SiliconANGLE AI·ai_news

DeepSeek releases V4.1-Flash, says it outperforms flagship V4-Pro

DeepSeek又放大招了！这家中国AI公司最新发布的V4.1-Flash模型，虽然体积是家族里最小的，但实测表现居然全面超越了自家旗舰V4-Pro——性能更强、成本更低、速度更快、运行时间更短。简单来说，这就像一个轻量级选手在各项指标上都打败了重量级冠军，而且从9月14日起，原本发给V4-Pro的请求将逐步切换到这个新模型上。对普通用户而言，这意味着未来用DeepSeek时响应会更快、等待更短，开发者调用接口的成本也会进一步降低，AI应用的落地门槛更低了。

DeepSeek

Simon Willison·ai_tool

Any Nix package, live in your browser

开发者Farid Zakaria打造了一个令人惊叹的项目trynix.dev，让你直接在浏览器里运行过去13年间的任何Nix软件包，无需安装任何东西。这背后的原理是利用WebAssembly技术在浏览器中模拟一台完整的Linux虚拟机，然后加载你指定的软件。比如你想体验2017年发布的Python 3.6.2，只需打开一个链接、点一下加载，就能立刻获得一个可交互的命令行环境。更实用的是，他还基于此推出了一个GitHub工具，能在代码审查时自动生成链接，让审查者直接在浏览器里启动并测试这个PR的构建结果，完全不需要服务器。这意味着以后体验老版本软件、测试代码改动，打开浏览器就够了，对开发者和技术爱好者来说，效率和便利性都大大提升。

Dev.to AI·ai_news

Solving "Coding Atrophy" caused by AI - Battledevs

AI写代码越来越顺手，但不少开发者发现自己离了AI就写不出代码了——这种“编程肌肉萎缩”正引发关注。Battledevs平台为此打造了一个实时对战编程竞技场，让程序员像打游戏一样两两PK写Python代码，系统现场判题、实时计分，先达标者获胜。说白了，就是把刷题变成了一场有对手、有倒计时、有输赢的“编程拳击赛”，逼你亲手敲代码而不是复制粘贴。对普通开发者而言，这提醒我们：AI是工具，但基本功不能丢。未来这类“编程健身房”可能成为程序员保持手感的新去处，就像去健身房练肌肉一样，定期来几局，手就不会生。

@paulg

Replit刚刚扔出一枚重磅炸弹！这个让开发者直接在浏览器里写代码的平台，现在把AI编程助手提升到了全新高度。简单来说，以前写代码遇到问题得自己查文档、调bug，现在你只需要用大白话描述想要什么功能，AI就能实时帮你生成可运行的代码，还能自动修复错误。这就像给每个程序员配了一个24小时在线的资深搭档，新手也能快速上手做项目。对普通人来说，未来学习编程的门槛会大幅降低，非技术人员也能通过自然语言快速搭建自己的小工具或网站，软件开发不再是程序员的专利。

CNBC AI·ai_news

Friday's big stock stories: What’s likely to move the market in the next trading session

美股连续第四天下跌，市场情绪持续承压，而最让投资者紧张的是房贷利率突破7%这一关键心理关口。30年期固定房贷利率周四升破7%，直接拖累房地产板块，Toll Brothers、PulteGroup和Hovnanian等主要住宅建筑商股价纷纷下挫，跌幅在2%到2.6%之间，部分个股已较年内高点回落超过20%。房贷利率走高意味着购房者的月供压力明显增加，买房成本上升可能进一步抑制购房需求，进而影响房地产市场的活跃度。对于普通家庭来说，如果你正打算买房或 refinance，当前利率环境意味着借贷成本更高，需要更谨慎地评估预算。接下来市场将密切关注利率走势以及房地产数据，判断这轮压力是短期波动还是趋势性变化。

@paulg

@paulg

We had a good night, London. 📸

AI编程平台Replit在伦敦举办了一场活动，创始人Paul Graham也到场助阵，现场气氛热烈。Replit是一家让用户通过浏览器就能写代码、做应用的AI工具平台，简单来说，它把编程这件事变得像用文档一样简单，不需要复杂的环境配置，打开网页就能开发软件。这次伦敦活动虽然具体内容尚未披露，但从“Good morning, London”到“We had a good night”的连续发文来看，很可能是一场开发者聚会或产品发布活动。对普通人来说，这类工具的意义在于：未来想做一个小程序、网站或自动化工具，可能不需要专门学编程，直接用自然语言告诉AI你的需求，就能生成可运行的代码。编程门槛正在被AI一步步抹平，创意本身将比技术能力更重要。