Nikt nie powinien publikować wyników ogłaszających zwycięstwo w konkursie bez dzielenia się dowodami. W przypadku konkursu matematycznego ważnymi dowodami powinny być nieformalne dowody w języku naturalnym lub formalne dowody w Lean4. A te dowody powinny być dołączone do ogłoszenia, a nie tydzień później.
Nie robienie tego to tylko zbieranie zaangażowania i hype. Przemysł AI ma tego wystarczająco dużo.
Nasz pierwszy raport techniczny jest już dostępny! Przedstawiamy bezprecedensowy wgląd w architekturę i metodologię naszego systemu AI; Arystoteles, oraz rzucamy światło na to, „jak” osiągnęliśmy złoty poziom wydajności IMO.
Przeczytaj pełny raport poniżej⬇️