@veit und einer meiner Buddies claimed eines der mathematischen Millennium Probleme mit Hilfe von AI gelöst zu haben...Paper hat er gerade in der Review.