#Erdős问题

共 3 条 · 7 天 0 条 · 30 天 0 条

Codex 2 GPT-5.6 1 GPT-5.6 Sol 1 OpenAI 1 Shouqiao Wang 1 推理模型 1 提示词工程 1

信息流里打上「Erdős问题」标签的资讯、产品与论文，按刊登时间排，新的在上。

7月28日

模型中美对照多源确认16:15

研究者用GPT-5.6在5天内解决6个开放Erdős问题

有人用GPT-5.6在5天解了6个数学界的悬案，而且不用高深数学背景，全靠提示工程。

#GPT-5.6 #OpenAI #Erdős问题 #Codex

Amjad Masad@amasad11 个信源在谈原文

7月26日

技巧 Agent 与开发者多源确认17:49

Shouqiao Wang 用 GPT-5.6 Sol 和 Codex 工作流 5 天解 6 个 Erdős 问题

Wang 分享了他用 GPT-5.6 Sol 解数学难题的完整工作流，你不需要是数学家也能跟着做，关键是那些提示词套路。

#GPT-5.6 Sol #Codex #Shouqiao Wang #Erdős问题

AI Will@FinanceYF59 个信源在谈原文

5月25日

模型中美对照多源确认83°19:02

Google DeepMind AlphaProof Nexus 以数百美元解决56年未解数学难题

数学研究者和 AI 推理方向开发者值得关注——AlphaProof Nexus 用极低成本攻克了人类多年未解的难题，虽然成功率低，但证明了形式化验证路径的可行性，建议点开了解其技术细节。

#AlphaProof Nexus #数学推理 #Lean编译器 #Erdős问题

官方账号Decoder@Matthias Bastian8 个信源在谈原文