S radostí vám oznamuji, že zakládám novou společnost, která se věnuje vytváření ověřené superinteligence prostřednictvím autoformalizace. Na základě úžasné infrastruktury RL, kterou jsme vyvinuli v @morph_labs, již @mathematics_inc dosáhla průlomového výsledku dokončením formalizace věty o silných prvočíslech pomocí svého nového autoformalizačního agenta Gausse.