SUCHE

4 Ergebnisse fuer «Mathe-Beweise»

ImProver 2 lässt Mathe-Beweise selbst optimieren

Forscher haben ein neuronales System gebaut, das mathematische Beweise automatisch aufräumt. Klingt nerdig? Ist es auch.

arXiv AI/ML/NLP · 2026-05-25 13:20:31.938760+00:00 · Score 2/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

TOOLS

Open-Source-Flut: 20 neue Modelle für jeden Zweck

Die Modell-Landschaft explodiert — und diesmal nicht wegen der üblichen Verdächtigen. Statt Qwen, DeepSeek oder Kimi dominieren plötzlich neue Namen die Open-Source-Charts. Von ...

Interconnects · 2026-03-30 16:17:09.207494+00:00 · Score 7/10

TOOLS

20 neue Open-Source-Modelle auf einen Schlag

Die Szene liefert ab. Interconnects hat in seiner 20. Ausgabe der "Open Artifacts" so viele verschiedene Modelle gesammelt wie noch nie — und diesmal kommen sie nicht nur von den ...

Interconnects · 2026-03-30 16:20:15.936896+00:00 · Score 6/10

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