OpenAI compartilha solução assistida por IA para o problema de Navier-Stokes
Publicação traz artigo explicativo e demonstração formal validada na linguagem Lean sobre o problema do Prêmio do Milênio.
Capa editorial: OpenAI compartilha solução assistida por IA para o problema de Navier-Stokes
A OpenAI divulgou uma proposta de solução gerada por inteligência artificial para o problema do Prêmio do Milênio de Navier-Stokes, um dos desafios mais proeminentes da matemática contemporânea. A divulgação inclui um relatório teórico acompanhado de uma prova matemática formal elaborada na linguagem Lean, permitindo verificação computacional por matemáticos e cientistas da computação ao redor do mundo.
O Radar na sua caixa de entrada
Uma seleção curta de tecnologia, negócios e inovação, com confirmação por e-mail.
