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

من بوتنام (إثبات النظرية الشكلية للنظرية) إلى الاكتشاف الرياضي الجديد، تعال وقدم عملا رائعا معنا في أكسيوم

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