Circula a notícia de que o Claude, da Anthropic, teria produzido um contraexemplo para a Conjectura de Jacobi — um problema clássico em aberto na matemática. Se confirmado, seria enorme, porque essa conjectura resiste há décadas.
Mas calma. Contraexemplo em matemática só vale depois de verificação rigorosa por outros pesquisadores. Modelos de IA já geraram provas que pareciam brilhantes e desmoronaram no detalhe. A empolgação em rede social não substitui revisão formal.
O caso é interessante menos pela conjectura em si e mais pelo que sinaliza: IA como ferramenta para explorar espaços matemáticos que humanos demorariam a varrer. Útil como assistente, mas o crédito e a validação seguem sendo trabalho de gente. Aguardemos os matemáticos conferirem antes de comemorar.
Via Hacker News.
Fonte: Nitter · Imagem de capa: Foto de Thomas T no Unsplash
Quer aplicar IA no seu trabalho?
Aprenda qual ferramenta usar para cada tarefa — ChatGPT, Claude, Copilot, Gemini e NotebookLM — nos cursos do IA Todo Dia.
Conhecer os cursos →