شرکت OpenAI، واقع در ایالات متحده، روز سه‌شنبه مجموعه‌ای از مقالات تحقیقاتی در زمینه ریاضیات را منتشر کرد که توسط یک مدل هوش مصنوعی منتشرنشده تولید شده است. این مجموعه شامل ۷۲۲ مقاله است که در ۳۷۲ مجموعه مرتبط طبقه‌بندی شده‌اند. این مقالات شامل یافته‌های اصلی، استدلال‌های پشتیبان یا اثبات‌های جایگزین می‌شوند.
تعداد مسائل تحقیقاتی و مراحل تایید
به گفته OpenAI، این مدل در طول آزمایش‌ها حدود ۴۰۰۰ مسئله تحقیقاتی را بررسی کرده است. نتایج منتشرشده در مراحل مختلفی از تایید قرار دارند. این شرکت همچنین اثبات‌های نوشته‌شده به زبان برنامه‌نویسی Lean را منتشر کرده است که به کامپیوترها این امکان را می‌دهد که بررسی کنند آیا استدلال‌های ریاضی به‌طور منطقی پیروی می‌کنند یا خیر. OpenAI قصد دارد با گذشت زمان اثبات‌های بیشتری را نیز منتشر کند.
بیشتر بخوانید: روز دوم کنگره جهانی فضایی در ترکیه با بررسی مأموریت آرتمیس II و ژئوپولیتیک فضا
قدرت محاسباتی و مشاوره با گروه‌های مستقل
OpenAI همچنین ۱۰ خلاصه از استدلال‌های مدل و برآوردهایی از قدرت محاسباتی مورد استفاده را منتشر کرد. به گفته این شرکت، هر نتیجه به‌طور میانگین نیاز به قدرت محاسباتی معادل تقریباً سه ساعت تفکر ChatGPT Pro داشته است. این شرکت همچنین با گروه مشاوره مستقل در زمینه ریاضیات و هوش مصنوعی در مؤسسه مطالعات پیشرفته مشورت کرده است تا نحوه ارائه و به اشتراک‌گذاری این تحقیقات را تعیین کند.
گروه مشاوره در بیانیه‌ای عنوان کرد: "این یک رویداد مهم برای ریاضیات است که پیامدهایی برای ریاضیات و جامعه ریاضی دارد که فراتر از نتایج فردی است." این گروه تأکید کرد که نقش مشاوره‌ای آن‌ها به معنای تأیید نتایج نیست.
این گروه افزود: "عمومی کردن این کار یک گام اولیه است. این انتشار آغاز کار است، نه پایان آن، و فرآیند درک انسانی و ادغام این کار در دانش ریاضی ادامه خواهد داشت. آینده تحقیقات ریاضی نمی‌تواند تنها شامل درک نتایج تولیدشده توسط آزمایشگاه‌های هوش مصنوعی باشد."
بیشتر بخوانید: وزیر صنایع و فناوری ترکیه، Mehmet Fatih Kacir، اعلام کرد که ۲۱ کشور بیانیه آنتالیا را برای استفاده صلح‌آمیز از فضا تصویب کردند · دولت ترامپ از تشکیل نیروی ویژه هوش مصنوعی خبر داد
