Pesquisa
Terence Tao usa o ChatGPT para explorar a Conjectura Jacobiana
Um dos maiores matemáticos vivos mostra como usa IA como ferramenta de raciocínio, não substituto.
23 de julho de 2026
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.
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.
Print viralizado afirma que modelo da OpenAI matou de primeira um problema clássico da matemática combinatória.