Grok 4.5 ayudó a refutar una hipótesis matemática sin resolver durante unos 30 años
xAI
El modelo Grok 4.5 de xAI colaboró en la refutación de una hipótesis matemática de larga data que permaneció sin resolver durante aproximadamente tres décadas. Esta colaboración resalta la utilidad de la inteligencia artificial avanzada en la investigación matemática.
Según un informe, Grok 4.5, un modelo desarrollado por xAI, desempeñó un papel en la refutación de una hipótesis matemática que había permanecido sin resolver durante aproximadamente 30 años. Este logro subraya el potencial de la inteligencia artificial para ayudar en problemas matemáticos complejos, marcando un hito notable en la intersección entre la inteligencia artificial y las matemáticas.
Fuente: xAI Grok (GNews) —
original