heise+ | Mathe-Beweise durch KI: Warum Mathematiker den Modell-Anbietern misstrauen from Heise's blog

OpenAI und Anthropic liefern sich ein atemloses Rennen und nutzen Mathe-Beweise als Benchmark. Doch was ist wirklich KIs Werk und was des Menschen Beitrag?

Source: https://www.heise.de/hintergrund/Mathe-Beweise-durch-KI-Warum-Mathematiker-den-Modell-Anbietern-misstrauen-11313140.html?wt_mc=rss.red.ho.ho.rdf.beitrag_plus.beitrag_plus