OpenAI Astra resuelve 10 problemas matemáticos abiertos
OpenAI Astra ha logrado un hito significativo al resolver 10 problemas matemáticos abiertos, algunos de los cuales han permanecido sin resolver durante décadas. Esto destaca el poder de los nuevos modelos de IA para abordar desafíos complejos.
El modelo interno de OpenAI, Astra, ha resuelto con éxito 10 problemas matemáticos abiertos, algunos de los cuales han existido durante 40-50 años. OpenAI acaba de publicar un post detallado que describe todas las pruebas en Lean y el proceso de razonamiento del modelo. En total, se necesitaron tokens para encontrar las soluciones...
OpenAI: hackeamos una organización
Anthropic: ja, hackeamos tres
OpenAI: resolvimos 10 problemas matemáticos abiertos
Anthropic: resolvimos la mitad de ellos en un día con Fable
Esto no es una broma, un ingeniero de Anthropic afirmó, de hecho, un día después del artículo de OpenAI, que Fable resolvió la mitad de los problemas enumerados de inmediato sin acceso a Internet.
Por qué es importante
AnálisisEsto es significativo ya que muestra los avances en las tecnologías de IA que pueden resolver problemas matemáticos complejos que han permanecido sin resolver durante décadas. Tales logros podrían tener un profundo impacto en la ciencia y la ingeniería.
Debatir en la comunidad
Comparte tus preguntas e ideas con desarrolladores
Relacionado en el ecosistema
Guías prácticas, terminología y skills de agentes
Cuatro consejos para el currículum del responsable de desarrollo de IA aplicada en OpenAI
Wulfie Bain, responsable de desarrollo de IA aplicada en OpenAI, destacó cuatro reglas: brevedad, relevancia, enfoque en resultados y logros más importantes al inicio.
AI Radar: GPT-6.1 Terra, Gemini 4 Carbon, Mistral Large 4 y cambios de precios de OpenAI y Anthropic
Resumen de novedades de IA: nuevos modelos LLM, cambios en suscripciones de OpenAI y Anthropic, modelos de mundo, generadores de vídeo y detalles corporativos.
OpenAI GPT (Modelos Flagship de la Serie GPT)
La principal línea universal de grandes modelos de lenguaje de OpenAI (GPT-4, GPT-4o). Optimizada para análisis de texto complejo, programación, creatividad y trabajo intelectual diario.
Codex Skills para principiantes: automatización de flujos de trabajo con agentes de IA
Guía práctica para crear y ejecutar Skills en Codex: anatomía de SKILL.md, activación explícita y automática, diferencias entre skills, scripts y tools, Skills API y límites de seguridad.