KI und Mathematik: OpenAI veröffentlicht hunderte neue KI-Beweise

https://www.spektrum.de/news/mathematik-openai-veroeffentlicht-hunderte-neue-ki-beweise/2348634