heise+ | Mathe-Beweise durch KI: Warum Mathematiker den Modell-Anbietern misstrauen

T2Covered by 1 source · first reported by Europe/UK: Tech.eu / Sifted / TNW / Silicon Republic / UKTN / Computer Weekly / heise / Golem / t3n / Maddyness / FrenchWeb at 30 Sept, 15:30 UTC

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?