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.
Os problemas de Erdos são um exemplo definitivo de modelos que ultrapassam um limite. A ideia de que uma IA poderia resolver um, quanto mais vários, sozinha teria sido insana há um ano (o1 era completamente novo), e agora temos múltiplos problemas de Erdos resolvidos pelo GPT-5.2 Pro nas últimas semanas.
Há 11 horas
Resolvi um segundo problema de Erdos (#281) usando apenas o GPT 5.2 Pro - nenhuma solução anterior encontrada.
Terence Tao chama isso de "talvez a instância mais inequívoca" de IA resolvendo um problema em aberto:
Para ser claro: o GPT-5.2 Pro não está a resolver isto de forma autónoma, é solicitado por uma pessoa, e muitas vezes itera usando Lean.
54
Top
Classificação
Favoritos