Skvělý milník v AI matematice Aristoteles (matematik zaměřený na AI) právě vyřešil Erdosův problém #124, který byl otevřený téměř 30 let Boris Alexejev (výzkumný matematik) jej provedl na nové beta verzi Aristotela s pevnějším rozvozením + přirozeným jazykovým rozhraním a vytvořil plný formální důkaz. Docela šílený moment pro dokazování AI vět.