Notícias de IA
fonte à vista · sem enrolação

Notícias sobre verificação formal

2 artigos

Terence Tao ·

Terence Tao alerta para um 'desalinhamento severo' da IA na matemática

Hacker News
inteligência artificial ·

Projeto usa a linguagem Lean para criar 'guardrails' matematicamente verificáveis em agentes de IA

Hacker News

Ver todas as notícias