heise+ | Mathe-Beweise durch KI: Warum Mathematiker den Modell-Anbietern misstrauen
by from heise online News on (#78R0Q)
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?