شرکت OpenAI مجموعهای شامل ۳۷۲ نتیجه ریاضی جدید را منتشر کرده که توسط یک مدل پیشرفته داخلی این شرکت تولید شدهاند. هر نتیجه قرار است یک مسئله باز ریاضی را حل کند یا پیشرفت قابل توجهی در مسیر حل آن ارائه دهد. نکته مهم اینکه OpenAI بهجای انتشار این اثباتها در مجلات علمی سنتی، آنها را همراه با سوابق بازبینی و منابع در GitHub قرار داده و برای بسیاری از نتایج نیز از اثبات رسمی و قابل بررسی توسط ماشین استفاده کرده است.
ادامه نوشته