IA
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 Space