Thema im Rundbrief
KI in der Forschung: Meldungen aus dem KI-Newsletter
KI wird zum Werkzeug der Wissenschaft: Modelle beweisen mathematische Sätze, sagen Proteinstrukturen vorher und steuern Laborexperimente.
Hier stehen alle Meldungen über KI in Mathematik, Biologie, Medizin und Physik und über Studien und Paper zur KI selbst.
Die Liste entsteht automatisch aus allen Ausgaben des Rundbriefs. Jede Meldung verlinkt auf ihre Quelle und auf die Ausgabe, in der sie stand.
70 Meldungen seit Juni 2026, zuletzt am 09.10.2026
-
Vitalik Buterin: Signaturen gehen schon „hash-only“, die Baustelle ist Public-Key-Verschlüsselung (Quelle, öffnet in neuem Tab)
Im Post vom 08.10. hält Buterin die Faustregel, elliptische Kurven seien erledigt, Hashes und Gitter aber sicher, für wackelig: Auch Gitterverfahren könnte die KI-Mathematik der nächsten zwei Jahre treffen. Signaturen und Beweise lassen sich schon allein auf Hashes bauen…
-
Justin Drake ruft den „Bunker Mode“ aus, Coinbase und Blockstream sprechen von Panikmache (Quelle, öffnet in neuem Tab)
Der Ethereum-Forscher, auf dessen Post Buterin antwortet, verlangt (07.10.) eine kontrollierte Massenmigration von Coins auf frische Adressen, weil ECDSA nach OpenAIs Mathe-Release womöglich schon vor einem Quantenrechner breche, im schlimmsten Fall in Monaten (seine…
-
Wie weit die Maschinenmathe ist: ein behaupteter großer Beweis, drei zurückgezogene Manuskripte (Quelle, öffnet in neuem Tab)
Unter OpenAIs Ergebnissen vom 06.10. steckt laut Quanta ein Beweis der Unique Games Conjecture, einer zentralen Vermutung der Komplexitätstheorie, bisher ohne unabhängige Prüfung. Zugleich zog OpenAI am 07.10. drei Manuskripte zurück, weil ein Vorzeichenfehler ein Argument…
-
Das BSI rät von Classic McEliece ab, und an der neuen Kryptoanalyse hat KI mitgerechnet (Quelle, öffnet in neuem Tab)
Seit 01.10. empfiehlt das BSI, das Post-Quanten-Verfahren derzeit nicht für Neuentwicklungen zu nutzen, weil neue Kryptoanalyse ein deutlich geringeres Sicherheitsniveau nahelegt, und rät zu ML-KEM oder FrodoKEM, immer hybrid mit einem klassischen Verfahren. Hinter der Warnung…
-
Europol: Bei Kryptowährungen ist der Schlüssel das Problem, nicht die Blockchain (Quelle, öffnet in neuem Tab)
In zwei Berichten vom 07.10. hält Europol die Hashfunktionen der Blockchains für vergleichsweise widerstandsfähig, private Schlüssel hinter offengelegten Public Keys aber für ableitbar, sobald ein starker Quantenrechner existiert, und warnt vor „Harvest Now, Decrypt Later“…
-
Die zweite Front: DARPA schickt Quantenrechner in die Endrunde (Quelle, öffnet in neuem Tab)
IonQ meldet am 07.10. den Aufstieg in Stufe C von DARPAs Quantum Benchmarking Initiative mit einem Vertrag über bis zu 300 Mio. Dollar; geprüft wird, ob sich bis 2033 ein Quantenrechner bauen lässt, dessen Nutzen die Kosten übersteigt. Neben der KI-Mathematik bleibt er der…
-
Zum Selbermachen: Post-Quanten-Zertifikate im Labor testen (Quelle, öffnet in neuem Tab)
Microsoft rät Firmen (08.10.), auch Zertifikate und Signaturen auf Post-Quanten-Verfahren zu testen: Ein Pilot mit sieben Test-Wurzelzertifikaten auf ML-DSA-87 läuft, Windows 11 kann ML-DSA prüfen. Erste Schritte: alle zertifikatsabhängigen Systeme auflisten und Hersteller von…
-
Trump hängt Musk, Huang, Brin und Su die höchste Wissenschaftsmedaille um (Quelle, öffnet in neuem Tab)
Beim Gipfel am 08.10. gingen die National Medals of Science an Elon Musk, Jensen Huang, Sergey Brin und Lisa Su, die Technologie-Medaillen an Michael Dell und Satya Nadella; TechCrunch liest das als Belohnung für Großspender, und am selben Tag sperrte die Regierung Microsoft…
-
Paradigm: Die Forschung boomt, und die KI schreibt mit (Quelle, öffnet in neuem Tab)
Die Analyse über 5 Mio. Paper (07.10.) zeigt einen Publikationsboom in allen Fächern, und der Detektor Pangram findet mit hoher Sicherheit KI-Hilfe in 68 Prozent der arXiv-Paper vom September, von denen nur 19 Prozent sie offenlegen. Detektorwerte sind Schätzungen, aber für die…
-
Zulassung wie bei Medikamenten: Marcus und Hinton (Quelle, öffnet in neuem Tab)
Gary Marcus fordert für die KI-Anhörung des New Yorker Stadtrats (05.10.) ein Zulassungsregime nach FDA-Vorbild mit der Beweislast bei den Entwicklern, Geoffrey Hinton verlangt laut t3n im Podcast vom 06.10. ebenfalls eine Zulassung wie bei Medikamenten. Dass vor dem Marktstart…
-
OpenAIs Mathe-Paket: Inszenierung statt Wissenschaft? (Quelle, öffnet in neuem Tab)
Marcus hält den Bericht zum Mathe-Release für zu vage für ein Peer Review, weil Verfahren, Architektur, Fehlerquote und Trainingsdaten fehlen, und die Association for Human Mathematics nennt die Veröffentlichung von über 700 Dateien auf einmal eine Machtdemonstration (07.10.)…
-
OpenAI legt 722 Mathe-Manuskripte vor, das Modell dahinter bleibt geheim (Quelle, öffnet in neuem Tab)
Seit 6. Oktober stehen 722 Manuskripte in 372 Ergebnisfamilien auf GitHub, erarbeitet von einem unveröffentlichten Modell aus rund 4.000 gestellten Problemen. Beansprucht werden unter anderem eine Lösung der Kakeya-Vermutung in vier Dimensionen und ein Schritt Richtung…
-
OpenAIs Mathe-Repo zum Selberstöbern (Quelle, öffnet in neuem Tab)
722 Manuskripte in 372 Familien, nach Fachgebiet sortiert, mit Lean-Bibliothek samt Formalisierungskatalog und zehn gekürzten Zusammenfassungen der Denkwege des Modells, etwa zum Irrationalitätsmaß von π oder zu den Mahler-Vermutungen. Unter Apache 2.0, den Hintergrund gibt es…
Rundbrief
KI-Nachrichten per E-Mail
Meldungen wie diese kommen mehrmals pro Woche im Rundbrief – auf Deutsch, mit Quelle, kostenlos. Das Wichtigste in 8 Minuten.
-
Kyoto-Erklärung: 17 Staaten setzen auf KI in der Forschung, Deutschland unterschreibt (Quelle, öffnet in neuem Tab)
Die von Trumps Wissenschaftsberater Michael Kratsios angeführte „Kyoto Vision for a Golden Age of Science“ will Forschenden mehr Zugang zu KI, Daten und Rechenleistung verschaffen, nennt aber weder Budget noch Fristen. Unterschrieben haben unter anderem Deutschland, Japan und…
-
Meta: sechs Mathe-Paper aus dem ganz normalen Muse-Chat, fünf lösen offene Fragen (Quelle, öffnet in neuem Tab)
Mathematiker:innen arbeiteten mit Muse Spark im normalen meta.ai-Chat ohne Spezialwerkzeuge, darunter ein Gegenbeispiel der Ordnung 384, gefunden mit einem Suchprogramm, das die KI für das Mathe-System GAP schrieb. Jede Arbeit markiert, welche Passagen die KI und welche die…
-
DeepMind versieht KI-designte Proteine mit einem unsichtbaren Wasserzeichen (Quelle, öffnet in neuem Tab)
SynthID Bio lenkt die Auswahl der Aminosäuren so, dass die Signatur auch nach der Synthese im Labor nachweisbar bleibt, in Tests mit drei Zielproteinen banden markierte Binder so gut wie unmarkierte. Gedacht ist das fürs automatische Screening bei DNA-Synthese-Anbietern, Code…
-
Eine KI schlägt die Stratego-Weltspitze, mit einem Bruchteil von DeepMinds Aufwand (Quelle, öffnet in neuem Tab)
Ataraxos von Forschenden um Gabriele Farina (MIT, mit CMU, NYU und Stanford) besiegte den weltbesten Spieler mit 15 Siegen, einer Niederlage und vier Remis und kam laut Nature-Paper mit weniger als einem Hundertstel der Trainingsbeispiele von DeepMinds DeepNash aus. Stratego…
-
Claude rechnet eine Streuamplitude mit neun Schleifen, eine mehr als der Rekord von 2023 (Quelle, öffnet in neuem Tab)
Die Anthropic-Physiker Liam Fitzpatrick und Siddharth Mishra-Sharma ließen Fable 5.1 die Sechs-Teilchen-Amplitude der planaren N=4-Super-Yang-Mills-Theorie berechnen, SLAC-Physiker Lance Dixon, der den Acht-Schleifen-Rekord hielt, hat das Ergebnis geprüft. Gekostet hat das…
-
Geoffrey Hinton: Modelle prüfen wie Medikamente (Quelle, öffnet in neuem Tab)
Der Mitautor des Papiers zur Intelligenzexplosion (siehe Weitere Meldungen) verlangt laut Fortune im Atlantic-Podcast unabhängige Prüfer, die Modelle vor dem Einsatz testen.
-
OpenEvidence sammelt 250 Mio. Dollar bei 15 Mrd. Bewertung (Quelle, öffnet in neuem Tab)
a16z führt, und die Firma will eigene Krebsmedikamente entwickeln, das erste Präparat soll noch 2026 in klinische Studien.
-
Enveda holt 311 Mio. Dollar für KI-gefundene Wirkstoffe aus der Natur (Quelle, öffnet in neuem Tab)
Series E bei 2 Mrd. Bewertung, mehrere Kandidaten sind in Studien. Ein von der FDA zugelassenes KI-entdecktes Medikament gibt es weiterhin nicht.
-
Quiver 2.0 in Paper zeichnet SVGs (Quelle, öffnet in neuem Tab)
Stephen Haney verspricht schnellere Vektorgrafiken mit saubererer Geometrie und ein neues Modell namens Telos für Detailarbeit. Herstellerangabe.
-
C5R: ein Forschungslabor, komplett von KI betrieben (Quelle, öffnet in neuem Tab)
KI plane, fahre und beobachte Experimente in Biologie, Chemie und Materialwissenschaft, gebaut in zwölf Wochen. Herstellerangabe, unabhängig nicht geprüft.
-
Anthropic und OpenEvidence geben klinische Entscheidungsunterstützung in rund 100 Ländern gratis ab (Quelle, öffnet in neuem Tab)
Anthropic liefert die Modelle, OpenEvidence passt die Werkzeuge an lokale Gesundheitssysteme an; genannt sind unter anderem Uganda, Angola, Sudan, Haiti und die Mongolei. Ursprünglich ein Reuters-Exklusivbericht, dort nicht frei abrufbar.
-
Quiver 2.0 in Paper — der nächste Schritt nach Arrow 2 (Quelle, öffnet in neuem Tab)
Arrow 2 stand in der letzten Ausgabe; neu sind jetzt deutlich schnellere Generierung, sauberere Geometrie und ein Telos-Modell fürs Kleinteilige. Jede Ausgabe bleibt eine weiterverwendbare SVG-Datei, keine Bilddatei zum Nachzeichnen. So nutzt du’s: Logo- und Icon-Varianten in…
-
Nature: Auf Selbstregulierung der KI-Firmen ist kein Verlass (Quelle, öffnet in neuem Tab)
Argumentiert entlang von Interessenkonflikt und fehlender Rechenschaftspflicht. Liest sich als direkte Fußnote zu OpenAIs eigenem Prüf-Framework von oben: Wer die Prüfer einsetzt, hat noch keine Aufsicht organisiert.
-
Amodei: Biologie liegt auf derselben Exponentialkurve wie Mathematik (Quelle, öffnet in neuem Tab)
Seine Chronologie in einem X-Thread: 2023 taten sich Modelle mit Schulmathematik schwer, 2024 kamen Wettbewerbsaufgaben, 2025 kleinere offene Probleme, Anfang 2026 größere, Ende 2026 die obersten offenen Fragen des Fachs. Dieselbe Kurve erwartet er für die Biologie. Der…
-
Data & Society über Rechenzentren, Strom und Widerstand in Pennsylvania (Quelle, öffnet in neuem Tab)
Feldstudie zum Energiehunger der KI-Infrastruktur und zu den Arbeits- und Protestreaktionen in der alten Industrielandschaft. Das empirische Gegenstück zur DOJ-Meldung oben: Während das Ministerium ausländische Drahtzieher sucht, beschreibt die Studie, was vor Ort tatsächlich…
-
Zwei Agenten-Papers am Rand, aber lesenswert (Quelle, öffnet in neuem Tab)
EmbodiedSWE lässt Coding-Agents Trainingsdaten für Robotik-Policies erzeugen — einzelne Lösungen werden zu vielfältigen Trajektorien aufgefächert, der Sim-to-Real-Transfer wurde an echten Robotern geprüft. WhatWorkedBench prüft mit 36 Aufgaben aus 30 Datenquellen und 1.248…
-
Anthropic betreibt ein eigenes Nasslabor für Biologie (Quelle, öffnet in neuem Tab)
Physische Experimente in der Bay Area, Claude steuert und führt aus, Menschen im Loop. Parallel Forschung, wonach Open-Source-Biologie-Tools mit eigenem Tuning rund viermal schneller laufen und Proteindesigns rund 150 Dollar statt bis zu 10.000 Dollar pro Target kosten. Keine…
-
OpenAI richtet eine Mathematik-Beratungsgruppe ein — und meldet über 100 gelöste offene Probleme (Quelle, öffnet in neuem Tab)
Neun Mathematiker:innen am Institute for Advanced Study, unbezahlt, dürfen ungefragt raten und öffentlich widersprechen. Was sie nicht dürfen: OpenAIs mathematische Forschung bremsen oder umlenken. Anlass war die abrupte Veröffentlichung der Navier-Stokes-Lösung — und damit die…
-
OpenAI beansprucht ein Millennium-Problem — 10.000 Agenten, 88 Stunden — und streitet sofort um die Ehre (Quelle, öffnet in neuem Tab)
Ein unveröffentlichtes internes Modell zeigte, dass eine Strömung in endlicher Zeit in eine Singularität läuft. Tristan Buckmaster (NYU) sagt in seinem Statement, OpenAI habe erst angefangen, nachdem es von der einjährigen Arbeit gehört hatte, die er mit Levent Alpöge betrieb…
-
OpenAI zieht sich aus dem Caltech-Mathathon zurück, nachdem 771 Mathematiker:innen protestieren (Quelle, öffnet in neuem Tab)
Der offene Brief wirft dem mit 2 Mio. Dollar Credits gesponserten Event vor, Forschungsmathematik als Werbefläche zu behandeln und Berufsanfänger:innen auszunutzen — dieselbe Frage, die eine Meldung weiter oben den Navier-Stokes-Streit trägt.
-
Claude formalisiert Fermats letzten Satz in Lean — 11 Tage, 13 Millionen Zeilen (Quelle, öffnet in neuem Tab)
Kevin Buzzard (Imperial), der dasselbe als mehrjähriges Förderprojekt betreibt, hat es geprüft und betitelt seinen Blogpost „FLT: Anthropic has beaten me to it“ — mit dem Hinweis, das sei Verifikation, keine neue Mathematik.
-
DeepMind veröffentlicht den AlphaGenome Atlas: Vorhersagen für alle 9 Milliarden Einzelbuchstaben-Varianten (Quelle, öffnet in neuem Tab)
Ein Petabyte, „more than 30 times larger than the AlphaFold Database“, frei für nicht-kommerzielle Forschung — Priorisierungswerkzeug, ausdrücklich keine Diagnostik.
-
Insilicos KI-designtes Medikament: Patient:innen lesen sich auf sechs „Alterungsuhren“ jünger (Quelle, öffnet in neuem Tab)
Phase IIa mit 42 Patient:innen, 21 von 54 Vergleichen signifikant, überwiegend in Woche 4. Die Autor:innen können „langsamer altern“ nicht von „behandelte Lunge“ trennen: ein proteomisches Signal, kein Beleg für Altersumkehr.
-
Codex am Sechs-Qubit-Chip: bei 40 Messungen mussten Forschende nur viermal eingreifen (Quelle, öffnet in neuem Tab)
OpenAI-Fallstudie mit der MIT Engineering Quantum Systems Group an einem vorher nie vermessenen Chip: „Across the 40 target measurements for the four fixed-frequency qubits, researchers intervened to improve only four.“ Beim tunable Qubit brauchte es deutlich mehr.
-
Nvidia open-sourct sein IMO-Gold-Rezept (Quelle, öffnet in neuem Tab)
Nemotron 3 Ultra holt 30 von 42 Punkten bei der IMO 2026, rein natürlichsprachlich ohne formale Prover, dazu zwei Checkpoints und ein Benchmark mit 200 neuen Olympiade-Aufgaben.
-
Margaret Mitchell verweist auf ein frisches Paper zu menschlicher Aufsicht bei Agenten (Quelle, öffnet in neuem Tab)
Und zitiert die Anthropic-Stimmung zu rekursiv selbstverbessernden Systemen ohne Plan.
-
Ein Brain-Computer-Interface lässt Gelähmte wieder greifen und fühlen (Quelle, öffnet in neuem Tab)
Bewegungsabsicht erkennen, Muskeln stimulieren, taktiles Feedback zurück; die Effekte halten laut Post sogar ohne Strom an. Zugrunde liegt ein Nature-Paper mit fünf Elektroden-Arrays.
-
OpenEvidence bringt drei Klinik-Modelle — und hält „Darwin“ wegen Dual-Use zurück (Quelle, öffnet in neuem Tab)
Osler (rund 5 Sekunden), Sackett (rund 30 Sekunden) und Snow (rund 5 Minuten Deep Research) für verifizierte Ärzt:innen; das vierte Modell bleibt wegen Risiken in Virologie und Genetik in der Research-Preview.
-
Ole Lehmann: KI extrahiert potenzielle Antibiotika aus ausgestorbenen Tieren (Quelle, öffnet in neuem Tab)
APEX scanne 10 Millionen Moleküle aus Mammut-DNA und Co. auf Wirkstoffe gegen resistente Bakterien (unbestätigt).
-
Anthropic verschenkt Claude an 10.000 Wissenschaftler:innen (Quelle, öffnet in neuem Tab)
Verifizierte Principal Investigators bekommen einen Claude-Team-Plan zum Start gratis, Standard-Plätze kostenlos, Premium für 15 Dollar im Monat, bis zu ein Jahr lang.
-
Anthropics IPO-Mathematik — dreißig Billionen als Ansage (Quelle, öffnet in neuem Tab)
Marcus’ Einwand ist nicht, dass die Zahl zu hoch sei, sondern dass sie eine TAM-Zahl ist: Sie unterstellt hundert Prozent Marktanteil. Zum Vergleich — die 191 Tech-Konzerne im S&P 1500 haben zusammen rund 2,4 Billionen Dollar verdient; der aufgerufene Markt ist gut das…
-
Preprint schätzt: 90 % der Biomedizin-Papers vom Dezember 2025 tragen KI-Spuren (Quelle, öffnet in neuem Tab)
Über das Jahr 2025 gerechnet 77 % der englischsprachigen PubMed-Central-Papers, Einleitungen und Diskussionen deutlich stärker betroffen als Methoden und Ergebnisse. Wortmuster-Schätzung aus einem unbegutachteten Preprint — kein Beleg dafür, dass die Wissenschaft selbst…
-
Die Mathematik geht nicht auf — zwei Rechnungen, dasselbe Ergebnis (Quelle, öffnet in neuem Tab)
Im selben Post stellt Marcus zwei unabhängige Schätzungen nebeneinander, wie viel Jahresumsatz nötig wäre, um den Rechenzentrums-Capex zu refinanzieren. Obere Schätzung: rund 10 Billionen Dollar jährlich. Konservativer, nach Calum Williams (The Economist): 2,5 Billionen Dollar…
-
Claude entwirft Proteine — und 14 von 15 Zielmolekülen halten im Labor (Quelle, öffnet in neuem Tab)
Mythos Preview und Opus 4.8 fuhren die Design-Kampagnen weitgehend autonom: 26,7 % bzw. 22,6 % Trefferquote gegen die branchenüblichen 10–15 %, 354 bestätigte Binder aus 1.320 Designs — nachgemessen von Adaptyv Bio und Twist Bioscience, nicht von Anthropic selbst.
-
September: Private Safety Processing wird breiter ausgerollt, inklusive technischem White Paper (Quelle, öffnet in neuem Tab)
-
Von 1.357 FDA-freigegebenen KI-Medizingeräten wurden drei an Patientenergebnissen geprüft (Quelle, öffnet in neuem Tab)
Die PLOS-Digital-Health-Analyse findet 34 Geräte mit registrierter Studie, 12 mit veröffentlichten Ergebnissen und ganze 3 (0,2 %), die patientenzentrierte Endpunkte wie Mortalität ausgewertet haben. FDA-Freigabe signalisiert Marktäquivalenz, nicht klinischen Nutzen.
-
Das Heilsversprechen Medizin — und ein ganzes Fachfeld dagegen (Quelle, öffnet in neuem Tab)
Dario Amodei behauptet, man werde „most human disease in ~5-10 years" heilen können. Marcus nennt die Zeitachse „so naive as to be absurd" — bemerkenswerter ist die Breite der Gegenrede: Eric Topol („wildly off-base and impossible"), Keith Robison („magical thinking") und…
-
Kevin Weil sammelt 150 Mio. Dollar für ein KI-für-Wissenschaft-Startup (Quelle, öffnet in neuem Tab)
Der frühere OpenAI-Produktchef peilt laut Quellen mindestens 750 Mio. Bewertung an — zeitgleich mit Lightcaps Abgang.
-
swyx: „einer der wichtigsten Papers des Jahres" (Quelle, öffnet in neuem Tab)
verstecktes Reasoning von Frontier-Modellen über eine API-Schwachstelle extrahieren — der Token-Count matcht 1:1 mit dem Billing.
-
KI entwirft die ersten funktionierenden Viren — 16 Stück im Labor bestätigt (Quelle, öffnet in neuem Tab)
Forschende von Stanford und dem Arc Institute haben mit dem Genom-Sprachmodell Evo erstmals komplette Virus-Genome vollständig per KI entworfen (Science, 06.08.): Aus rund 700.000 generierten Kandidaten für einen E.-coli-Bakteriophagen wurden etwa 300 synthetisiert und getestet…
-
Claude schiebt eine Schranke bei der Riemannschen Vermutung nach oben (Quelle, öffnet in neuem Tab)
Eine unveröffentlichte Forschungsversion von Claude hat den bewiesenen Anteil der Zeta-Nullstellen auf der kritischen Geraden von 41,6 % auf 67,2 % gehoben — gelöst ist die Vermutung damit nicht, aber das Ergebnis ist in Lean formal verifiziert und von externen…
-
QuantHealth sammelt 45 Mio. $ für KI-simulierte klinische Studien ein (Quelle, öffnet in neuem Tab)
Nach eigenen Angaben über 600 simulierte Studien in 30 Indikationen, Kunden sind 12 der Top-20-Pharmakonzerne. Studien-Design wandert vom Pilotwerkzeug in die Standard-Vorprüfung.
-
Qaf — RAG auf 8.000 Bücher, als Fallstudie interessant (Quelle, öffnet in neuem Tab)
Neue App (iOS, Android, Web), die islamische Fragen gegen einen Korpus von über 8.000 Büchern recherchiert und mit Zitatbelegen antwortet. Inhaltlich Nische, als Muster aber relevant: geschlossener, kuratierter Korpus + Zwang zur Quellenangabe — genau das Format, das für…
-
OpenAIs internes Modell „Astra“ löst zehn offene Mathe-Probleme — für rund 2.000 Dollar Token (Quelle, öffnet in neuem Tab)
Eine unveröffentlichte Version von OpenAIs nächstem Modell knackte zehn teils jahrzehntealte Probleme (neue Sphere-Packing-Schranken bis zur Cohn–Elkies-Grenze, eine explizite nicht-sofische Gruppe — offene Frage seit Gromov 1999 —, Erdős-Problem 183), jede Aussage als…
-
Isomorphic Labs: erstes AlphaFold-designtes Krebsmedikament geht in die Klinik (Quelle, öffnet in neuem Tab)
Die DeepMind-Ausgründung will noch dieses Jahr die ersten Patienten in Phase-1-Studien dosieren, Onkologie zuerst — 17 aktive Programme insgesamt.
-
Neun Mathematiker:innen — darunter Tim Gowers und Noga Alon — schreiben Astras Beweise für Menschen lesbar auf (Quelle, öffnet in neuem Tab)
Das Muster der nächsten Jahre: KI liefert die Beweise, Menschen übersetzen und verifizieren — Gowers würde einen der Beweise ohne Zögern für ein Top-Journal empfehlen.
-
Noam Brown (OpenAI) zur Astra-Mathe-Story (Quelle, öffnet in neuem Tab)
Eine interne Astra-Version habe 10 große offene Probleme in Mathematik, Quantenkomplexität und theoretischer Informatik gelöst — „Mathematiker arbeiten fieberhaft daran, ihre Vermutungen zu widerlegen“ (Timeline-Claim, deckt sich mit der Leitmeldung oben).
Ältere Meldungen
Hier stehen die neuesten 60. 10 Meldungen mehr findest du in den Ausgaben im Archiv: