LLMs meistern PhD-Mathematik: Benchmark aus Theoretischer Informatik
Die rasante Entwicklung großer Sprachmodelle (LLMs) hat in den letzten Jahren bedeutende Fortschritte im automatisierten mathematischen Denken und in der wissenschaftlichen Forschung ermöglicht. Studien zeigen, dass KI-…