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.
Axiom
Ao longo de 98 anos de história da competição Putnam (desde 1927), houve apenas 5 pontuações perfeitas.
AxiomProver tirou 120/120.
Saúdamos os alunos que participaram do exame e esperamos ver mais monitores humanos impressionantes!
11 de jan., 01:49
A IA acabou de alcançar a 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 no ano passado foi 90. O canteiro central? 0. O provador de IA do Axiom em Lean marcou 120/120 e apenas compartilhou todas as soluções.
Um marco enorme para a IA em Matemática.
161
1/ AxiomProver recebeu 12/12 do Putnam 2025. Hoje lançamos as provas Lean geradas pelo AxiomProver de forma autônoma.
Também fornecemos nossa visão dos problemas, comprovamos visualizações e comparamos como humanos versus IA abordam de forma diferente. Muita matemática divertida e Lean!
Nossas conclusões no tópico.
285
de Putnam (demonstração formal de teoremas) a descobertas matemáticas de novo, venha fazer um ótimo trabalho conosco na Axiom
12 de dez. de 2025
Os estudantes atuais são a primeira geração de acadêmicos capazes de usar modelos de IA para tarefas de pesquisa substanciais e abstratas em larga escala.
Minha perspectiva @a16zcrypto para 2026, QED:
456
Melhores
Classificação
Favoritos