Dziś udostępniamy kod źródłowy Nomos 1. Przy zaledwie 30 miliardach parametrów uzyskuje 87/120 w tegorocznym Putnamie, jednym z najbardziej prestiżowych konkursów matematycznych na świecie.
Ten wynik uplasowałby nas na #2/3988 w 2024 roku i stanowi nasz pierwszy krok z @hillclimbai w kierunku stworzenia SOTA AI matematyka.