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 ...
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 ...
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 ...