Terence Tao, problemy Erdősa i AI Przemysław Chojecki opowiada jak AI pomaga w dowodzeniu twierdzeń matematycznych. informatyka sztuczna inteligencja Delta 7/2026