OpenAI anunció oficialmente hoy diez novedades en el campo de las matemáticas y la informática teórica. Estos problemas no han sido resueltos antes, y su investigación principal no ha logrado ningún progreso sustancial durante al menos diez años (o incluso más en la mayoría de los casos).
Se informa que estos resultados fueron calculados mediante una versión interna del modelo central de próxima generación Astra de OpenAI. Con las tarifas de Sol API, el costo total de los tokens necesarios para encontrar soluciones a estos problemas es de aproximadamente $2000. Los investigadores humanos ayudaron a escribir el manuscrito y verificaron formalmente las pruebas en Lean y fueron responsables de su exactitud; sin embargo, las pruebas matemáticas en sí fueron generadas por el sistema OpenAI.
——
Inicio de TI
vía
Noticias de referencia de la bandera del viento - Canal Telegram