O AGENTICO
Voltar
Lean
produto · 2 menções
AnthropicMenções
A prova apresentada pela OpenAI foi formalizada em Lean, como indicou Sebastien Bubeck.
A formalização em Lean é um passo importante para garantir a validade da prova.
Dois matemáticos da Anthropic confirmaram o resultado, que foi formalizado com o programa Lean.
A verificação formal com Lean aumenta a confiabilidade do resultado obtido pela IA.
Todo dia, só o que dois veículos independentes confirmaram — no seu feed.