🧠 یکی از بزرگ‌ترین مسائل ریاضی بالاخره توسط هوش مصنوعی حل شد!

مدل جدید OpenAI (GPT-6 Astra) با استفاده از حدود ۱۰ هزار عامل هوش مصنوعی (AI Agents) ادعا کرده مسئله‌ی معروف Navier–Stokes را حل کرده؛ یکی از ۷ مسئله‌ی هزاره که برای حل هرکدام ۱ میلیون دلار جایزه تعیین شده است.

این مسئله بیش از ۲۰ سال است که یکی از چالش‌های بزرگ ریاضیات محسوب می‌شود و درباره‌ی رفتار معادلاتی است که حرکت سیالاتی مثل آب و هوا را توصیف می‌کنند.

🔬 نکته جذاب‌تر اینکه اثبات ارائه‌شده با Lean نیز به‌صورت رسمی بررسی و formalize شده است.

البته هنوز ریاضیدانان مستقل باید این اثبات را بررسی و تأیید کنند؛ بنابراین فعلاً دقیق‌تر است بگوییم OpenAI یک راه‌حل پیشنهادی و formalized ارائه کرده، نه اینکه جامعه ریاضی رسماً آن را پذیرفته باشد.

🤖 هوش مصنوعی داره وارد جایی میشه که تا همین چند سال پیش، حتی تصور حل مسائلش با ماشین هم عجیب بود!


#AI #ChatGPT
CODELAB | GpCodeLab