🔥 Hacker News 今日精选
- AI 金融建议出乎意料地好 — 只要你问对问题 — MIT Sloan 研究：AI 在金融建议方面表现优异，关键在于提问方式。涉及 AI + 金融交叉领域的实证研究。
- 探索式建模 (Explorative Modeling)：在 K 次猜测中训练最佳结果 — 一种新的机器学习训练范式，通过对多次猜测进行采样和筛选来提升模型表现，类似推理时搜索的思路。
- Flint：AI 时代的可视化语言 — 微软开源的 Flint Chart，专为 AI 时代设计的声明式可视化语言，让 AI 能更自然地生成图表。
⭐ GitHub 今日热门新仓库
- openai/ten-proofs (200⭐) — OpenAI 发布的形式化数学与理论计算机科学证明的 Lean 证书库，展现 AI 辅助证明的前沿进展。
- humanizer-cli (135⭐) — 终端里的 AI 文本检测工具，提供 33 种方法识别 AI 撰写的文本，含前后对比、草稿检查器，零依赖。
- codex-deepseek-vision (114⭐) — 让 DeepSeek-V4 等纯文本模型在 Codex 中无障碍调用 view_image 看图工具，附视力工具包。
- bindwidth (55⭐) — 面向本地 LLM 推理的证据感知型规模估算与 TCO 计算器，助力企业自建推理基础设施决策。
📊 趋势观察
今日热点集中在三个方向：(1) AI + 金融/专业建议的实证研究持续升温；(2) 微软在 AI 可视化基础设施上持续投入；(3) AI 文本检测与模型能力扩展（视觉）成为开发者关注焦点。OpenAI 在形式化证明领域的 Lean 证书发布，标志着 AI 在数学推理方向的实质性进展。