Forschung

Teilen

Schlagwort Forschung

Abstrakte geometrische Skulptur aus ineinandergreifenden metallischen Formen vor einem schlichten Betonhintergrund.

Fermats letzter Satz: Claude formalisiert Beweis in nur 11 Tagen

Das US-amerikanische KI-Unternehmen Anthropic hat einen bedeutenden Durchbruch an der Schnittstelle von künstlicher Intelligenz und theoretischer Mathematik erzielt. Dem KI-Modell Claude gelang es in einem Zeitraum von nur elf Tagen, Fermats letzten Satz zu formalisieren.Dieser Prozess überführte den komplexen menschlichen…

Nahaufnahme einer komplexen Leiterplatte in einem Server-Umfeld mit Fokus auf feine Kupferbahnen und Silizium-Strukturen.

GPUThor: Forscher knacken ECC-Schutz auf Nvidia-Grafikkarten

Sicherheitsforscher haben mit GPUThor die erste Rowhammer-Attacke vorgestellt, die den Fehlerkorrektur-Schutz ECC auf Nvidia-Grafikkarten überwindet. Der Angriff zielt auf Ampere-Workstation-Karten der Reihen RTX A4000, A4500, A5000 und A6000 mit GDDR6-Speicher und ermöglicht Root-Shell-Zugriff auf betroffene Systeme.Forschung der Universität TorontoEntwickelt wurde…

K-Fold: Südkoreanisches KI-Modell schlägt AlphaFold3 um 33%

K-Fold: Südkoreanisches KI-Modell schlägt AlphaFold3 um 33%

Das Korea Advanced Institute of Science and Technology (KAIST) hat mit K-Fold ein neues biotechnologisches KI-Modell vorgestellt, das die Vorhersage von Protein-Wirkstoff-Bindungen signifikant beschleunigen soll. Das System wurde speziell entwickelt, um molekulare Interaktionen mit hoher Präzision zu analysieren, und arbeitet…

Faraday-Agent: Londoner KI schlägt Claude und GPT-5.5

Faraday-Agent: Londoner KI schlägt Claude und GPT-5.5

Das Londoner Startup Inherent hat die Einführung seines spezialisierten KI-Agenten Faraday bekannt gegeben, der bei der automatisierten Reproduktion wissenschaftlicher Studien Spitzenleistungen erzielt haben soll. Nach Angaben des Unternehmens übertraf der Agent, der über 27 Milliarden Parameter verfügt und auf der…