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
O ponto de partida para o raciocínio
1/ LIBERTANDO O EIXO: o Axiom Lean Engine ⚙️
Estamos a servir a nossa Infraestrutura central para prova formal em grande escala.
Estas são as mesmas ferramentas de metaprogramação Lean que estão por trás do AxiomProver, capacitando-o a vencer o Putnam e a abrir conjecturas de pesquisa.
Disponível para qualquer pessoa hoje!
264
1/ AxiomProver resolveu a conjectura em aberto de Fel sobre syzygies de semigrupos numéricos, gerando autonomamente uma prova formal em Lean sem qualquer orientação humana.
Esta é a primeira vez que um sistema de IA resolveu um problema de pesquisa não resolvido em matemática de construção de teoria e se auto-verifica.
580
1/ Temos o orgulho de anunciar o Workshop de Matemática&IA de Aarhus, patrocinado e co-organizado pela Axiom.
Os palestrantes incluem os Medalhistas Fields Terence Tao e Maryna Viazovska✨
Da Axiom: Francois Charton @f_charton, Alberto Alfarano @albe_alfa, Seewoo Lee @antimath3
Vejo-vos na Dinamarca! ❄️
1K
Top
Classificação
Favoritos