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.
anton 🇺🇸
Essas seriam provas insatisfatórias e, embora pudéssemos adotá-las como máquinas para pesquisas futuras (porque tínhamos certeza de sua verdade), o jogo seria chegar a provas interpretáveis por humanos. É improvável que a matemática pare para os humanos tão cedo. A verdade não é suficiente.
12 horas atrás
se grandes modelos matemáticos funcionarem (parece que sim, até agora), será estranho ter um monte de teoremas não resolvidos anteriormente comprovados, enquanto possivelmente não há nenhum humano que possa ler as provas do modelo Lean-ese para realmente saber como as provas funcionam
950
Melhores
Classificação
Favoritos