Finde Modelle, Firmen und Themen

In den letzten Jahren haben sich große Sprachmodelle (LLMs) als starke Kandidaten für mathematische Wettbewerbe etabliert und sogar komplex…

Ein neues Benchmark‑Set namens FormalProofBench wurde vorgestellt, um zu prüfen, ob KI‑Modelle in der Lage sind, mathematische Beweise auf…

In einer bahnbrechenden Studie zeigen neue KI-Modelle, dass eine schlanke, sprachbasierte Pipeline in der Lage ist, komplexe Forschungsaufg…

DeepMind hat mit AlphaProof einen neuen Meilenstein in der KI-Forschung erreicht. Das System ist in der Lage, komplexe mathematische Aufgab…

Ein neues Verfahren zur Optimierung der Datenmischung für das supervised Fine‑Tuning großer Sprachmodelle wurde vorgestellt. Die Autoren st…