Onderzoekssysteem bewijst kwantumrekenkundig vermoeden

Physical Superintelligence heeft bekendgemaakt dat een intern onderzoekssysteem, dat gebruikmaakt van een model van Anthropic, een wiskundig vermoeden op het gebied van kwantumcomputing heeft bewezen. Het probleem hield onderzoekers al geruime tijd bezig. Het systeem wist binnen enkele dagen op eigen infrastructuur een volledige bewijsvoering te genereren, die vervolgens werd geverifieerd door de Lean-software.

Het automatisch genereren van wiskundige bewijzen door middel van kunstmatige intelligentie illustreert de groeiende capaciteit van geavanceerde taalmodellen om complexe, abstracte vraagstukken te doorgronden. Waar dergelijke systemen zich aanvankelijk met name richtten op tekstverwerking en programmering, verkennen onderzoekers nu steeds vaker de grenzen binnen fundamentele wetenschappen en formele logica.