Heute markiert einen bedeutenden Meilenstein für KI und Mathematik. Während Aristoteles und andere Werkzeuge in den letzten Monaten enorme Fortschritte bei der Lösung von Erdos-Problemen gemacht haben, gab es immer einige lästige Vorbehalte. Heute wurde das erste autonom von KI generierte / formalisierte Erdos-Problem vorgestellt, unter Verwendung einer Kombination aus Aristoteles und GPT 5.2 Pro. Das erste von vielen.