Boletim Diário de IADiário de IA – 2025-08-04(Edição da manhã)Agente de IAAprendizagem por reforço inverso (IRL)Gemini 2.5 ProKimi K2Medalha de Ouro na IMOModelo de raciocínio em camadasOtimizador MuonClipProcesso de verificação de autoiteraçãoProva matemática de IASeedProverSíntese de dados AgenticVerificação formal
