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.
Os problemas de Erdos são um exemplo claro de modelos que ultrapassam um limiar. A ideia de que uma IA poderia resolver um, quanto mais vários, sozinha teria sido insana há um ano (o O1 era novinho), e agora temos vários problemas do Erdos resolvidos pelo GPT-5.2 Pro nas últimas semanas.
11 horas atrás
Resolvi um segundo problema do Erdos (#281) usando apenas o GPT 5.2 Pro - nenhuma solução anterior encontrada.
Terence Tao chama isso de "talvez o caso mais inequívoco" de IA resolvendo um problema em aberto:
Para deixar claro: o GPT-5.2 Pro não resolve esses problemas de forma autônoma, é solicitado por uma pessoa, e muitas vezes iterando usando Lean.
57
Melhores
Classificação
Favoritos