«Математика переживает крупнейшие изменения в своей истории.» Рад видеть, что наш математический агент #Aletheia был упомянут в @newscientist в связи с его результатами на первом конкурсе FirstProof, наряду с другими интересными вехами в исследовании ИИ для математики! Это имеет важные последствия, о которых стоит подумать. Ссылка в теме.