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.
