Pesquisa
Terence Tao usa o ChatGPT para caçar contraexemplo em conjectura famosa
Um dos maiores matemáticos vivos mostrou como usa a IA numa conversa pública sobre a conjectura de Jacobi.
24 de julho de 2026
Um dos maiores matemáticos vivos mostrou como usa a IA numa conversa pública sobre a conjectura de Jacobi.
Um dos maiores matemáticos vivos mostra como usa IA como ferramenta de raciocínio, não substituto.
Modelo da Anthropic aparece envolvido num resultado matemático que promete debate.
Chefe de IA da Meta reforça críticas aos modelos de linguagem e defende arquiteturas que aprendam como bebês.
Artigo questiona se a aposta bilionária em LLMs não está ofuscando outras vias da inteligência artificial.
Pesquisa da Lenz testou 1.000 alegações reais em cinco modelos de ponta. Em dois terços dos casos, eles não chegaram ao mesmo veredito.
Discussão no r/MachineLearning aponta falhas metodológicas sérias no famoso gráfico de “horizontes de tempo” da METR.
No r/MachineLearning, pesquisadores discutem se modelo de raciocínio realmente quebrou limite de Erdős.
Um modelo de raciocínio teria encontrado contraexemplo para uma conjectura clássica da área.
Timothy Gowers afirma ter usado o GPT-5.5 Pro para resolver problemas em aberto e prevê que a pesquisa matemática enfrentará uma crise em breve.