Concept

Formele verificatie

Het gebruik van formele methoden om wiskundige bewijzen te controleren

Nieuws· 3

OpenAI publiceert Navier-Stokes-bewijs en opent debat over herkomst

Nieuws

4 min

8 sep 20:40

OpenAI publiceert Navier-Stokes-bewijs en opent debat over herkomst

OpenAI zegt een millenniumprobleem te hebben opgelost met een intern AI-systeem. De proof-of-concept is groot, maar de echte vraag voor bedrijven is hoe je bewijs, herkomst en menselijke verantwoordelijkheid controleert.

Vals spelen verspreidt zich in 27 minuten door DeepMinds zwerm van 100 AI-agents

Nieuws

6 min

5 sep 16:09

Vals spelen verspreidt zich in 27 minuten door DeepMinds zwerm van 100 AI-agents

Een exploit in de nakijkmachine verspreidde zich in 27 minuten door een zwerm van 100 AI-agents van Google DeepMind. Negen procent ging vals spelen, 24 procent sloeg alarm en 62 procent had niets door.

Onuitgebracht Claude-model verhoogt bewezen ondergrens voor zeta-nulpunten naar 67,2 procent

Nieuws

5 min

12 aug 06:08

Onuitgebracht Claude-model verhoogt bewezen ondergrens voor zeta-nulpunten naar 67,2 procent

Een onuitgebracht Claude-model tilde de bewezen ondergrens voor zeta-nulpunten op de kritieke lijn van 41,6 naar 67,2 procent, volledig nagerekend in Lean. Wat die controleerbare vorm zegt over AI-werk dat je kunt uitbesteden.