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
Ao longo de mais de 98 anos da história da competição Putnam (desde 1927), houve apenas 5 pontuações perfeitas.
AxiomProver obteve 120/120.
Saudamos os estudantes que participaram do exame e esperamos ver mais impressionantes pontuações perfeitas humanas!
11/01, 01:49
A IA acaba de alcançar uma pontuação perfeita na competição de matemática mais difícil do mundo.
O Putnam tem 12 problemas x 10 pontos. A maior pontuação do ano passado foi 90. A mediana? 0. O provador de IA da Axiom em Lean marcou 120/120 e acabou de compartilhar todas as soluções.
Um grande marco para a IA na Matemática.
51
1/ AxiomProver obteve 12/12 no Putnam 2025. Hoje lançamos as provas Lean que o AxiomProver gerou autonomamente.
Também fornecemos a nossa visão sobre os problemas, visualizações das provas e comparamos como humanos e IA abordam de forma diferente. Uma tonelada de matemática divertida e Lean!
Nossas descobertas no tópico.
229
desde Putnam (prova formal de teoremas) até à descoberta matemática de novo, venha fazer um grande trabalho connosco na Axiom
12/12/2025
Os estudantes atuais são a primeira geração de académicos que poderão usar modelos de IA para tarefas de pesquisa substanciais e abstratas em grande escala.
A minha perspetiva da @a16zcrypto para 2026, QED:
400
Top
Classificação
Favoritos