o4-mini leistungsstarkes Reasoning-Modell, das die Grenzen in Programmierung, Mathematik, Wissenschaft, visueller Wahrnehmung und mehr erweitert