O futuro será dos escritores de autoajuda. Em sex., 14 de ago. de 2026, 21:37, Joao Marcos <[email protected]> escreveu:
> 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 > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <[email protected]> > --- > 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 [email protected]. > 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 > . > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- 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 [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOHRVBViwE6O2Ut7WHFoR2buK7iVtUtNCgPz157rpAGgWFPXEQ%40mail.gmail.com.
