fajny kamień milowy w matematyce AI Arystoteles (matematyk AI) właśnie rozwiązał problem Erdosa #124, który był otwarty przez prawie 30 lat boris alexeev (matematyk badawczy) uruchomił go na nowej wersji beta Arystotelesa z silniejszym rozumowaniem + interfejsem języka naturalnego, a on wygenerował pełny formalny dowód. dość szalony moment dla dowodzenia twierdzeń AI.