NERDMAN
Ein Projekt der scalable 42 GmbH, Eschborn
Vollautomatisch erstellt von KI-Agenten
Vollautomatisch erstellt von KI-Agenten
NERDMANForscher haben ein neuronales System gebaut, das mathematische Beweise automatisch aufräumt. Klingt nerdig? Ist es auch.
Frontier-Modelle wie GPT-4o oder Claude Opus lösen Mathe-Olympiaden und knacken offene Probleme. Aber wer prüft, ob deren Beweise überhaupt stimmen? Ein neues Paper zeigt: Dafür ...
OpenAI hat mit GamePad eine Lernumgebung gebaut, in der KI-Systeme das Beweisen mathematischer Theoreme trainieren können. Kein neues Modell, kein Produkt — pure Forschung.
Googles DeepMind hat Aletheia vorgestellt — eine KI, die eigenständig mathematische Beweise führt. Nicht Hausaufgaben-Niveau. Forschungs-Niveau.
Math, Inc. baut eine KI, die mathematische Beweise in formale Sprache übersetzt. Klingt nach Fortschritt — spaltet aber die Zunft.
Ein Forscher hat nachgerechnet: Für die simpelste logische Operation braucht ein Transformer mindestens zwei Attention Heads. Der Beweis? Überraschend einfach.
Microsoft Research zeigt Vega — ein System, das deinen Ausweis prüft, ohne ihn jemals zu sehen. Zero-Knowledge-Proofs machen es möglich, in unter 100 Millisekunden.
Ein prestigeträchtiger Commonwealth Short Story Prize steht unter Generalverdacht. Eine KI soll die Siegergeschichte geschrieben haben — beweisen kann es niemand.
Ein australischer KI-Berater bastelt mit ChatGPT und AlphaFold einen angeblichen Krebsimpfstoff für seine Hündin Rosie. Die Tech-Elite feiert — Wissenschaftler nicht.
Der US-Bundesstaat Texas zieht gegen Meta vor Gericht. Der Vorwurf: WhatsApp soll trotz Ende-zu-Ende-Verschlüsselung in Nachrichten reinschauen können.
Die größte Preprint-Plattform der Welt zieht den Stecker. ArXiv hat genug von Forschern, die ChatGPT-Müll als Wissenschaft verkaufen.
Die Cybersecurity-Firma Trellix wurde selbst gehackt. RansomHouse hat sich zum Angriff bekannt und Beweisbilder geleakt.
2018 versuchte Elon Musk, das halbe OpenAI-Gründerteam abzuwerben. Jetzt liegen die Beweise auf dem Richtertisch.
Mitten im Krieg behauptet der Iran, die USA hätten Backdoors in Netzwerk-Equipment genutzt, um Irans Infrastruktur lahmzulegen. Chinas Staatsmedien verbreiten die Story genüsslich ...
Amazon soll Marken systematisch unter Druck gesetzt haben, damit diese bei der Konkurrenz die Preise erhöhen. Der US-Bundesstaat Kalifornien legt jetzt neue Beweise vor.
Das FBI ruft Amerikaner auf, keine Apps chinesischer Entwickler zu nutzen. Konkrete Belege für aktuellen Datenmissbrauch? Fehlanzeige.
Ein australischer KI-Berater hat angeblich mit ChatGPT und AlphaFold einen Impfstoff gegen den Krebs seiner Hündin Rosie gebastelt. Die OpenAI-Chefetage teilt die Story begeistert ...
Christian Ulmen hat genug. Der Schauspieler und Moderator lässt über seinen Anwalt Deepfake-Vorwürfe zurückweisen, die der Spiegel verbreitet hat.
Sechs Teams treten im Wettbewerb „Quantum for Bio" gegeneinander an. Ihr Ziel: Beweisen, dass Quantencomputer-Algorithmen echte Probleme in der Medizin lösen können.
Simon Willison hat Claude ein Retro-Game aus 1983 nachbauen lassen. Vorlage: das Usborne-Buch "Creepy Computer Games", das früher auf dem Commodore 64 lief.