Ferramentas

Lean

Acompanhe as últimas notícias, explicações e histórias tecnológicas relacionadas.

Cobertura mais recente

CN
Startup PSI utiliza inteligência artificial para resolver dilema na computação quântica que durou 18 anos

Startup PSI utiliza inteligência artificial para resolver dilema na computação quântica que durou 18 anos

A Physical Superintelligence conseguiu utilizar um modelo avançado de inteligência artificial para resolver a "conjectura de Aaronson-Ambainis", abrindo novos horizontes para o uso de máquinas em descobertas científicas teóricas.

CN
OpenAI publica 722 estudos matemáticos produzidos por um modelo de inteligência artificial interno

OpenAI publica 722 estudos matemáticos produzidos por um modelo de inteligência artificial interno

A OpenAI publicou no GitHub uma coleção de 722 estudos matemáticos produzidos por um modelo interno não disponível ao público, incluindo resultados distribuídos por 372 famílias de problemas. A empresa afirma que os trabalhos passam por diferentes etapas de verificação e que apenas parte deles foi verificada usando Lean.