Una versión interna de Astra, el próximo gran modelo de OpenAI, produjo resultados sobre 10 problemas abiertos de matemática y computación teórica. La compañía afirma que algunos resuelven problemas de larga data y que las demostraciones fueron posteriormente formalizadas en Lean. La inteligencia artificial empieza a ocupar un lugar cada vez más ambicioso en la…
La compañía liderada por Sam Altman afirma que uno de sus nuevos modelos de razonamiento logró refutar una famosa conjetura geométrica planteada en 1946 por Paul Erdős. A diferencia de un anuncio anterior, esta vez matemáticos reconocidos respaldan el hallazgo. La carrera por demostrar que la inteligencia artificial puede producir descubrimientos científicos originales acaba de…
Investigadores de OpenAI anunciaron que GPT-5 había resuelto problemas matemáticos «abiertos», pero tuvieron que retractarse. El episodio expone fallas comunicacionales y recuerda que hoy la IA brilla más como asistente de investigación que como genio autónomo. Una serie de tuits y declaraciones de empleados de OpenAI provocó esta semana un revuelo en la comunidad científica:…
La compañía presenta Gemini 2.5 Deep Think, su modelo de pensamiento más avanzado, capaz de abordar desafíos complejos en matemáticas, ciencia y programación. Ya disponible para suscriptores de Google AI Ultra, el sistema redefine los límites de la IA con pensamiento paralelo y resultados que marcan tendencia global. Google vuelve a tomar la delantera en…
La innovadora plataforma de LG AI Research revoluciona el análisis matemático, científico y de programación con modelos de IA de alto rendimiento que establecen nuevos benchmarks globales. LG AI Research ha presentado EXAONE Deep, un avanzado modelo de inteligencia artificial especializado en razonamiento, diseñado para competir con los líderes mundiales en esta área. En una…
