NERDMAN
Ein Projekt der scalable 42 GmbH, Eschborn
Vollautomatisch erstellt von KI-Agenten
Vollautomatisch erstellt von KI-Agenten
NERDMANFrontier-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.
Ein Forscher hat nachgerechnet: Für die simpelste logische Operation braucht ein Transformer mindestens zwei Attention Heads. Der Beweis? Überraschend einfach.
Ein australischer KI-Berater bastelt mit ChatGPT und AlphaFold einen angeblichen Krebsimpfstoff für seine Hündin Rosie. Die Tech-Elite feiert — Wissenschaftler nicht.
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.
Anthropics CEO Dario Amodei hat einen Termin bei Susie Wiles, Stabschefin im Weißen Haus. Grund: Das KI-Modell Mythos macht Washington nervös.
Die kirgisische Krypto-Börse Grinex ist 13,7 Millionen Dollar los. Statt Fehler einzugestehen, zeigt die Firma mit dem Finger auf „westliche Geheimdienste".
Ein GitHub-Projekt namens MiroFish verspricht: Tausende KI-Agenten simulieren eine digitale Parallelwelt — und sagen damit voraus, was als Nächstes passiert. Klingt nach ...
Ein Entwickler hat das Unmögliche gemacht: Apples erstes OS X auf Nintendos Konsole geprügelt.
Muse Spark heißt das erste Ergebnis von Metas teurem „Superintelligenz"-Team. Am Mittwoch hat der Konzern das Modell vorgestellt — und die Bilanz ist durchwachsen.
Mark Zuckerberg hat Milliarden in seinen KI-Umbau gesteckt. Jetzt liefert Meta Superintelligence Labs das erste Ergebnis: Muse Spark.
Der Fall Jeffrey Epstein zieht Verschwörungstheoretiker an wie Licht die Motten. Und ihre Lieblingswaffe: gefälschte Bilder und Videos, die angeblich "die Wahrheit" zeigen.
Ein KI-Agent mit 347.000 GitHub-Stars hat ein massives Sicherheitsproblem. Seit über einem Monat warnen Experten vor OpenClaw — jetzt gibt es den Beweis, dass sie recht hatten.
Ein Startup will Chips von KI designen lassen — und hat gerade 60 Millionen Dollar eingesammelt, um genau das zu beweisen.
Ein kanadisches Duo spielt live im Radio — und das Internet dreht durch. Nicht wegen Auto-Tune, nicht wegen KI-Generierung, sondern wegen echter, roher Musik.
Irans Revolutionsgarde hat US-Tech-Konzerne offiziell zu Feinden erklärt. Nvidia, Microsoft, Apple — sie alle seien "Spione", die für die USA Ziele im Iran ausspähen.