LLMs prüfen mathematische Beweise: Open‑Source fast so gut wie Frontier‑Modelle
In den letzten Jahren haben sich große Sprachmodelle (LLMs) als starke Kandidaten für mathematische Wettbewerbe etabliert und sogar komplexe offene Probleme gelöst. Damit ihre Ergebnisse jedoch Vertrauen gewinnen, müsse…