أطلقت OpenAI نتائج حول 377 مشكلة رياضية تشمل الجبر، نظرية الأعداد، علوم الحاسوب النظرية، المنطق الرياضي والهندسة، following its earlier claim of solving the Navier-Stokes equation, a Millennium Problem with a $1 million prize. النتائج استخدمت نموذج AI غير منتشر متقدم وتم مراجعته باستخدام نظام التحقق Lean، مع وقت حساب متوسط يبلغ حوالي ثلاث ساعات لكل حل. قالت OpenAI إنها incorporated ملاحظات من مجلس استشاري مستقل مستقل من قبل معهد الدراسات المتقدمة في برينستون، N.J.، والذي يشمل mathematician Harvard Melanie Wood. دعا المجلس إلى الشفافية، طالباً إطلاق prompts AI و цепочек التفكير، وانتقد شركات AI لاختبار النماذج الخاصة بها على مشاكل غير محلولة. على الرغم من ذلك، تواصل OpenAI الاختبارات الداخلية، وقال باحث lead Dan Roberts إن ذلك يساعد في بناء أدوات أفضل. حذر mathematician NYU Tristan Buckmaster من أن AI قد تكون completing proofs باستخدام عمل mathematicians السابق، مما يثير مخاوف حول الائتمان والأصلية في الاكتشاف المعتمد على الذكاء الاصطناعي.
المصدر: New York Times Top Stories · لخّصه HeadlinesBriefing