Finde Modelle, Firmen und Themen

In den letzten Jahren haben KI‑Systeme die International Mathematical Olympiad (IMO) mit Goldmedaillen‑Leistungen bezwungen und damit ihre…

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

Ein neues Large‑Language‑Model (LLM) namens InternGeometry hat gezeigt, dass KI-Agenten auf dem Niveau von Olympiad‑Gewinnern in Geometrie‑…

In einer aktuellen Veröffentlichung auf arXiv wird ein neues Konzept vorgestellt, das die Leistungsfähigkeit von KI-Modellen beim logischen…

Mit dem neuen RIMO-Benchmark setzt die Forschung einen klaren Maßstab für die Fähigkeiten von großen Sprachmodellen (LLMs) im Bereich des f…