1/ تحرير المحور: محرك ⚙️ أكسيوم لين نحن نخدم بنيتنا التحتية الأساسية للاختبار الرسمي على نطاق واسع. هذه هي نفس أدوات البرمجة الميتا اللينية التي تقف وراء أكسيومبروفر، مما يمكنه من الفوز ببوتنام وكسر افتراضات البحث. متاح لأي شخص اليوم!

1/ لقد حل AxiomProvover حدسية فيل المفتوحة حول التزويجيات لأشباه المجموعات العددية، مولدا بشكل مستقل برهانا رسميا في لين بدون أي توجيه بشري. هذه هي المرة الأولى التي يحل فيها نظام ذكاء اصطناعي مشكلة بحثية غير محلولة في بناء النظرية في الرياضيات والتحقق الذاتي.

1/ نحن فخورون بالإعلان عن ورشة عمل Aarhus للرياضيات الذكاء الاصطناعي، التي ترعاها ونظمتها Axiom بشكل مشترك. من بين المتحدثين الحاصلين على ميدالية فيلدز تيرينس تاو ومارينا فيازوفسكا✨ من أكسيوم: فرانسوا شارتون @f_charton، ألبرتو ألفارانو @albe_alfa، سيوو لي @antimath3 أراكم في الدنمارك! ❄️