Hier kommt die Beweis-Maschine

2026-06-03

Lange hieß es, große Sprachmodelle hätten eine Matheschwäche. Nun hat eine künstliche Intelligenz ein Problem gelöst, an dem Menschen scheiterten.