ادعای OpenAI در حل یکی از مسائل پیچیده ریاضی با هوش مصنوعی

شرکت OpenAI مدعی شده است که با استفاده از سیستم هوش مصنوعی خود، یکی از مسائل پیچیده ریاضی یعنی مسئله ناویر-استوکس را حل کرده است. این شرکت با بهره‌گیری از حدود ۱۰ هزار ایجنت هوش مصنوعی که به صورت همزمان فعالیت می‌کردند، توانست اثبات تحلیلی و صورتبندی رسمی این مسئله را در زبان Lean تولید کند. بر اساس این ادعا، سیالی که در حالت سکون و هموار قرار دارد، می‌تواند تحت تأثیر نیروی هموار در زمانی متناهی به وضعیت تکینگی برسد. این فرآیند بر پایه یک گردابه با ساختاری شبیه به رشته‌های اسپاگتی مدل‌سازی شده است که در آن سرعت سیال بدون کران افزایش می‌یابد اما انرژی محدود باقی می‌ماند. OpenAI اعلام کرده که این نتیجه، گزاره‌های C و D در صورت‌بندی رسمی مسئله جایزه هزاره را اثبات می‌کند. این پروژه پس از مشاهده جهش عملکرد مدل‌های داخلی شرکت در اواخر آگوست آغاز شد.