Temas en tendencia
#
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 y LLMs
Parece que se está probando un nuevo modelo de GPT Pro en la web, no estoy seguro sobre la app.
Parece un salto ENORME en capacidad de programación; Puede generar 6000+ líneas en un solo prompt. Más ejemplos en los comentarios.
Puedes saber si hay un botón de pulgar arriba/abajo junto al resumen de CoT.
168
Problema de Erdős #635 resuelto de forma autónoma por GPT-5.2 Pro.
El modelo pensó solo 50 minutos, produciendo una demostración correcta en látex, y luego formalizado en Lean por Aristóteles de @HarmonicMath.
Muchas gracias a @AcerFur por limpiar el Lean.
La revisión bibliográfica sigue en curso.
152
Populares
Ranking
Favoritas