Open AI und Co.: Können Mathematiker im KI-Zeitalter bestehen?
Open AI hat KI-Beweise für zehn mathematische Probleme veröffentlicht, an denen Menschen vergeblich geknobelt haben. Eine neue Ära der Mathematik bricht an – welche Rolle spielt dabei noch der Mensch?