Etiqueta

#razonamiento ia

2 notas publicadas

Claude Mythos resuelve el problema Erdős que OpenAI había anunciado

El ingeniero Sholto Douglas describió la solución como una "prueba simple y elegante" y la atribuyó a un sistema de instancias Claude Code coordinadas.

The Decoder27 may

OpenAI dice que GPT-next refutó un problema de Erdős por menos de USD 1

Un modelo de propósito general, sin asistente formal tipo Lean, descartó una conjetura de geometría discreta abierta desde 1946 con un cómputo estimado en 32 horas.

Latent Space21 may

Etiquetas relacionadas

Otros temas que aparecen junto a #razonamiento ia en nuestra cobertura editorial.

#matematicas2 #Openai1 #GPT-51 #Investigacion Ia1 #Anthropic1 #Claude1 #Mythos1 #erdos1