2026年09月10日 黑客新闻

2026-09-10 Hacker News Top Stories # OpenAI 发布论文证明纳维-斯托克斯方程存在有限时间奇点，使用约1万智能体耗时88小时完成Lean形式化验证。 模型过度乐于助人、反复验证和向后兼容导致代码臃肿，需通过PROJECT.md明确约束。 Tailwind Labs被Shopify收购，框架保持MIT许可但商业业务停止新用户注册。 Jacob Coxon警告OpenAI和Anthropic竞相开发自我改进的超智能，可能在本十年末杀死所有人。 Meta推出Muse个人AI代理，运行在安全虚拟机上，可自主操作预约、填表和客服等任务。 Flock在全美安装约13

原文：https://supertechfans.com/cn/post/2026-09-10-HackerNews/