‏کلود میتوس مسئله‌ی ریاضی اردوش را هم حل کرد

OpenAI چند وقت پیش یه دستاورد بزرگ توی ریاضیات اعلام کرد: حل حدس فاصله‌ی واحد اردوش (Erdős unit-distance conjecture)، یه مسئله‌ی باز در حوزه‌ی هندسه‌ی ترکیباتی که از سال ۱۹۴۶ حل نشده بود. حالا Anthropic هم می‌گه مدل جدیدش Claude Mythos همین مسئله رو حل کرده — اون‌هم با یه «اثبات ساده و ظریف».

مهندس Anthropic، Sholto Douglas، در توییتر نوشت که این نتیجه نشونه‌ی «اُورهَنگ جدی» (serious overhang) در کشفیات ریاضی مبتنی بر هوش مصنوعیه؛ یعنی توانایی‌های مدل‌ها خیلی بیشتر از چیزیه که تا حالا ازشون دیدیم.

تیم برای این کار از یه سیستم آزمایشی استفاده کرد که بعد از حل مسئله‌ی شماره ۱۱۹۶ اردوش توسط هوش مصنوعی ساخته شده بود. روش کار اینه که چند نمونه‌ی مجزا از Claude Code مسئله رو دریافت می‌کنن، مسیرهای مختلف حل رو پیدا می‌کنن، بعد یه نمونه نتایج رو جمع‌بندی کرده و بین بقیه‌ی نمونه‌ها که مستقل کار می‌کنن پخش می‌کنه.

ریاضیدان Daniel Litt نتیجه‌ی Mythos رو «کمی ضعیف‌تر» از کار OpenAI ارزیابی کرده، ولی گفته Mythos راه‌حل OpenAI رو هم پیدا کرده — یعنی مدل به جواب درست رسیده، فقط مسیر اولیه‌اش فرق داشته. Anthropic یه نسخه از اثبات رو که Opus 4.7 آماده کرده به‌صورت عمومی منتشر کرده.

Google DeepMind هم اخیراً اعلام کرد که سیستمش AlphaProof Nexus نُه مسئله‌ی اردوش رو حل کرده، ولی اون رویکرد به زبان اثبات رسمی Lean متکیه که از دید طرفداران مدل‌های زبانی خالص چندان جذاب نیست. البته Claude Code هم یه چارچوب عاملی (agentic harness) هست، نه یه مدل زبانی ساده.

نکات کلیدی:

• Claude Mythos حدس فاصله‌ی واحد اردوش رو با اثباتی ساده‌تر از OpenAI حل کرده
• روش کار: چند نمونه‌ی مستقل Claude Code که نتایجشون با هم ترکیب می‌شه
• ریاضیدان Daniel Litt نتیجه رو کمی ضعیف‌تر ارزیابی کرده، اما تأیید کرده مدل به جواب درست رسیده
• Anthropic نسخه‌ی آماده‌شده توسط Opus 4.7 رو منتشر کرده
• DeepMind هم با AlphaProof Nexus ۹ مسئله‌ی اردوش رو حل کرده، اما با رویکرد متفاوت