Estamos publicando uma ampla gama de novos resultados matemáticos produzidos por um modelo de fronteira interno. Temos consultado o Grupo Consultivo Independente sobre Matemática e Inteligência Artificial no Institute for Advanced Study para desenvolver melhores práticas. Para este lançamento, estamos publicando os resultados em um repositório Git Hub, com protocolos para revisões de artigos e citações.
Estamos compartilhando formalizações de muitas das provas em Lean, uma linguagem de programação que permite que provas matemáticas sejam verificadas por um computador. Também estamos publicando 10 resumos do raciocínio do modelo e estimativas de computação gasta. O resultado médio usou o equivalente a aproximadamente três horas de pensamento do Chat GPT Pro.
Queremos que esse progresso ultrapasse a fronteira do conhecimento humano. Financiaremos uma série de workshops, conferências e programas especiais para entender os principais resultados produzidos pela IA. Estamos trabalhando para lançar responsavelmente o modelo que produziu esses resultados e continuaremos a agir com base no feedback da comunidade.
Fonte: Hacker News · Resumido por HeadlinesBriefing