IA apresentou contra-exemplo para Conjectura Jacobiana (!!!)

24 views
Skip to first unread message

Samuel Gomes da Silva

unread,
Jul 21, 2026, 8:52:36 PM (2 days ago) Jul 21
to Logica-l
 
(Aparentemente é um contra exemplo fácil de ser checado...)

Ruy Jose Guerra Barretto de Queiroz

unread,
Jul 22, 2026, 3:27:43 AM (yesterday) Jul 22
to Samuel Gomes da Silva, Logica-l
Caro Samuel,

Em ter., 21 de jul. de 2026 às 21:52, 'Samuel Gomes da Silva' via LOGICA-L <logi...@dimap.ufrn.br> escreveu:
 
(Aparentemente é um contra exemplo fácil de ser checado...)
A verificação foi formalizada em Isabelle:

Um abraço 
Ruy

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/559995993.44974602.1784681550013.JavaMail.zimbra%40ufba.br.

samuel

unread,
Jul 22, 2026, 10:54:51 AM (yesterday) Jul 22
to LOGICA-L, r...@cin.ufpe.br, Logica-l, samuel
Apesar de não ser uma conjectura que "atingiu o grande público leigo" (como fizeram as de Fermat, a dos primos gêmeos,
a de Goldbach, o problema 3x + 1, entre outros), nos corredores de quem trabalha com matemática no dia-a-dia a Jacobiana
era uma conjectura das mais importantes, com resultados "pendentes" em geometria, sistemas dinâmicos...

É um major result esse.

Atés

[]s  Samuel
Reply all
Reply to author
Forward
0 new messages