Estamos publicando una amplia gama de nuevos resultados matemáticos producidos por un modelo fronterizo interno. Hemos estado consultando con el Grupo Asesor Independiente sobre Matemáticas e Inteligencia Artificial en el Institute for Advanced Study para desarrollar mejores prácticas. Para esta publicación, estamos publicando los resultados en un repositorio de Git Hub, con protocolos para revisiones de documentos y citas.
Estamos compartiendo formalizaciones de muchas de las pruebas en Lean, un lenguaje de programación que permite que las pruebas matemáticas sean verificadas por una computadora. También estamos publicando 10 resúmenes del razonamiento del modelo y estimaciones del cómputo utilizado. El resultado promedio utilizó el equivalente de aproximadamente tres horas de pensamiento de Chat GPT Pro.
Queremos que este progreso impulse la frontera del conocimiento humano. Financiaremos una serie de talleres, conferencias y programas especiales para comprender los principales resultados producidos por la IA. Estamos trabajando para publicar de manera responsable el modelo que produjo estos resultados y continuaremos actuando según los comentarios de la comunidad.
Fuente: Hacker News · Resumido por HeadlinesBriefing