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
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.
1
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:
174
1/ A conjectura de Collatz humilhou matemáticos por quase 90 anos. Paul Erdös disse que "a matemática ainda não está pronta para tais problemas." 🧵
Então entregamos para a Transformers. O que eles descobriram nos deixou chocados!
Nova pesquisa da equipe de descoberta matemática da Axiom, blog ao vivo esta manhã.
182
Melhores
Classificação
Favoritos