SEVENSA / RESEARCH INTELLIGENCEINDEPENDENT EDITORIAL ATLAS
DE AI-ONTWIKKELINGEN, UITGELEGD

AI-ontwikkelingen die het begrijpen waard zijn.

Wat veranderde, wat het bewijs ondersteunt en wat nader onderzoek verdient. Volg modellen, agents, wetenschap en wiskunde zonder aankondigingen te verwarren met bewezen resultaten.

19CURATED CASES
14RESEARCH AREAS
6LANGUAGES
De briefing van vandaag · 2026-11-01

35 vandaag nieuw gevonden

Nieuw gevonden is niet hetzelfde als nieuw gepubliceerd. Deze bronberichten zijn niet onafhankelijk geverifieerd.

Dagelijkse briefing →Doorzoek al het onderzoek
EDITORIAL SCOPE

Redactionele samenvattingen van externe claims. We certificeren geen bewijzen en vertegenwoordigen OpenAI of Anthropic niet.

Samengesteld per 29 oktober 2026
Uitgelegd onderzoek

Uitgelegd onderzoek

Drie brongebonden verdiepingen. Engelstalig; apart door AI gecontroleerd, geen wetenschappelijke peerreview.

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

Uitgelegd onderzoek →

HOURLY SOURCE DISCOVERY

Nieuwste onderzoeksberichten

Automatisch geselecteerd · niet door ons wetenschappelijk getoetst

Bekijk onderzoek → · Bronstatus

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 geselecteerd · niet door ons wetenschappelijk getoetstLees de onderzoeksnotitie ↗
01 / DISCOVERY INDEX

Wiskundige verdieping

Selectie onderzoeksresultaten, geen volledige inventaris

n → ∞
01OpenAI
Local smoothing ⇒ Kakeya + restriction

Lokale afvlakking, Kakeya en restrictie

Stel je een heel dunne naald voor die in elke richting kan wijzen en toch weinig ruimte inneemt. Kakeya gaat over hoe klein zo'n verzameling kan zijn.

Onafhankelijke review nodig↗
02OpenAI
ETH: 3-SAT ∉ 2^o(n) claimed false

Een aanval op de exponentiële-tijdhypothese

Sommige puzzels worden razendsnel moeilijker als ze groter worden. Een nieuw AI-bewijs stelt dat een bekende aanname daarover onjuist is.

Onafhankelijke review nodig↗
03OpenAI
∂ₜu + (u·∇)u = −∇p + νΔu + f

Kan een gladde vloeistofstroming singulier worden?

Stel je een draaikolk voor die steeds sneller draait in een steeds kleiner gebied. Kunnen stromingsvergelijkingen vanuit een glad begin onbeheersbaar worden?

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

Meer zèta-nulpunten op de kritieke lijn

Priemgetallen hebben een raadselachtig patroon. Claude loste de Riemann-hypothese niet op, maar verhoogde volgens Anthropic een bekende ondergrens van 41,6% naar 67,2%.

Review door experts gemeld↗
07OpenAI
Complexity theory

Hoe moeilijk is het berekenen van de permanent?

Een determinant combineert elementen van een vierkante matrix. De permanent telt vergelijkbare producten op, maar zonder afwisselende tekens. Dat kleine verschil maakt de berekening fundamenteel anders.

Formeel bewijs gemeld↗
08OpenAI
Group theory

Kan elke groep worden benaderd door eindige permutaties?

Een groep beschrijft omkeerbare bewerkingen. Een oneindige groep kun je proberen na te bootsen met verwisselingen van een eindige verzameling. Soficiteit vraagt of zulke steeds nauwkeurigere benaderingen altijd mogelijk zijn.

Formeel bewijs gemeld↗
15OpenAI
Coding theory

Hoeveel informatie past in een foutbestendige code?

Extra informatie maakt een beschadigd bericht herkenbaar. Codewoorden moeten voldoende van elkaar verschillen. Hoeveel berichten passen er wanneer elk paar een minimale afstand moet hebben?

Formeel bewijs gemeld↗
02 / RESEARCH INTEGRITY

Bewijs is een proces, geen keurmerk.

Formele controle, beoordeling door experts en tijdschriftreview zijn verschillende stappen.

01Een model stelt een bewijs voor.
02Formele tools toetsen een precieze stelling.
03Onderzoekers beoordelen aannames en betekenis.
04Onafhankelijke acceptatie kan langer duren.
03 / OPEN RESEARCH INTERFACE

Voor onderzoeksagents

Publieke JSON- en Markdownbestanden met stabiele links, bronvermelding, onzekerheid en controledatums. Zonder account of JavaScript.

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