Wissenschaftler durchsuchen das Universum mit KI. Dafür brauchen sie massenhaft Rechenpower — die gleichen GPUs, um die sich auch OpenAI, Google und jedes AI-Startup prügelt.
Amazon-CEO Andy Jassy hat seinen neuen Aktionärsbrief veröffentlicht. Keine Visionen, keine Floskeln — stattdessen harte Zahlen.
OpenAI hat einen neuronalen Theorembeweiser gebaut. Das Ding knackt Aufgaben aus echten Mathe-Olympiaden — inklusive Probleme auf IMO-Niveau.