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