"That future still depends on human judgment. Expertise becomes more valuable, not less. AI can help search, suggest, and verify. People choose the problems that matter, interpret the results, and decide what questions to pursue next." https://x.com/OpenAI/status/2057176204541866087
JM On Thu, May 21, 2026 at 9:20 AM Márcio Palmares <[email protected]> wrote: > > Mais uma notícia fresquinha, de ontem, 20 de maio: > > https://openai.com/index/model-disproves-discrete-geometry-conjecture/?fbclid=Iwb21leAR70wRjbGNrBHvS-2V4dG4DYWVtAjExAHNydGMGYXBwX2lkDDM1MDY4NTUzMTcyOAABHmQmX3SaJKMzxrShUm1ayEj8rCbCaBriYmic2XPiF5MMzVEHxOGKhylp5uwg_aem_eLvRgvwamTIM02GDC5zQig > > Dessa vez, porém, não é um problema muito específico no qual pouca gente > estava trabalhando. Não é um problema de olimpíada. > > Agora é um marco histórico mesmo, como diz o Tim Gowers no artigo com os > comentários. > > Uma máquina resolveu um importante problema em aberto, um problema clássico. > > Essa era a última trincheira do ceticismo: "OK, mas as máquinas resolvem por > força bruta, nunca de forma realmente inteligente; OK, mas as máquinas geram > provas totalmente incompreensíveis, que nada acrescentam ao conhecimento > humano; OK, mas máquinas resolvem apenas problemas de livro, de olimpíadas, > nunca um importante problema em aberto." > > Tudo isso caiu por terra. A última trincheira desse ceticismo foi tomada. > > É uma sorte a nossa, vivermos nesses tempos, podermos presenciar uma > revolução científica... > > Abraços, > > M. -- https://sites.google.com/site/sequiturquodlibet/ -- 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_Lg%3D%3DpfrDgz%2BpeOQTkLq5_F6VvwBPe1ce8GG4Nafd4wS_A%40mail.gmail.com.
