یک مدل داخلی OpenAI که گفته میشه به‌مراتب قدرتمندتر از GPT-6 Astra هست، برای حل این مسئله حدود ۱۰ هزار ایجنت هوش مصنوعی رو به‌صورت هم‌زمان به کار گرفته.
این ایجنت‌ها بعد از فقط ۸۸ ساعت به یک راه‌حل رسیدن. بعد از اون، رسمی‌سازی و راستی‌آزمایی اثبات در Lean با کمک GPT-6 Astra انجام شد که ۱۷ ساعت دیگه طول کشید.
نتیجه‌ی گزارش‌شده اینه که:
یک جریان سیالِ نرم و سه‌بعدی می‌تونه تحت تأثیر یک نیروی خارجیِ نرم، در مدت‌زمانی محدود دچار تکینگی (Singularity) بشه؛ در حالی که انرژی کل سیستم همچنان متناهی باقی می‌مونه.
برای کار روی مسئله ناویر–استوکس به‌تنهایی حدود ۱۳۰ میلیارد توکن خروجی تولید شده و مدل داخلی مورد استفاده در این پروژه هنوز در حال آموزشه.
⚠️ البته فعلاً بهتره بگیم OpenAI مدعی حل این مسئله شده؛ چون تأیید نهایی چنین اثبات مهمی نیاز به بررسی مستقل جامعه ریاضی داره.
Source.
#هوش_مصنوعی #AI #ChatGPT #OpenAI
┏━━━━━━━━┓
〓 @AIPyth0n
┗━━━━━━━━┛