Wir haben in diesem Jahr eine Leistung auf Goldmedaillen-Niveau bei der IMO erreicht! Unser Modell denkt und schreibt Beweise in klarem, einfachem Englisch - kein formaler Code erforderlich. Im Gegensatz zu den engeren Systemen, die in früheren Wettbewerben verwendet wurden, ist unser Modell darauf ausgelegt, umfassend zu argumentieren, weit über die Wettbewerbsprobleme hinaus.