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.
Leeham
IA e LLMs
Um novo modelo GPT Pro parece estar sendo testado na web, não sei sobre o aplicativo.
Parece um salto ENORME na habilidade de programação; Pode produzir 6000+ linhas em um único prompt. Mais exemplos nos comentários.
Você pode saber se tem se houver um botão de joinha/baixo ao lado do resumo do CoT.
169
Problema de Erdős #635 resolvido autonomamente pelo GPT-5.2 Pro.
O modelo pensou por apenas 50 minutos, produzindo uma prova correta em látex, e depois formalizado em Lean por Aristóteles de @HarmonicMath.
Um grande obrigado à @AcerFur por limpar o Lean.
A revisão da literatura continua em andamento.
153
Melhores
Classificação
Favoritos