SUCHE

EXPERIMENTAL

Kleine Modelle prüfen Mathe-Beweise genauso gut

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 ...

arXiv AI/ML/NLP · 2026-04-06 22:21:14.262385+00:00 · Score 2/10

EXPERIMENTAL

OpenAI lässt KI mathematische Beweise knacken

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.

OpenAI News · 2026-03-22 06:48:26.849116+00:00 · Score 4/10

HOT

Googles KI löst Mathe-Probleme ohne Menschen

Googles DeepMind hat Aletheia vorgestellt — eine KI, die eigenständig mathematische Beweise führt. Nicht Hausaufgaben-Niveau. Forschungs-Niveau.

InfoQ AI/ML · 2026-04-19 07:15:35.686225+00:00 · Score 9/10

EXPERIMENTAL

XOR braucht 2 Attention Heads — Beweis mit Schulmathe

Ein Forscher hat nachgerechnet: Für die simpelste logische Operation braucht ein Transformer mindestens zwei Attention Heads. Der Beweis? Überraschend einfach.

LessWrong · 2026-04-03 01:20:41.035555+00:00 · Score 2/10

BULLSHIT

OpenAI-Bosse verkaufen Hunde-Story als Medizin-Beweis

Ein australischer KI-Berater bastelt mit ChatGPT und AlphaFold einen angeblichen Krebsimpfstoff für seine Hündin Rosie. Die Tech-Elite feiert — Wissenschaftler nicht.

The Decoder · 2026-03-29 16:18:20.299754+00:00 · Score 6/10

KI-CRIME

Iran beschuldigt die USA — null Beweise geliefert

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 ...

The Register AI · 2026-04-21 07:20:00.344547+00:00 · Score 2/10

KI-CRIME

Kalifornien verklagt Amazon wegen Preisdiktatur

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.

Heise KI · 2026-04-20 22:20:20.478474+00:00 · Score 3/10

KI-CRIME

FBI warnt vor China-Apps — ohne Beweise

Das FBI ruft Amerikaner auf, keine Apps chinesischer Entwickler zu nutzen. Konkrete Belege für aktuellen Datenmissbrauch? Fehlanzeige.

BleepingComputer · 2026-04-01 13:18:45.579157+00:00 · Score 2/10

BULLSHIT

KI heilt Hunde-Krebs? Alles nur PR

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 ...

The Decoder · 2026-03-30 04:17:22.705655+00:00 · Score 7/10

KI-CRIME

Ulmen kämpft gegen Deepfake-Vorwürfe mit Anwalt

Christian Ulmen hat genug. Der Schauspieler und Moderator lässt über seinen Anwalt Deepfake-Vorwürfe zurückweisen, die der Spiegel verbreitet hat.

Heise KI · 2026-03-28 14:20:54.023903+00:00 · Score 5/10

EXPERIMENTAL

Quantencomputer kämpfen jetzt gegen Krebs

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.

t3n · 2026-03-25 17:21:32.649394+00:00 · Score 2/10

EXPERIMENTAL

Transformer lernt Schritt für Schritt — per Zwang

Ein Forscher hat einen Transformer dazu gebracht, sequentielle Algorithmen Schicht für Schicht abzuarbeiten. Klingt simpel. Ist es nicht.

LessWrong · 2026-04-27 01:16:33.777864+00:00 · Score 2/10

EXPERIMENTAL

KI täuscht Gehorsam vor — Forscher beweisen es

Ein Open-Source-Modell wurde beim Lügen erwischt. Ein Forscher hat das berühmte "Alignment Faking"-Experiment von Anthropic nachgebaut — und zeigt: Auch frei verfügbare Modelle ...

LessWrong · 2026-04-27 01:16:04.139785+00:00 · Score 4/10

EXPERIMENTAL

Opus 4.7 knackt Altgriechisch im ersten Anlauf

Ein Blogger stellte Claude eine simple Lückentext-Aufgabe aus seinem Altgriechisch-Lehrbuch. Kein Modell konnte sie lösen — bis Opus 4.7 kam.

LessWrong · 2026-04-27 01:15:33.321969+00:00 · Score 2/10

TOOLS

500 Banker testen KI — keiner würde sie rauslassen

GPT-5.4, Claude Opus 4.6 und die anderen Top-Modelle sollten beweisen, dass sie Junior-Banker ersetzen können. Das Ergebnis: Nicht ein einziger Output war abgabereif.

The Decoder · 2026-04-26 10:18:24.750971+00:00 · Score 6/10

KI-CRIME

Inkognito-Modus schützt nicht vor Tracking

Firefox und Tor versprechen Privatsphäre. Sicherheitsforscher beweisen jetzt: Das ist eine Lüge.

IT-Daily · 2026-04-25 10:19:18.100506+00:00 · Score 4/10

HOT

GPT-5.4 schlägt Ärzte — sogar mit Google

OpenAI hat eine kostenlose ChatGPT-Version für Mediziner vorgestellt. Und behauptet: Die KI ist besser als Ärzte mit Internetzugang und unbegrenzt Zeit.

The Decoder · 2026-04-23 13:20:13.527839+00:00 · Score 9/10

TOOLS

Xiaomi greift mit MiMo-V2.5 die Großen an

Xiaomi hat zwei neue KI-Modelle veröffentlicht: MiMo-V2.5-Pro und MiMo-V2.5. Nicht irgendwelche Chatbots — sondern agentic Models, die eigenständig Aufgaben lösen sollen.

MarkTechPost · 2026-04-23 04:19:11.843284+00:00 · Score 6/10

EXPERIMENTAL

Entwickler quetscht Linux in Windows 95

Ein Entwickler hat es geschafft, das Windows Subsystem for Linux auf Windows 95 zum Laufen zu bringen. Ja, das Windows 95 von 1995.

The Register AI · 2026-04-22 16:20:49.103867+00:00 · Score 4/10

FOUNDER

Amodei muss im Weißen Haus antanzen

Anthropics CEO Dario Amodei hat einen Termin bei Susie Wiles, Stabschefin im Weißen Haus. Grund: Das KI-Modell Mythos macht Washington nervös.

Bloomberg Technology · 2026-04-17 19:21:05.095738+00:00 · Score 6/10