A.I. 日报
HN：迁移预提示与推理端隐私风险讨论
HN讨论包括将预提示从Opus迁移到自托管Ollama的注意点，并警示在前沿推理服务上运行会泄露会话元数据、被用于训练的风险，提到Navier–Stokes事件和对OpenAI、Anthropic的不信任。
Navier–Stokes
4 篇报道Navier–Stokes 问题是关于流体动力学中一类偏微分方程的千禧年奖金难题。近期报道集中在 OpenAI 公布的 AI 生成解及其用 Lean 形式化证明，随后 Clay Institute 表示该问题“似乎已被解决”并进入正式审查，同时多位 Fields 奖得主就 AI 与数学目标分歧展开讨论。
相关话题
Clay数学研究所称纳维—斯托克斯问题“似乎已解决”
Clay数学研究所表示，七大千禧年难题之一的纳维—斯托克斯问题“似乎已被解决”，目前正进行正式审查。研究所的声明意味着该问题已进入验证阶段，但尚无最终结论。
数学界与 AI 目标不再一致的争论
文章评述二十五位菲尔兹奖得主签署的信，认为 AI 公司目标与数学界追求概念性理解的目标严重不一致，讨论了学术界在培养学生与保护思想方面的不足，并以 OpenAI 宣布解 Navier–Stokes 问题为背景展开批评。
OpenAI 分享 AI 生成的 Navier–Stokes 解与 Lean 形式化证明
OpenAI 分享了一份 AI 生成的 Navier–Stokes 千年难题解答，包含一篇写作说明与在 Lean 中的形式化证明。该材料公开了 AI 在数学问题求解与机器证明方面的应用示例。
已经到底了