S nadšením oznamujeme sponzorství ve výši 1 000 000 dolarů přímo studentům a výzkumníkům, abychom podpořili další výzkum pomocí AI a formálního ověřování. Více podrobností 👇

Za poslední dva měsíce, od chvíle, kdy jsme Aristotela široce zpřístupnili veřejnosti, je stále jasnější, že vstupujeme do nové éry matematických objevů. Studenti a výzkumníci na všech úrovních a z mnoha oborů využili Aristotela k řešení otevřených domněnek a ověřování charakteristických výsledků.

Investujeme náš kapitál a zdroje k dalšímu urychlení pokroku v oboru díky dvěma počátečním úrovním sponzorství.