Nieuws

AI kan het vermoeden van Goldbach niet bewijzen

Hoewel AI-modellen zoals LLMs goud hebben gewonnen op de IMO en formele bewijzers stellingen hebben geverifieerd die mensen te boven gingen, brengt dit ons geen stap dichter bij het bewijzen van het vermoeden van Goldbach. Het artikel betoogt dat de huidige AI nog steeds moeite heeft met echt harde wiskundige problemen.