O matemático que passou 7 anos tentando resolver problema solucionado por amador com IA BBC Modelo da OpenAI derruba conjectura matemática de Paul Erdős aberta há 80 anos Midiamax IA resolve problema matemático após 7 anos Vero Notícias