Liam: OpenAI just claimed they solved a Millennium Prize Problem.
Liam: Você viu que a OpenAI disse ter resolvido um Problema do Prêmio Millennium?
Liam: The puzzle that baffled humans for decades!
Liam: Aquele enigma que vinha intrigando a humanidade há décadas!
Charlotte: Wait, seriously? That Navier-Stokes fluid puzzle?
Charlotte: Peraí, é sério mesmo? Aquele cálculo de fluidos de Navier-Stokes?
Liam: Yes! But they didn't just use one computer.
Liam: Pois é! E não foi rodando em uma máquina qualquer, não.
Liam: They unleashed ten thousand autonomous AI agents on it.
Liam: Eles colocaram dez mil agentes autônomos de IA para trabalhar nisso.
Charlotte: Ten thousand? That sounds insane. How much did that even cost?
Charlotte: Dez mil? Que exagero! Quanto será que isso custou?
Liam: The estimated bill was fifteen million dollars.
Liam: As estimativas apontam para algo perto de quinze milhões de dólares.
Charlotte: Fifteen million?
Charlotte: Quinze milhões?
Charlotte: Big tech is literally throwing fortunes at pure math just to show off.
Charlotte: As grandes empresas de tecnologia estão jogando rios de dinheiro em matemática teórica só para fazer propaganda.
Liam: Right, and mathematicians are feeling deeply uneasy about the whole thing.
Liam: Exatamente, e é por isso que os matemáticos estão com uma pulga enorme atrás da orelha.
Charlotte: I get why.
Charlotte: Dá para entender a preocupação.
Charlotte: For scholars, math is about conceptual insight and human understanding, not just fast answers.
Charlotte: Para quem estuda a fundo, a matemática serve para construir entendimento e intuição conceitual, não apenas cuspir respostas a toque de caixa.
Liam: Exactly.
Liam: Com certeza.
Liam: David Silvester, a Manchester professor, said they might become mere accountants who just audit machine work.
Liam: David Silvester, professor lá de Manchester, comentou que a profissão corre o risco de virar um bando de auditores que só conferem o que o computador gerou.
Charlotte: Oof. Imagine spending years on a PhD just to verify code outputs.
Charlotte: Que fase. Imagine dedicar anos a um doutorado só para ficar validando linha de código.
Charlotte: The entire research ecosystem could collapse.
Charlotte: Toda a engrenagem da pesquisa acadêmica pode ruir desse jeito.
Liam: It is already hitting university classrooms, too. Lecturers cannot even give take-home coursework anymore!
Liam: E as salas de aula já estão sofrendo com isso. Tem professor que nem consegue mais passar lista de exercícios para casa!
Charlotte: Because students will just push a button.
Charlotte: Claro, o aluno só precisa apertar um botão.
Charlotte: You cannot verify if they did the thinking themselves.
Charlotte: Não dá para saber se ele realmente raciocinou ou se foi a máquina.
Liam: And now researchers are refusing to share their work in progress.
Liam: E o pior: tem pesquisador evitando expor estudos preliminares.
Charlotte: Wait, why hide it?
Charlotte: Mas por que esconder o jogo?
Liam: They worry powerful models will swallow their ideas and claim the breakthrough first.
Liam: Medo de que esses modelos gigantes engulam as teses deles e levem a fama da descoberta antes.
Charlotte: That is so sad.
Charlotte: Que situação lamentável.
Charlotte: A field built on open collaboration is shutting down out of fear.
Charlotte: Uma disciplina que sempre viveu da troca aberta de conhecimento agora se fechando por puro receio.