A OpenAI despejou 372 resultados de matemática no GitHub. E agora, quem lê tudo isso?
Um modelo interno da OpenAI produziu centenas de resultados sobre problemas em aberto, incluindo uma prova reivindicada ligada à Conjectura dos Jogos Únicos. Matemáticos se dividem entre o entusiasmo e o medo de perder o fio da própria disciplina.