رأي التحرير startupxo
من اللافت أنه من بين 719 ورقة بحثية رياضية في المستودع، لم يتم إتمام الإثبات الصوري باستخدام Lean إلا في 42% منها فقط. النتائج المتبقية لا تزال قد تحتوي على أخطاء، مما يبرز مرة أخرى أن التحقق التدريجي أساسي عند أتمتة حل المسائل الرياضية المعقدة باستخدام الذكاء الاصطناعي. أنا مهتم بمعرفة كيف تُستخدم الأوراق التي تفتقر إلى التشكيل بصيغة Lean في بيئات البحث الفعلية.
لغة الكتابة: الكورية