Popularne tematy
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
clhong1248
Najświeższa aktualizacja.
8 gru, 04:39
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.
13,82K
Putnam, najtrudniejszy na świecie konkurs matematyczny dla studentów, zakończył się wczoraj o 16:00 PT.
O 15:58 AxiomProver @axiommathai autonomicznie rozwiązał 8/12 z Putnam2025 w Lean, w 100% weryfikowalnym języku.
W zeszłym roku nasz wynik byłby #4 z ~4000 i Putnam Fellow (top 10 w ostatnich latach)
277,27K
Piękno polega na przekształcaniu swojego studenta w swojego współpracownika.
Pan Hardy do Ramanujana.
Profesor Ono do mnie.
A teraz, grupa najjaśniejszych matematyków w Axiom @axiommathai do naszej AI.
Równania Thue, nad którymi pracowaliśmy, są na tablicy. Nasza praca była przykładem tradycyjnego obliczenia wspierającego odkrycia dotyczące form modularnych, krzywych eliptycznych i powierzchni K3.
105,06K
Najlepsze
Ranking
Ulubione