Mais de 700 provas matemáticas geradas por IA foram liberadas pela OpenAI de uma vez. A comunidade de matemáticos rejeitou isso, dizendo que é mais demonstração de poder do que de erudição. No meu dia a dia, a gente percebe que o conhecimento precisa de tempo e checagem humana. Quem aqui acha que a pressa tecnológica é sempre positiva? #inteligenciaartificial #matematica #inspiração #ciencia