Tendencias del momento
#
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.
Los problemas de Erdos son un claro ejemplo de modelos que superan un umbral. La idea de que una IA pudiera resolver uno, y mucho menos varios, por su cuenta habría sido una locura hace un año (o1 era completamente nuevo), y ahora tenemos múltiples problemas de Erdos resueltos por GPT-5.2 Pro en las últimas semanas.
Hace 11 horas
He resuelto un segundo problema de Erdos (#281) utilizando solo GPT 5.2 Pro - no se encontraron soluciones previas.
Terence Tao lo llama "quizás el caso más inequívoco" de IA resolviendo un problema abierto:
Para ser claros: GPT-5.2 Pro no está resolviendo esto de manera autónoma, es impulsado por una persona, y a menudo itera utilizando Lean.
57
Parte superior
Clasificación
Favoritos