Wiskundig bewijs

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.

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.

OpenAI bevestigt Astra als zijn volgende grote model en publiceert tien wiskundige resultaten van een interne versie. Wat er wel en niet vaststaat over de volgende generatie, en wat dat betekent voor je AI-planning.