اوپن ای ای ادعا کرده:
«ما در حال ارائه راه‌حلی برای مسئله جایزه هزاره ناویر–استوکس هستیم؛ یکی از عمیق‌ترین مسائل در مرزهای ریاضیات.
این اثبات توسط گروهی از عامل‌ها تولید شده و با استفاده از یک مدل نسل بعدی OpenAI انجام شده که به‌طور قابل‌توجهی از GPT-6 Astra توانمندتر هستش.
این مسئله به این موضوع می‌پردازه که آیا توصیف حرکت روان و سه‌بعدی سیالات، که با معادلات ناویر–استوکس مدل‌سازی میشه، ممکنه دچار شکست بشه یا نه. این مسئله حدود 90 ساله که حل‌نشده باقی مونده.»
البته توی ریاضیات، اینکه یک سیستم کامپیوتری یا حتی یک proof assistant بگه اثبات از نظر صوری سازگاره، با اینکه جامعه ریاضی اون رو به‌عنوان حل نهایی مسئله بپذیره یکی نیست پس فعلا این ادعا هستش.
@Linuxor
Post #5184
11.9K
