هوش مصنوعی OpenAI با معرفی یک سیستم هوش مصنوعی جدید، صدها فرضیه ریاضی ناشناخته را کشف کرده که می‌تواند مرزهای دانش ریاضی را توسعه دهد.

شرکتOpenAIیکی از XNET حوزه هوش مصنوعی، اخیراً دستاوردی خیره‌کننده در دنیای ریاضیات معرفی کرده است. این شرکت مدعی شده که سیستم هوش مصنوعی آن‌ها توانسته است صدهافرضیه ریاضیکاملاً جدید را کشف کند که برخی از آن‌ها برای بیش از ۲۰۰ سال حل‌نشده باقی مانده بودند. این کشف پتانسیل هوش مصنوعی را در حل مسائل علمی پیچیده، به ویژه در حوزه‌های انتزاعی مانند نظریه اعداد و نظریه نمایش، به نمایش می‌گذارد.

کشف «جواهرات» ریاضی توسط هوش مصنوعی OpenAI

برخی از این کشفیات، حتی توسط ریاضیدانان برجسته نیز به عنوان جواهرات توصیف شده‌اند. فرانسوا شارتون، پژوهشگر ریاضی در آزمایشگاه هوافضای ONERA فرانسه، پس از بررسی بیش از ۱۰۰ مورد از این فرضیه‌ها، بسیاری از آن‌ها را «ذهن‌نواز» خواند و تأیید کرد که برخی از آن‌ها قابل اثبات و واقعی هستند. به گفته وی، این نتایج یک «کمک واقعی» به ریاضیات محسوب می‌شوند. کریستین سر، ریاضی‌دان در دانشگاه پاریس-ساکله نیز با تأیید شارتون، این فرضیه‌ها را «بسیار خوب» ارزیابی کرد و اظهار داشت که از کیفیت آن‌ها شگفت‌زده شده است. این دستاورد، امیدها را برای به‌کارگیریهوش مصنوعیدر کشف الگوهای پنهان در علوم افزایش می‌دهد.

• متا از مدل هوش مصنوعی Muse Wonder برای انجام وظایف پیچیده و طولانی‌مدت رونمایی کرد
• گوگل هوش مصنوعی قدرتمند Gemini 4 Argon را در دسترس کاربران پولی قرار داد
• هوش مصنوعی Claude Code شاید به کشف یک سیاره جدید کمک کرده باشد
• مدیرعامل مایکروسافت: مدل‌های هوش مصنوعی به ترمز اضطراری نیاز دارند

تردیدها و نگرانی‌ها: از «فضولات» تا «غیرریاضی» بودن فرضیه‌ها

با این حال، همه ریاضیدانان به این کشفیات به یک چشم نگاه نمی‌کنند و تردیدهایی جدی مطرح شده است. آدام گاوچر، ریاضی‌دان متخصص نظریه اعداد، برخی از فرضیه‌هایهوش مصنوعی OpenAIرا «پیش‌پاافتاده» دانست، اما در عین حال به وجود چند مورد «جالب» نیز اذعان کرد. کوین بازارد، استاد ریاضی دانشگاه امپریال کالج لندن، با نگاهی بسیار انتقادی‌تر، بسیاری از این فرضیه‌ها را فضولات توصیف کرد و اظهار داشت که آن‌ها «ریاضیات نیستند» و «اصلا چشمگیر نیستند». او نگرانی خود را از حجم بالای فرضیه‌های بدون اثبات و عدم تمرکز بر ایده‌های عمقی ابراز داشت. جیوردی ویلیامسون، استاد دانشگاه سیدنی، نیز این دستاورد را «تولید آشغال‌های به ظاهر قابل‌باور» نامید و بر این نکته تأکید کرد که در ریاضیات، کشف یک ایده کافی نیست و اثبات دقیق آن ضروری است.