SUCHE

2 Ergebnisse fuer «Mathe-Olympiade»

OpenAI löst Mathe-Olympiade mit KI

OpenAI hat einen neuronalen Theorembeweiser gebaut. Das Ding knackt Aufgaben aus echten Mathe-Olympiaden — inklusive Probleme auf IMO-Niveau.

OpenAI News · 2026-03-23 00:19:36.316814+00:00 · Score 8/10

EXPERIMENTAL

Kleine Modelle prüfen Mathe-Beweise genauso gut

Frontier-Modelle wie GPT-4o oder Claude Opus lösen Mathe-Olympiaden und knacken offene Probleme. Aber wer prüft, ob deren Beweise überhaupt stimmen? Ein neues Paper zeigt: Dafür ...

arXiv AI/ML/NLP · 2026-04-06 22:21:14.262385+00:00 · Score 2/10

📬 Wöchentlicher KI-Newsletter — Die Top-5, montags um 8.