OpenAI presenta diez avances en matemáticas y ciencias de la computación teórica

Ten advances in mathematics and theoretical computer science

OpenAI ha anunciado diez resultados que resuelven problemas abiertos durante décadas en áreas como geometría de altas dimensiones, teoría de códigos, complejidad de circuitos aritméticos, teoría de grupos, álgebras de operadores, complejidad cuántica, criptografía de retículos y combinatoria extremal. Los hallazgos, obtenidos con una versión interna de Astra, su próximo modelo principal, incluyen nuevas cotas superiores para el empaquetamiento de esferas, una construcción que establece la existencia de grupos no-sóficos, y la refutación de la conjetura de rigidez de Connes. OpenAI ha preparado manuscritos y certificados Lean para cada demostración, y enfatiza la importancia de una atribución honesta en la era de la IA.