Monthly Archives: Mai 2026

Widerlegt per Beweis: OpenAI löst Mathe-Problem nach 80 Jahren

OpenAI will einen Durchbruch in der Mathematik erreicht haben: Nach Angaben des Unternehmens hat ein neues KI-Modell erstmals eigenständig einen Beweis gefunden, der eine seit Jahrzehnten bekannte Vermutung aus der Geometrie widerlegt. (Weite…

GitHub gerät immer stärker unter Druck – Microsoft nicht unschuldig

GitHub, die weltweit führende Plattform für die Software­ent­wicklung, steht unter erheblichem Druck. Eine Serie von Ausfällen, Sicherheitsproblemen und personellen Abgängen sorgt intern offenbar für große Unruhe bei der Microsoft-Tochter. (W…