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