woensdag 4 november 2026Landelijk en regionaal nieuws
6.389 nieuwsberichten in de afgelopen 24 uur, uit 987 bronnen.
Onderwerp
3 nieuwsberichten over Millennium Prize Problems.
WetenschapNew Scientist
AI heeft een van de lastigste problemen in de wiskunde opgelost. De betrokken onderzoekers deelden deze mijlpaal enkele uren nadat andere AI-onderzoekers een vergelijkbaar, maar minder volledig, resultaat aankondigden.
Economiedemorgen.be
OpenAI zegt dat zijn AI in 88 uur een oplossing vond voor het Navier-Stokesprobleem, een van de beroemde Millennium Prize Problems. Anthropic liet Claude in elf dagen Laatste stelling van Fermat omzetten in een computergecontroleerd bewijs.
Tech & MediaVolkskrant
OpenAI is erin geslaagd een formeel bewijs te leveren voor een van de moeilijkste wiskundige puzzels ter wereld. Indrukwekkend, maar niet zonder controverse: het AI-bedrijf zou de wiskunde geen goede dienst bewijzen.