Claude e a Hipótese de Riemann

Joao Marcos

unread,

Aug 14, 2026, 8:37:06 PM (22 hours ago) Aug 14

to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

Anthropic's Claude tried to solve the Riemann hypothesis and found
something new instead
The model's 67.2% result appears to offer a genuinely new idea in number theory
https://www.techspot.com/news/113472-anthropic-claude-tried-solve-riemann-hypothesis-found-something.html

Esta parte é divertida:
Human researchers did not provide detailed mathematical guidance,
according to Anthropic. Their input largely consisted of
encouragement, including telling the model to "believe in itself" and
"keep going."

The Research Process
- Tried 650 initial ideas that failed before receiving human
encouragement to continue.
- Used 60 sub-agents and ran 2,400 shell commands across two code sessions.
- Generated 31 million output tokens writing Python scripts and checking math.
- Formalized parts of the proof using the Lean proof assistant.
https://www.youtube.com/watch?v=s4Nz67iKMmg

JM

Thiago Nascimento da Silva

unread,

Aug 14, 2026, 8:42:14 PM (22 hours ago) Aug 14

to Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

O futuro será dos escritores de autoajuda.

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
Você está recebendo esta mensagem porque se inscreveu 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/CAO6j_LgUkc-SY6U2%3DeYZqoApZY5AUXZ2j4XXbBm-%2BGiGMiQPUQ%40mail.gmail.com.

Walter Carnielli

unread,

Aug 14, 2026, 10:41:54 PM (20 hours ago) Aug 14

to Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

O Claude da Anthropic aumentou (bem), a evidência na hipótese de Riemann .

Agora certamente vamos ver logo mais a IA aumentando a evidência na conjectura de Goldbach e no problema dos primos gêmeos.

O risco é que comecem a trocar a prova por "evidência elevada para além da dúvida razoável,"aí começa a derrocada da matemática e do conhecimento científico.

Abraços ,

W.

========================
Walter Carnielli
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil