🧮 شرکت OpenAI، تعداد ۷۲۲ اثر ریاضیاتی تولید شده توسط هوش مصنوعی را منتشر کرد.
در تاریخ ۶ اکتبر، شرکت OpenAI، تعداد ۷۲۲ نتیجه ریاضیاتی را که در ۳۷۲ گروه دسته‌بندی شده‌اند، در GitHub منتشر کرد. تمام این آثار توسط یک مدل داخلی تولید شده‌اند که شرکت هنوز آن را عرضه نکرده است.
اطلاعات ارائه شده:
پیشرفت‌هایی در مورد فرضیه ریمان، موارد خاصی از فرضیه هودج و فرضیه BSD، نتایجی در مورد عدد پی، فرضیه کاپلان و فرومغناطیس کوانتومی هایزنبرگ. بخشی از اثبات‌ها با استفاده از Lean بررسی شده‌اند، اما همه آن‌ها نه. OpenAI اذعان می‌کند که "آثار غیررسمی ممکن است حاوی خطا باشند" ⚠️.
دلیل جلب توجه:
یک گروه مستقل به نام AGMAI که شامل سه برنده جایزه فیلدز است، در اواخر سپتامبر اعلام کرد که از آزمایش ریاضیات پیچیده بر روی مدل‌های بسته استقبال نمی‌کنند و خواستار توقف این کار هستند. OpenAI این درخواست را نادیده گرفت. این مدل هنوز عرضه نشده است 🔒.
محققان ریاضی خاطرنشان می‌کنند که به لحاظ فیزیکی، هیچ‌کس نمی‌تواند این ۷۲۲ اثر را مطالعه کند، و سرعت انتشار آن‌ها را "غیرمنطقی" توصیف می‌کنند.
🔗 https://openai.com/index/sharing-ai-progress-in-mathematics/
#AI #OpenAI #Mathematics
🆔 @asrgooyeshpardaz
در تاریخ ۶ اکتبر، شرکت OpenAI، تعداد ۷۲۲ نتیجه ریاضیاتی را که در ۳۷۲ گروه دسته‌بندی شده‌اند، در GitHub منتشر کرد. تمام این آثار توسط یک مدل داخلی تولید شده‌اند که شرکت هنوز آن را عرضه نکرده است.
اطلاعات ارائه شده:
پیشرفت‌هایی در مورد فرضیه ریمان، موارد خاصی از فرضیه هودج و فرضیه BSD، نتایجی در مورد عدد پی، فرضیه کاپلان و فرومغناطیس کوانتومی هایزنبرگ. بخشی از اثبات‌ها با استفاده از Lean بررسی شده‌اند، اما همه آن‌ها نه. OpenAI اذعان می‌کند که "آثار غیررسمی ممکن است حاوی خطا باشند" ⚠️.
دلیل جلب توجه:
یک گروه مستقل به نام AGMAI که شامل سه برنده جایزه فیلدز است، در اواخر سپتامبر اعلام کرد که از آزمایش ریاضیات پیچیده بر روی مدل‌های بسته استقبال نمی‌کنند و خواستار توقف این کار هستند. OpenAI این درخواست را نادیده گرفت. این مدل هنوز عرضه نشده است 🔒.
محققان ریاضی خاطرنشان می‌کنند که به لحاظ فیزیکی، هیچ‌کس نمی‌تواند این ۷۲۲ اثر را مطالعه کند، و سرعت انتشار آن‌ها را "غیرمنطقی" توصیف می‌کنند.
🔗 https://openai.com/index/sharing-ai-progress-in-mathematics/
#AI #OpenAI #Mathematics
🆔 @asrgooyeshpardaz
OpenAI
Sharing AI progress in mathematics
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.