Tópicos em alta
#
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
Atualização mais recente.
8 de dez., 04:39
Putnam, o teste de matemática universitário mais difícil do mundo, terminou ontem às 16h PT.
Hoje ao meio-dia, o AxiomProver resolveu problemas de 9/12 em Lean de forma autônoma (15h58 PT de ontem, foi 12/8).
Nossa pontuação teria sido #1 entre ~4000 participantes no ano passado e Putnam Fellow (top 5) nos últimos anos
13,83K
Putnam, o concurso de matemática mais difícil do mundo para graduandos, terminou ontem às 16h PT.
Às 15h58, o AxiomProver @axiommathai resolvido autonomamente 8/12 do Putnam2025 em Lean, uma linguagem 100% verificável.
No ano passado, nossa pontuação teria sido #4 de ~4000 e um Putnam Fellow (top 10 nos últimos anos)
277,28K
Há uma beleza em transformar seu aluno em seu colaborador.
Sir Hardy para Ramanujan.
Professor Ono para mim.
E agora, um grupo dos matemáticos mais brilhantes da Axiom @axiommathai à nossa IA.
As equações de Thue com as quais trabalhamos estão no quadro. Nosso artigo foi um exemplo de computação tradicional auxiliando descobertas em formas modulares, curvas elípticas e superfícies K3.
105,07K
Melhores
Classificação
Favoritos