Tópicos populares
#
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.
Axiom
O Putnam, o teste de matemática a nível universitário mais difícil do mundo, terminou ontem às 16h PT.
Hoje ao meio-dia, o AxiomProver resolveu 9/12 problemas no Lean de forma autónoma (ontem às 15h58 PT, estava em 8/12).
A nossa pontuação teria sido a #1 de ~4000 participantes no ano passado e Putnam Fellow (top 5) nos últimos anos.
290,21K
Top
Classificação
Favoritos