Ik ben enthousiast om te delen dat ik een nieuw bedrijf begin dat zich richt op de creatie van geverifieerde superintelligentie via autoformalisatie. Gebaseerd op de geweldige RL-infrastructuur die we hebben ontwikkeld bij @morph_labs, heeft @mathematics_inc al een doorbraakresultaat behaald door de formalisatie van de sterke priemgetalstelling te voltooien met zijn nieuwe autoformalisatie-agent, Gauss.