Was ist das?
KI für die Wissenschaft sind Modelle, die die Entdeckung selbst beschleunigen: Hypothesen vorschlagen, Theoreme beweisen, Wetter vorhersagen, neue Materialien finden und die gesamte Literatur in Minuten lesen. Viele Forschende glauben: Hier — nicht bei Chatbots — verändert KI die Welt am stärksten.
Wichtige Werkzeuge und Akteure
- DeepMind — AlphaFold, GNoME (Materialien), GraphCast (Wetter), AlphaProof (Mathematik)
- OpenAI — Frontier-Modelle für die Forschung; ein Programm mit kostenlosem Zugang für 100.000 Akademiker (in unserer Berichterstattung)
- Anthropic — Claude für wissenschaftliches Denken und Sicherheitsforschung
- FutureHouse und „KI-Co-Scientist“-Projekte — autonome Forschungsagenten
Meilensteine
- 2020 — AlphaFold2: der erste nobelpreiswürdige Durchbruch der KI
- 2023 — GNoME sagt 2,2 Millionen neue Kristalle voraus; GraphCast schlägt Wetterdienste
- 2024 — AlphaProof erreicht Silbermedaillen-Niveau bei der Mathe-Olympiade
- 2025 — LLMs erreichen IMO-Goldniveau; „KI-Co-Scientist“-Agenten erzeugen im Labor bestätigte Hypothesen
- 2026 — Claude findet von Experten übersehene Verschlüsselungsschwächen; OpenAI öffnet Frontier-Modelle für 100.000 Forschende (beides in unserer Berichterstattung)
- Aug 2026 — OpenAIs Astra-Vorschau: Agenten-Teams lösen zehn offene Probleme der Mathematik und theoretischen Informatik, mit maschinell prüfbaren Lean-Beweisen (in unserer Berichterstattung)
- Aug. 2026 — Namentlich genannte Mathematiker bestreiten die Urheberschaft mehrerer dieser Beweise; OpenAI schwächt die Aussage „seit einem Jahrzehnt kein Fortschritt“ ab (unsere Berichterstattung)
- Aug 2026 — Erste vollständig KI-entworfene Genome: 16 funktionierende Bakteriophagen, veröffentlicht in Science (in unserer Berichterstattung)
- Aug 2026 — DeepMinds in Nature veröffentlichtes Zyklonmodell WeatherNext wird vom US National Hurricane Center operativ genutzt und unter Apache 2.0 mit offenen Gewichten freigegeben (in unserer Berichterstattung)
- Aug. 2026 — Ein unveröffentlichtes Claude hebt die Nullstellenschranke der Riemannschen Vermutung von 41,6 % auf 67,2 %, der größte je verzeichnete Einzelsprung, mit maschinell prüfbarem Beweis (in unserer Berichterstattung)
- Aug. 2026 — Palomar nimmt Einreichungen an: Die Mathematik bekommt ein Register, das Lean-Beweise maschinell prüft und von einem Sprachmodell bestätigen lässt, dass die umgangssprachliche Aussage dazu passt (in unserer Berichterstattung)
Mini-Glossar
- Co-Scientist: ein KI-Agent, der Hypothesen vorschlägt und beim Testen hilft
- Foundation Model: ein großes Modell, angepasst an viele wissenschaftliche Aufgaben
- Benchmark: standardisierter Test zum Vergleich von Modellfähigkeiten