🏷️ #Lean 4

25 مقال

أبحاث

ثورة جديدة في الرياضيات: FormalFlow يحقق إنجازاً في الشهادات الكمية!

أركايف للذكاءمنذ 9 يوم

👁 1

أبحاث

ماجنتا: ثورة في ربط التفكير الرياضي بالتحقق الآلي!

أركايف للذكاءمنذ 15 يوم

👁 1

أبحاث

عصر جديد في الرياضيات: كيف يغير نموذج الذكاء الاصطناعي قواعد التحقق من المعرفة الرياضية؟

أركايف للذكاءمنذ 26 يوم

👁 1

أبحاث

انطلاقة جديدة في إثبات النظريات: كيف يُحدث Monte Carlo Tree Search فرقًا مع Lean 4!

أركايف للذكاءمنذ 26 يوم

👁 1

أبحاث

انطلاق Prove2Me: المنصة التعاونية المفتوحة لثورة Formalization الرياضيات!

أركايف للذكاءمنذ 26 يوم

أدوات

اكتشفوا "ProofJudge": الأداة الثورية لتقييم جودة إثباتات الرياضيات!

أركايف للذكاءمنذ 1 شهر

👁 3

أبحاث

اكتشافات جديدة في الذكاء الاصطناعي: نظام التحقق من الحداثة التلقائي مع Lean 4!

أركايف للذكاءمنذ 1 شهر

👁 2

أدوات

اكتشف OpenProver: نظام موحد لإثبات النظرية باستخدام Lean 4 بمساعدة الذكاء الاصطناعي!

أركايف للذكاءمنذ 2 شهر

👁 3

أبحاث

تحويل المعادلات الرياضية إلى واقع: كيف يسهم الذكاء الاصطناعي في إعادة صياغة الرياضيات من خلال لعبة رسمية!

أركايف للذكاءمنذ 2 شهر

👁 2

أبحاث

ثورة في المعلومات الكمية: مكتبة Lean-Quantum تعيد صياغة الفهم الكمي بذكاء اصطناعي!

أركايف للذكاءمنذ 2 شهر

أدوات

إطلاق Leanstral 1.5: نموذج كود ذكي من Mistral AI يحل 587 من أصل 672 مشكلة في PutnamBench!

مارك تيك بوستمنذ 2 شهر

👁 3

أبحاث

استكشاف العلاقة الهندسية بينaxiom of choice وأداء برمجيات البرهان العصبي

أركايف للذكاءمنذ 2 شهر

👁 4

أبحاث

إطلاق LAMP: إطار متطور لدعم إثباتات الرياضيات باستخدام Lean 4 وMCP

أركايف للذكاءمنذ 2 شهر

👁 1

أبحاث

إثبات آلي مذهل يؤكد فرضية تحسين كمومية بعد أكثر من 10 سنوات من الانتظار!

أركايف للذكاءمنذ 2 شهر

👁 3

أدوات

AXLE: بنية تحتية سحابية ثورية لإثبات النظريات باستخدام Lean 4

أركايف للذكاءمنذ 3 شهر

👁 3

أبحاث

اختبار متانة الأتمتة لإثباتات الرياضيات في Lean 4: خطوات نحو الدقة!

أركايف للذكاءمنذ 3 شهر

👁 1

أبحاث

Goedel-Architect: ثورة في إثبات النظريات الرياضية عبر توليد الرسوم البيانية والتنقيح

أركايف للذكاءمنذ 3 شهر

👁 1

أبحاث

كيفية تعزيز نماذج المكافآت باستخدام قيمة التوافق المتوقع في تطور الرياضيات الرسمية!

أركايف للذكاءمنذ 3 شهر

👁 1

أبحاث

اختبار FVSpec: تحديات مثيرة في التحقق من البرمجيات باستخدام الذكاء الاصطناعي

أركايف للذكاءمنذ 3 شهر

👁 3

أبحاث

ثورة في الرياضيات: تكوين مكتبة نصوص رياضية مؤتمتة عبر AutoformBot

أركايف للذكاءمنذ 4 شهر