他用 AI 筛掉了过难的 Erdős 开放题
FinanceYF5 · x · 2026-07-26
第一个关键是选题。
他优先挑选数学家已经在关注、尤其是 Terence Tao 等人也在讨论的问题，再用 AI 过滤掉那些看起来过难、或与重大开放猜想高度绑定的题目。
所属事件:用AI辅助攻克数学开放题：长程搜索与对抗审查流程公开(8 条相关)→
「编程与Agent」频道最新
- Claude 借 Gemini 2.5 Flash API 直接看视频 — EXM7777 · 2026-07-26
- Agentic coding 让工程管理变成照看失忆型 LLM — MarcJSchmidt · 2026-07-26
- 用 Codex 做出的参数化小猫生成工具已开源 — ring_hyacinth · 2026-07-26
- LLM Zoomcamp 演示把 Pydantic AI agent 追踪进 DuckDB 变成 24 张表 — Al_Grigor · 2026-07-26
- 组合 MCP 服务器整合 Redshift 查询与 S3 语义搜索 — modelcontextprotocol · 2026-07-26
- OneQAZ 推出面向加密和股票的 MCP 交易情报接口 — modelcontextprotocol · 2026-07-26