wird geladen
webAI TwIL LM3 Pro: 3,66B-Modell schlägt Qwen3-8B in formaler Logik · Lumeric