Este matemático aqui, Max Weinreich: https://www.maxweinreich.com/
Escreveu um artigo se oponto totalmente ao uso de IA em matemática e defendendo o que ele quer chamar de "matemática natural", em oposição à "matemática artificial". O artigo está muito bem escrito... Acho que vale a pena considerar seriamente essa proposta (considerar seriamente não significa aceitar automaticamente ou recusar após alguns minutos): https://arxiv.org/html/2608.02859v1?utm_source=chatgpt.com https://arxiv.org/abs/2608.02859 O que ele descreve no plano sociológico é exatamente o padrão de uma típica revolução tecnológica... o surgimento de novas forças produtivas no seio de um determinado sistema de produção começa por dissolver as relações de produção, a estrutura da sociedade (da produção científica, neste caso), e termina transformando toda a superestrutura que se ergue sobre essa estrutura: as instituições e ideologias... Esse esquema interprerativo vale para transformações econômicas e sociais vistas em longas escalas de tempo, mas pode ser adaptado para a ciência. Se pensarmos que a ciência (matemática, em nosso caso) tem sua própria: 1) infraestrutura (humanos e tecnologia): lápis, papel e borracha; régua e compasso; ábaco; computadores; assistentes de prova, etc; 2) estrutura (relações de produção): aulas na Universidade, seminários de pós-graduação, trabalho individual no gabinete, conferências, simpósios, encontros, etc.; 3) superestrutura (instituições e ideologias): as próprias universidades, os periódicos, agências de fomento, os valores da comunidade, seus critérios para aceitar o que é útil, relevante ou significativo. Então, temos uma força produtiva, o pensamento humano, que parece estar sendo brutalmente potencializada por uma revolução tecnológica. Essa revolução, presumivelmente, por analogia histórica, pode eventualmente dissolver as relações de produção vigentes e com isso causar o desmoronamento na superestrutura. Às vezes a superestrutura até continua existindo, mas sem poder efetivo algum, como a monarquia no Reino Unido: ninguém se importa com o que o Rei Carlos III faz ou deixa de fazer, ele pode tomar o chá, caçar raposas (prática proibida desde 2005, mas é só um exemplo de cultura descolada da realidade), o que seja; o poder está com o Parlamento. Me parece que o Max Weinreich quer deter esse processo. Mas para isso ele precisaria questionar a realidade atual, criticá-la, apontar seus limites e defender algo melhor, não apenas defender o status quo... Opor mero conservadorismo a algo que se parece com uma revolução tecnológica não é uma estratégia muito boa... Mas eu admiro a proposta dele, que é essencialmente política: mobilizar a resistência e enfrentar a tempestade. Penso que deveríamos fazer algo similar... Mas tendo algo melhor a oferecer do que apenas conservadorismo. Bom domingo... M. Em sexta-feira, 14 de agosto de 2026, 'Walter Carnielli' via LOGICA-L < [email protected]> escreveu: > 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 > > AI2- Advanced Institute for Artificial Intelligence > Blog https://waltercarnielli.com/ > > > 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ê 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 [email protected]. > Para ver esta conversa, acesse https://groups.google.com/a/ > dimap.ufrn.br/d/msgid/logica-l/CAOrCsLe9MYc-FC6Ah2apCg- > ZqoH-vaZ6m4kX5xQ0bf3%3D%3DFbOBA%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLe9MYc-FC6Ah2apCg-ZqoH-vaZ6m4kX5xQ0bf3%3D%3DFbOBA%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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/CAA_hCxUvJ3vHfTaYfvpvWLC9CMA8-m6hO%3DOd4Wzh-c_ABMgkjA%40mail.gmail.com.
