Boletim Diário de IA Diário de IA – 2025-05-04(Tarde) Brinquedos de IAComportamento Fictício de Modelos de Linguagem GrandeComputação QuânticaDeepfakeDeepSeek-Prover-V2DeepSeek-Prover-V2 Prova de Teoremas MatemáticosFusão de Computação Quântica e IAGPT-4oGPT-4o Problemas de AdulaçãoModelo de Linguagem GrandeQwen3Qwen3-235B-A22BRaciocínio de IA