Avanços de IA em matemática compartilhados com acesso aberto

Uma grande publicação de resultados matemáticos gerados por um modelo interno foi disponibilizada publicamente através de um repositório GitHub. A publicação inclui provas formalizadas em Lean, uma linguagem de programação utilizada para verificar a lógica matemática. O repositório também contém documentação detalhada sobre o raciocínio, os custos computacionais e as estatísticas de resolução de problemas do modelo. O resultado médio exigiu o equivalente a três horas de computação do ChatGPT Pro. A publicação segue consultas com o Grupo Consultivo sobre Matemática e Inteligência Artificial no Instituto de Estudos Avançados, que ajudou a definir as melhores práticas para o compartilhamento de resultados. A empresa está explorando plataformas adicionais hospedadas pela comunidade para futuras publicações e planeja melhorar a qualidade dos próximos artigos através de citações e explicações mais detalhadas. Também anunciou financiamento para workshops e programas para explorar ainda mais os avanços matemáticos gerados por IA. A iniciativa visa aumentar a transparência científica e capacitar os pesquisadores com capacidades avançadas de IA. A empresa enfatizou seu compromisso com a publicação responsável de modelos e com a avaliação contínua deles em várias disciplinas científicas para acelerar o progresso nessas áreas.