تحلّ ميتا AI ست مسائل رياضية مفتوحة وتنشر ست أوراق بحثية في 2 أكتوبر
بحسب ميتا، ساعدت نماذج AI التابعة لها علماء الرياضيات على حل ست مسائل بحثية مفتوحة تغطي مجالات متعددة من الرياضيات في 2 أكتوبر 2026. ونشرت الشركة هذا العمل في ستة أبحاث أعدّها فريق أبحاث الذكاء الاصطناعي الأساسي (FAIR) ومختبرات الذكاء الفائق. وتمثلت إحدى النتائج الرئيسية في تفنيد بمساعدة AI لحدسية سبق أن طرحها الباحثان García-Martínez وPérez-Rodríguez. وفي وقت سابق، في مايو 2026، صاغ نظام AutoformBot التابع لميتا 26 كتابًا مدرسيًا في الرياضيات تلقائيًا بصيغة رسمية باستخدام Lean 4، مولدًا أكثر من
META%2.40+
GateNews·10-02 20:23
