Science & Space · Page 2
AI accelerating research, exploring space and decoding the natural world
An AI Just Verified the Hardest Prime-Number Proof Mathematicians Have Ever Checked
Axiom Math's AxiomProver confirmed a result that sits at the very edge of what we know about primes. The real prize, though, is what this means for the safety of AI-written code.
Fifty Eyes in the Sky: How AI Satellites Are Catching Wildfires Before They Spread
A new network of space-based sensors, paired with AI, aims to spot a wildfire while it is still small enough to stamp out. The first three satellites launched in July. Forty-seven more are planned.
Reproduzierbarkeitsprüfung: Was wir aus Tests an 2.200 KI-Arbeiten gelernt haben
Ein massives Experiment hat die Behauptungen von über 2.200 KI-Forschungsarbeiten überprüft. Hier ist, was die Ergebnisse über die Reproduzierbarkeit zeigen.
Ein Satelliten-KI-Modell, das Sie tatsächlich nutzen können: Allen Institute öffnet OlmoEarth Embeddings
Allen AIs OlmoEarth Studio kann nun numerische „Fingerabdrücke" von beliebigen Erdregionen exportieren und ermöglicht Forschern, Wälder zu kartografieren, Waldbrände zu erkennen und Landnutzungsänderungen mit fast keine gekennzeichneten Trainingsdaten zu verfolgen.
OpenAI's KI löste 10 schwierige Mathematik-Probleme. Jetzt fragen sich Mathematiker, was ihre Jobs noch wert sind.
Ein neues OpenAI-Modell knackte Jahrzehnte alte mathematische Rätsel, die Forscher jahrelang ratlos machten. Die Ergebnisse sind beeindruckend. Der Streit um die Urheberschaft bei einem davon ist eine Warnung, wie KI-Labore über die Menschen sprechen, deren Arbeit sie aufbauen.
Silizium vergessen: Wissenschaftler bauen die nächste Generation von Computern aus lebenden Gehirnzellen
Im Labor gezüchtete Blöcke menschlicher Neuronen spielen Videospiele, steuern Roboter durch Labyrinthe und deuten auf eine Zukunft hin, in der „künstliche" Intelligenz aus Fleisch statt aus Chips besteht.
Universitäre KI-Forscher werden aus ihrem eigenen Fachgebiet verdrängt
Die Spitzenforschung in KI hat sich von Universitäten zu privaten Laboren verlagert. Akademiker bei einem kürzlichen Treffen von Schmidt Sciences beschrieben ein Fachgebiet, das schwerer zu finanzieren, schwerer zu erforschen und schwerer zu rechtfertigen ist als je zuvor.
Dieses Startup nutzt KI, um Chip-Materialien zu finden, die kühler laufen
Discovered Materials hat 9 Millionen Dollar beschafft, um KI-Agenten einzusetzen, die täglich Tausende potenzielle neue Chip-Materialien testen und damit die Wärmeerzeugung reduzieren wollen, die den Betrieb von Rechenzentren so teuer macht.
Ein Gutachter verfehlte den Punkt einer Impfstoffstudie. KI könnte das verschärfen.
Als ein Gesundheitsökonom herausfand, dass schulische HPV-Impfmandaten kaum Auswirkungen auf die Gebärmutterhalskrebs-Quoten haben, dachte sein Gutachter, er greife den Impfstoff selbst an. Solche Missinterpretationen sind häufig. KI-generierte Gutachten könnten sie zur Routine machen.
Der nächste AI-Sprung der Wissenschaft kommt von Reasoning-Agenten, nicht von datenintensiven Modellen wie AlphaFold
AlphaFold war ein Meilenstein, aber die Bedingungen, die dies möglich machten, erforderten 53 Jahre und 21 Milliarden Dollar. Für den Großteil der Wissenschaft zeigt eine andere Art von KI bereits, was als nächstes kommt: eine, die Schritt für Schritt denkt und experimentiert.
Von der NASA finanziertes GeoAI-Paket ermöglicht Satellitenanalysen mit wenigen Python-Zeilen
Ein kostenloses Open-Source-Tool soll KI-gestützte Kartografie und Satellitenbildanalysen Wissenschaftlern ohne Machine-Learning-Kenntnisse zugänglich machen – finanziert von der NASA und dem U.S. Geological Survey.
Googles DeepMind-KI gab Jamaika einen zusätzlichen Tag Zeit, sich auf einen Hurrikan der Kategorie 5 vorzubereiten
Ein neues Sturmvorhersagemodell sagte voraus, dass Hurrikan Melissa fünf Tage vor Eintritt auf Jamaika treffen würde – einen ganzen Tag früher als ältere Tools dies konnten. Ein Aufsatz in Nature besagt, dass die KI auf Wegen funktioniert, die selbst ihre Schöpfer nicht vollständig erklären können.
KI entwarf funktionierende Viren von Grund auf. Das bedeutet das wirklich
Stanford-Forscher nutzten ein großes Genommodell, um funktionsfähige Bakteriophagen zu generieren. Die Viren funktionieren. Sie sind keine Waffen. Aber dieselben Forscher fragen, ob wir vorausplanen sollten, bevor jemand eine Version entwickelt, die auf Menschen abzielt.
Google DeepMind WeatherNext gibt Meteorologen einen ganzen zusätzlichen Tag zur Warnung vor Zyklonen
Das Labor veröffentlicht den Code und die Modellgewichte für ein System, das die schnelle Intensivierung des Hurrikans Melissa und die Landung auf Jamaika 2025 vorhersagte.
37 Forscher fordern: Wissenschaft sollte Arbeiten für KI statt für Menschen schreiben
Ein neuer Vorschlag soll das traditionelle Forschungspapier durch ein Format ersetzen, das um KI-Agenten herum aufgebaut ist. Die Forscher dahinter sagen, dass das 350 Jahre alte PDF die Wissenschaft bremst.