Spróbujmy trudniejszych i trudniejszych rzeczy, aby nie mogli nazwać naszego zwycięstwa łatwym.
Spróbujmy coraz bardziej smakowitych rzeczy, aby hype wydawał się bezsmakowy.
Spróbujmy redukcji dowodów, aby wiedzieli, że „stosunek długości dowodu do stosunku trudności” to bzdura.
Bądźmy jak struś i działajmy. Kurwa, uwielbiam historię o niedocenianym.
Nowy blog badawczy Axiom:
Uczenie Collatza - Matka wszystkich króliczych nor
Co się dzieje, gdy trenujesz transformator na jednym z najsłynniejszych nierozwiązanych zagadnień matematycznych - a następnie studiujesz, jak się nie udaje?
Putnam, najtrudniejszy na świecie test matematyczny na poziomie uniwersyteckim, zakończył się wczoraj o 16:00 PT.
Dziś w południe AxiomProver rozwiązał 9/12 problemów w Lean autonomicznie (wczoraj o 15:58 PT było 8/12).
Nasz wynik byłby #1 spośród ~4000 uczestników w zeszłym roku i Putnam Fellow (top 5) w ostatnich latach.