Boletim Diário de IADiá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