这份评论对 Anthropic 公司首席执行官达里奥·阿莫代（Dario Amodei）近期发表的《我们必须放缓前沿发展》（We Must Pace the Frontier）一文提出了质疑，认为该文不过是自私的恐吓手段，旨在获取反垄断豁免并扼杀竞争。 作者认为，阿莫代利用“即将来临的通用人工智能（AGI）”和生存风险作为借口，游说政府监管开源模型，从而建立起有利于顶尖实验室的“护城河”。评论反驳了阿莫代关于人工智能驱动的僵尸网络和自主代理的危言耸听，称其技术认知天真，类似于过去政府试图管控加密技术的行为。 此外，作者强调了“前沿”实验室（特别是 OpenAI 和 Anthropic）的虚伪性：它们一边鼓吹极端谨慎，一边却在进行黑客攻击公共基础设施、未能保护自身研究环境等鲁莽行为。文章指出，阿莫代所强调的“中国威胁”并非出于真正的安全担忧，而是为了阻碍竞争所采取的战略手段。归根结底，作者将这些文章视为在潜在首次公开募股（IPO）前精心策划的营销活动，并建议行业不应授予这些实验室监管垄断权，而应追究其在能力和道德层面屡屡失职的责任。
每日HackerNews RSS
正在检查您的浏览器……需要启用 JavaScript
Hacker News
最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
[重复] 数学的一个开端 (proofsandprompts.com)
28 点，由 pact_inference 发布于 1 天前 | 隐藏 | 往期 | 收藏 | 4 条评论
帮助
godelski 1 天前 [–]
与 https://news.ycombinator.com/item?id=49698699 重复
回复
bamboozled 1 天前 | 父评论 [–]
为什么标题相同但 URL 不同？
回复
godelski 1 天前 | 根评论 | 父评论 | 下一条 [–]
他们的“关于”页面似乎说他们只是在转载其他人的文章。所以另一个 URL 是官方的：https://proofsandprompts.com/about-proofs-and-prompts/
回复
Nilocshot 1 天前 | 根评论 | 父评论 | 上一条 [–]
作者同时发布在了他的个人网站和这个通讯（newsletter）上。
回复
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系
搜索：
甲骨文（Oracle）在最新一轮裁员中，于清晨六点向员工发送了冷冰冰的通知邮件。 Oracle’s 6am layoff emails hit staff amid new wave of cuts
3 天前
甲骨文公司（Oracle）开启了新一轮裁员，作为其28亿美元重组计划的一部分，旨在将资源转向人工智能和云基础设施。在此之前，该公司在2026财年已大幅缩减规模，员工人数减少了约2.1万人，降幅达13%。 最近的裁员行动于周一清晨以冷静、同步的方式进行。员工在早上6点收到冷冰冰的通知邮件，许多人是在无法访问Slack等内部系统或公司门禁卡失效后才得知自己被解雇。虽然受影响的具体人数尚未披露，但该公司最近将重组预算增加了7亿美元，以应对不断上涨的遣散费和运营成本。 员工称整个过程非常突然，一些长期任职的员工表示，尽管近期绩效评估良好，仍被立即解雇。此举使甲骨文与科技行业的整体趋势保持一致，即像亚马逊和戴尔等大型企业都在积极进行重组，以平衡削减成本与对新兴技术的巨额投资。甲骨文尚未就此次裁员的具体规模或影响发表公开声明。
您没有提供需要翻译的内容。请提供您想要翻译的文本。
本分析对比了 **GPT-5.6 Luna** 和 **GPT-6 Astra** 两款 AI 模型在对 50 个公共拉取请求（Pull Request）进行代码审查时的表现与成本效益。
**关键发现：**
* **性能表现：** Luna 发现了 69 个已验证的错误，而 Astra 发现了 92 个。虽然 Luna 在处理一般逻辑和数据错误方面表现良好，但在处理安全性敏感代码时明显吃力（在 24 个安全漏洞中仅发现 9 个，而 Astra 发现了 19 个）。
* **成本效益：** Luna 的成本极低，单次审查费用为 0.0041 美元，而 Astra 为 0.113 美元（相差 28 倍）。从每个已验证错误的成本来看，Astra 的开销是 Luna 的 20 倍。
* **精确度：** Luna 的误报率较高，精确度为 74%，而 Astra 为 96%；这意味着 Luna 的评论中约有四分之一为误报。
**结论：**
Luna 以极低的成本在日常正确性检查中非常有效，但它缺乏处理身份验证和权限密集型代码所需的深度。作者建议采用分层方法：使用低成本模型进行一般性审查，并将强大的模型预留给安全性敏感的逻辑，前提是系统能够区分两者。总体而言，数据表明，仅依赖基于代码差异（diff）的 AI 审查会遗漏完整代码库历史这一重要背景信息。
《NüshuRescue：利用人工智能复兴濒危女书语言》（Yang 等人，2025 年）介绍了一个可扩展的、人工智能驱动的框架，旨在协助复兴濒危的低资源语言。研究人员重点关注了女书——一种历史上由中国瑶族妇女使用的独特文字。 为了克服可用数据稀缺的问题，团队开发了“NCGold”，这是首个可公开访问的包含 500 个句子的女书-中文平行语料库。通过利用 GPT-4-Turbo 并仅使用 35 个示例进行上下文学习，NüshuRescue 框架在测试集上达到了 48.69% 的翻译准确率，并生成了包含 98 个新翻译句子的“NCSilver”数据集。作者还实施了额外的 FastText 和 Seq2Seq 模型，以支持持续的语言学研究。 通过最大限度地减少对大量人工干预的需求，NüshuRescue 为研究人员提供了一套通用的自动化工具，用于保护语言遗产。所有代码和数据集均在 GitHub 上公开，以鼓励社区进一步为濒危语言保护做出贡献。
登月舱（LM）通过两扇三角形的斜角窗，为宇航员提供了观测月球表面的战略视野。为确保安全着陆，指令长会使用着陆点指示器（LPD），即刻印在玻璃上的一组网格标记。通过将这些标记与制导计算机提供的数值数据（名词 64）相结合，指令长便能确定登月舱的预计着陆点。如果地形看起来不适合着陆（例如有危险的陨石坑），指令长会使用手控器手动调整飞行轨迹。 在最后下降阶段，宇航员主要依赖视觉线索：即登月舱不断前移的阴影（用以指示与地表的距离）以及 LPD 刻度。在本模拟中，可选的目标环作为教学辅助工具，用以直观显示计算机计算出的着陆点。然而，飞行员必须警惕在 100 英尺高度以下时引擎扬起的月尘。在此阶段，视野可能会变得模糊，需要飞行员将注意力从舷窗转移到驾驶舱仪表上，以完成安全着陆。
正在检查您的浏览器……需要启用 JavaScript
苹果发布了 2027 年度软件更新（包括 iOS 27、iPadOS 27、macOS 27 等），其核心亮点为 **Siri AI**。这一新一代具备情境感知能力的智能助手，支持屏幕内容感知、跨平台历史记录同步，并与相机应用集成以执行实时任务。 主要亮点包括： * **Apple Intelligence：** 各类应用新增人工智能工具，包括增强型照片编辑（空间重构）、用于内容生成的“图像游乐场”（Image Playground），以及更智能的 Safari 标签页管理。 * **儿童安全：** 重新设计的“屏幕使用时间”体验和更完善的家长控制功能，使家长能够以更细致的方式管理应用访问权限、联系人审批及网站浏览。 * **性能与设计：** 整个生态系统的运行速度显著提升，包括更快的应用启动速度、更优的文件传输以及更顺畅的连接体验。UI 界面引入了“液态玻璃”（Liquid Glass）设计优化，带来更具现代感和可定制性的视觉体验。 * **平台特性：** 更新内容涵盖扩展的健康应用功能（如更年期追踪）、Apple TV 的无损音频，以及 Vision Pro 的全新沉浸式环境。 此次更新已于今日面向受支持设备推送。Siri AI 目前支持英语，其他语言支持将于 10 月起陆续推出。部分功能受限于地区法规及硬件要求。