SEVENSA / RESEARCH INTELLIGENCEINDEPENDENT EDITORIAL ATLAS
KI-FORTSCHRITTE, VERSTÄNDLICH

KI-Entwicklungen, die es zu verstehen lohnt.

Was sich geändert hat, was die Belege stützen und was genauer geprüft werden sollte: Modelle, Agenten, Wissenschaft und Mathematik ohne unbelegte Erfolgsversprechen.

19CURATED CASES
14RESEARCH AREAS
6LANGUAGES
Der heutige Forschungsüberblick · 2026-11-01

35 heute neu entdeckt

Neu entdeckt bedeutet nicht neu veröffentlicht. Diese Quellenberichte wurden nicht unabhängig geprüft.

Täglicher Überblick →Alle Forschung durchsuchen
EDITORIAL SCOPE

Redaktionelle Zusammenfassungen fremder Aussagen; keine eigene Beweiszertifizierung und keine Vertretung der genannten Unternehmen.

Stand 29. Oktober 2026
Forschung erklärt

Forschung erklärt

Drei quellenbasierte Vertiefungen. Englischer Text; separate KI-Prüfung, kein wissenschaftliches Peer Review.

Agent systems · English

A more capable agent still needs enforced boundaries

Clarifies the distinction between model capability, orchestration and enforced permissions without replacing the existing Sevensa stack.

Source: NVIDIA Developer · 2026-10-30

Separate AI source check · not peer review

Forschung erklärt →

HOURLY SOURCE DISCOVERY

Neue Forschungsberichte

Automatisch gesichtet · hier nicht fachlich begutachtet

Forschung entdecken → · Quellenstatus

OpenAI

Fair use benefits everyone

AI models · provider_announcement

OpenAI shares excerpts from court briefs by creators, academics, accessibility advocates, and legal experts, among others, on how fair use supports AI training and innovation.

Automatisch gesichtet · hier nicht fachlich begutachtetForschungsnotiz lesen ↗
01 / DISCOVERY INDEX

Mathematische Vertiefung

Ausgewählte Veröffentlichungen, kein vollständiges Verzeichnis

n → ∞
01OpenAI
Local smoothing ⇒ Kakeya + restriction

Lokale Glättung, Kakeya und Restriktion

Wie wenig Raum benötigt eine extrem dünne Nadel, wenn sie in jede Richtung zeigen kann? Diese Frage führt zum Kakeya-Problem.

Unabhängige Prüfung läuft↗
02OpenAI
ETH: 3-SAT ∉ 2^o(n) claimed false

Ein Angriff auf die Exponentialzeithypothese

Viele Rätsel scheinen mit ihrer Größe explosionsartig schwieriger zu werden. Ein KI-Beweis stellt diese Annahme infrage.

Unabhängige Prüfung läuft↗
03OpenAI
∂ₜu + (u·∇)u = −∇p + νΔu + f

Kann glatte Strömung singulär werden?

Man stelle sich einen Wirbel vor, der sich auf immer kleinerem Raum immer schneller dreht.

Formaler Beweis gemeldet↗
04Anthropic
aⁿ + bⁿ ≠ cⁿ, n > 2

Fermats letzter Satz, maschinell geprüft

Für n größer als zwei gibt es keine positiven ganzen a, b, c mit aⁿ + bⁿ = cⁿ. Der Satz war bereits bewiesen; Claude formalisierte ihn.

Fachkommentar↗
05Anthropic
Proportion of zeros on Re(s)=½: ≥ 67.2% (claimed)

Mehr Zeta-Nullstellen auf der kritischen Linie

Claude löste die Riemannsche Vermutung nicht. Anthropic berichtet aber eine Erhöhung der nachweisbaren Untergrenze von 41,6 % auf 67,2 %.

Expertenprüfung gemeldet↗
06OpenAI
Quantum complexity

Erschwert Wiederholung das Bestehen eines Quantenspiels?

Ein einzelner Test lässt Glück zu. Wiederholung soll die Chance senken, alle Runden zu bestehen. Quantenstrategien können jedoch Verschränkung teilen und Runden miteinander korrelieren.

Formaler Beweis gemeldet↗
07OpenAI
Complexity theory

Wie schwierig ist die Berechnung der Permanente?

Die Determinante kombiniert Einträge einer quadratischen Matrix. Die Permanente summiert ähnliche Produkte ohne wechselnde Vorzeichen. Diese kleine Änderung führt zu einer anderen Rechenaufgabe.

Formaler Beweis gemeldet↗
08OpenAI
Group theory

Lässt sich jede Gruppe durch endliche Permutationen annähern?

Eine Gruppe beschreibt umkehrbare Operationen. Teile einer unendlichen Gruppe versucht man durch Permutationen einer endlichen Menge nachzubilden. Sofizität fragt, ob immer genauere Nachbildungen möglich sind.

Formaler Beweis gemeldet↗
10OpenAI
Discrete geometry

Wie dicht lassen sich Kugeln in hohen Dimensionen packen?

Orangen zu stapeln ist vertraut. In einem Raum mit vielen unabhängigen Koordinaten fragt man ebenfalls, welcher Anteil durch gleich große, nicht überlappende Kugeln ausgefüllt werden kann.

Formaler Beweis gemeldet↗
11OpenAI
Extremal graph theory

Wie dicht kann ein Graph ohne verbotenes Muster werden?

Ein Graph besteht aus Punkten und Verbindungen. Fügt man genügend Verbindungen hinzu, werden bestimmte Muster unvermeidbar. Extremale Graphentheorie untersucht diese Schwelle.

Formaler Beweis gemeldet↗
15OpenAI
Coding theory

Wie viel Information passt in einen robusten Code?

Redundanz hilft, beschädigte Nachrichten zu erkennen. Dafür müssen Codewörter genügend Abstand halten. Wie viele unterscheidbare Nachrichten sind bei vorgegebenem Mindestabstand möglich?

Formaler Beweis gemeldet↗
02 / RESEARCH INTEGRITY

Verifikation ist ein Prozess, kein Etikett.

Formale Prüfung, Expertenbegutachtung und Peer Review sind verschieden.

01Ein Modell schlägt ein Argument vor.
02Formale Werkzeuge prüfen eine präzise Aussage.
03Forschende untersuchen Annahmen und Bedeutung.
04Unabhängige Anerkennung dauert oft länger.
03 / OPEN RESEARCH INTERFACE

Für Forschungsagenten

Öffentliche JSON- und Markdown-Exporte mit Quellen, Unsicherheiten und Prüfdatum; ohne Anmeldung oder JavaScript.

GET /api/v1/discoveries.jsonOpen JSON ↗GET /.well-known/ai-research.jsonAgent manifest ↗GET /llms.txtDocumentation ↗