Vandaag markeert een belangrijke mijlpaal voor AI en wiskunde. Hoewel Aristoteles en andere tools de afgelopen maanden enorme vooruitgang hebben geboekt in het oplossen van Erdos-problemen, zijn er altijd enkele vervelende kanttekeningen geweest. Vandaag, het eerste autonoom door AI gegenereerde / geformaliseerde Erdos-probleem, met een combinatie van Aristoteles en GPT 5.2 Pro. De eerste van vele.