Inteligencia Artificial1 ago 2026Modelo Astra OpenAI: IA resuelve diez problemas matematicos con Lean
Inteligencia Artificial15 abr 2026GPT-5.4 Pro de OpenAI: El modelo que resolvió el enigma matemático de Erdős
