lean
| الموضوع | الردود | مرات العرض | النشاط | |
|---|---|---|---|---|
| يحل وكيل الذكاء الاصطناعي من Google DeepMind تسع مسائل مفتوحة لإيردوش ويثبت 44 فرضية في OEIS؛ بتكلفة تصل إلى مئات الدولارات لكل إثبات |
|
0 | 11 | 25 مايو 2026 |