AI TageszeitungKI-Tagesbericht – 2025-06-05(Morgenausgabe)AlphaProof-MathematikwettbewerbAudioTrust-Audio-GroßmodellbewertungDARPA expMath-ProjektFrontierMath-Benchmark-TestGUI-Actor-VisualpositionierungKI-EnergieverbrauchKI-HardwareoptimierungKI-MathematikforschungKI-MedizinbewertungKI-MultiagentensystemeKI-ProgrammierungswerkzeugeKI-VertrauenswürdigkeitsbewertungKI-Videogenerierung