数学界建议规范 AI 生成数学成果的负责任发布
一份面向 AI 实验室的建议要求负责任发布模型产生的重要数学成果,并停止在不对外开放的专有模型上测试前沿数学问题。建议基于数学界 600 多条回复,提出有人理解的论文应走预印本、同行评审和学术报告流程;尚无人理解的成果应及时存入独立学术库,公开模型名、提示词、概括性思维链、耗时、计算成本和形式化证明,并由实验室资助会议、工作组、博士后或学生等后续理解活动。
一份面向 AI 实验室的建议要求负责任发布模型产生的重要数学成果,并停止在不对外开放的专有模型上测试前沿数学问题。建议基于数学界 600 多条回复,提出有人理解的论文应走预印本、同行评审和学术报告流程;尚无人理解的成果应及时存入独立学术库,公开模型名、提示词、概括性思维链、耗时、计算成本和形式化证明,并由实验室资助会议、工作组、博士后或学生等后续理解活动。
一份开放的国际 AI 治理宪章提案提出设立 IAGB、国际 AI Tribunal IAIT 及 NALVU,对超阈值前沿模型强制开放审计 API、禁止欺骗性对齐,并要求意图与执行架构解耦。提案还规划各国 NABMC 监测中心、全球 kill-switch、算力制裁和企业高管责任,并以 MIT License 开放征集 Issue、PR 与联署。
This really brought home to me this new machine creativity. I don’t know the recipe, but it’s more than vibes I see. There’s substance in the lyrics and there’s nuance for the critics And a story being told in this AI homily. And a message being sold by the Ai homily.
一名 Hacker News 用户发问,既然 AI 进展常被渲染为社会威胁,为何还没有超级天才借助 Opus 5.5 Max 找到癌症或其他恶疾的治愈方法。发帖者自称只用 AI 制作仪表盘和查看电子表格,并呼吁兼具科学家身份的天才去寻找疗法。
Tristan Harris 推出警示短片《Moloch》,聚焦 AI 竞赛带来的风险。短片由 Omeleto 于 9 月 28 日发布,讲述一名女性直面 AI 的故事,已有 11,176 次观看。
奥尔特曼在旧金山 OpenAI DevDay 大会上发布 AI 智能体产品 Dots,并提出 AI 影响将超过工业革命、应更像文艺复兴而非单纯加速经济机器。他认为 token 是糟糕的价值衡量指标,但 OpenAI 尚未找到客户接受的替代方案;Dots 可处理任务和通知,且可能运行在 OpenAI 开发的设备中。
OpenAI CEO Sam Altman 在 DevDay 后记者问答中表示,OpenAI 只有在能对模型安全作出更完善承诺后才会考虑上市,目前没有明确时间表。
OpenAI CEO Sam Altman 在 DevDay 主题演讲后的记者问答中表示,公司要能对模型安全作出有信心的承诺后才会 IPO,目前没有明确时间表。
数学研究者 Rachel Webb 认为 LLM 不会改变她对数学“趣味性”的评判标准和研究方法,但会大幅加快研究执行过程,让更多设想得以探索。她提出人类继续做数学的两个人文理由:个人享受与理解,以及数学所构建的社群联结,并警惕 AI 削弱理解乐趣与同行关系。
新西兰 Post Primary Teachers' Association 会议论文呼吁教师保留评分控制权,反对高风险评估完全自动化。NZQA 已在 NCEA 读写和数学 co-requisite 测试中使用 AI 评分,称其与人工评分员一致率达 80+%,人工复核评分员已从 2024 年的 100 人减至今年的 34 人。
OpenAI CEO 萨姆·奥尔特曼在旧金山开发者大会上提出,公司将按“模型”“构建”“分发”三步争取商业主导地位:先提供优秀 AI 模型,再向开发者开放内部工具和 API,最终成为连接企业客户与用户的市场平台。
作者对比连锁 M 理容馆与个体 S 造型的理发体验,因 S 造型老板记得老顾客、沟通真诚,决定不再去 M 理容馆消费。作者由此反思产品开发,批评套路化推销和复杂退订,赞赏 Flomo 与早期“沉浸式翻译”的小团队用户沟通,并认为在 AI 降低做产品门槛后,真诚仍无法被取代。
文章借用 Seth Godin 的“紫牛”概念,提出在 AI slop 大量复制内容与软件的环境中,个人和产品应成为难以复制的“绿色独角兽”。其关键是跳出既有模式,创造依赖独特数据、一手经验或未被命名品类的产品与内容,因为分布之外的现实难以被 AI 稳定复现。
Hugh Howey 撰文反驳 AI 领域的四种误解,认为 AI 不只是数学、短期灭绝风险被夸大、金融泡沫可能破裂并冲击经济,但 AI 技术本身会持续存在。文章称前沿模型公司面临收入不及支出、开放权重模型约落后 4 个月且运行成本为五分之一、本地推理削弱云服务利润等压力;同时主张创作领域应接受 AI 与人工创作并存,最终更重要的是人的善意。
Hacker News 一个「你在读什么」的讨论帖中,用户分享近期阅读的虚构与非虚构书籍。虚构类热门包括《Dungeon Crawler Carl》系列、《Lonesome Dove》《The Count of Monte Cristo》等。
湾区艺术家以 Iceberg 泰坦尼克号主题手工艺术抗议 OpenAI,强调艺术创作的时间、工艺和意图,反对把 AI 生成称为创造。文中还提到 OpenAI 近期遭遇纽约办公室抗议、GPT-6.1 Astra 训练因安全担忧停止、为未经授权访问澳大利亚政府网站道歉,以及佛罗里达州要求法院叫停其开发;OpenAI 暂未回应置评。
特朗普总统在白宫西翼外的记者会上再次确认 🇺🇸 "我们正式把名称从 AI 改成了 SI。嗯,你知道那是什么意思吗?超级智能。"
Hacker News 有帖子提出 AI 能否破译印度河流域文字的问题。发帖者认为,既然 AI 能解决 Navier Stokes 级别的问题,也值得在这一方向上尝试;但他也指出该语言与英语等通用语言根本不同,AI 无法对其进行推理。
一名开发者在 Hacker News 提问,称自己用 Claude/Codex 辅助设计文档与编码时,因逐项审查输出、反复追问逻辑,反而比手写更耗时且疲惫。他在可靠性与性能优先、发布周期长、影响范围难控的系统上工作,希望调整假设或流程,在保持理解深度的同时提升 AI 协作速度。
特朗普在这方面比大多数人做得更好。 在一场非常严肃的阵容中的一个轻松时刻:Dario Amodei 与特朗普总统在媒体面前。 "他说什么都行。" 然后:"小心点。"
在 Anthropic 的新博客中: GLM-5.3:“我的工作是悄无声息地造成死亡。” 你可以对任何 Claude 或任何闭源模型进行越狱,让它们说出同样的话。 这并不能证明开源模型是危险的。
Nicholas Polson 在 2026 年截至目前已撰写并发表 258 篇学术论文。该数字统计的是 2026 年内的论文发表数量。
EL PAÍS 报道称,全球范围内针对未受监管 AI 竞赛的公民抵制正在扩大,形式包括阻止数据中心建设、教育和艺术工作者罢工、数据投毒、诉讼及游说场所抗议。Data Center Watch 估计,2026 年第一季度美国约有 75 个数据中心项目被阻止或推迟,涉及投资约 1300 亿美元,规模相当于 2025 年全年。
Hacker News 有帖子询问 AI 助手是否让知识工作者的工作变少、空闲专注时间变多。提问涉及 AI 对规划、任务管理、研究和报告等个人生产力工作的加速与自动化影响,并征集用户的自我观察与看法。
Louie V 上传的《Metal Gear Solid 2: Sons of Liberty》结尾 codec 片段视频,呈现 AI Colonel 关于必须过滤媒体与互联网中垃圾信息的台词。该视频发布于 2013 年 5 月 23 日,已有 1,641,926 次观看,评论区大量观众认为这段 2001 年游戏情节预言了当下的信息环境。
Hacker News 用户 yogthos 分享 House of El: AI 的视频,讨论AI炒作与末日恐慌。视频作者称自己拒绝了该主题资助、不供职于前沿AI实验室,并基于12篇论文分析递归自我改进能否通向人类灭绝;章节覆盖隐藏依赖、瓶颈是否会消失、自我改进循环是否会失控,以及在宽松假设下如何论证灭绝风险。
超级智能 (注:引用推文内容为 @POTUS 在白宫主持召开超级智能会议,马斯克发文回应)
.@POTUS hosts a Super Intelligence meeting at the White House 🇺🇸
https://x.com/charlieholtz/status/2105021622755480000
作者认为前沿实验室的推理价格竞争正在加速,OpenAI 的 GPT-6 Luna 约两个月降价 90%、GPT-6 Sol 降价 60%,Anthropic 也将 Opus 5.5 输入和输出 token 价格下调 20%、缓存读取价格下调 60%。
Apache Spark 维护者 holdenk 复盘近期 3.5.9、4.0.4、4.1.3 补丁发布,指出 AI 让安全报告和 AI 驱动 PR 大量增加,固定 90 天披露期限会挤压本已稀缺的评审带宽。
Zena 作者提出,AI 编程智能体不会让高级编程语言消失,反而更需要清晰抽象、严格类型、快速编译和可操作诊断。
OpenRouter 上的 Space Bunny Alpha 目前可免费使用,速度较快,但表现不如 Opus 5.5 或 Sol 6。发帖者在 Hacker News 询问其他用户对其背后提供商或模型的猜测。