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
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.
79
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:
234
1/ A conjectura de Collatz tem humilhado matemáticos há quase 90 anos. Paul Erdös disse "a matemática ainda não está pronta para tais problemas." 🧵
Então, entregámo-la aos transformadores. O que aprenderam nos surpreendeu!
Nova pesquisa da equipe de descoberta matemática da Axiom, blog ao vivo esta manhã.
240
Top
Classificação
Favoritos