
Ifølge The New York Post er dette "enhedsafstandsproblemet på et plan", som den ungarske matematiker Paul Erdős stillede i 1946.
Problemet er som følger: Hvis du tilfældigt markerer et antal punkter på et stykke papir, hvad er så det maksimale antal par af punkter, der har samme afstand fra hinanden?
Et tilsyneladende simpelt spørgsmål har udfordret matematikere siden 1946 og er blevet et af de mest berømte problemer inden for kombinatorisk geometri.
På det tidspunkt fremsatte Erdős hypotesen om, at antallet af disse pointpar ville vokse lidt hurtigere end det samlede antal tildelte point.
I næsten 80 år har matematikere uafbrudt forsøgt at bevise eller modbevise hypoteser relateret til dette problem, men uden et klart resultat. Den bedste løsning nogensinde var at arrangere punkterne i et kvadratisk gitter.
OpenAIs AI-model fandt imidlertid en helt anden løsning ved at benytte forskellige grene af matematikken til at opdage en gruppe konfigurationer, der overskrider begrænsningerne i Erdős' oprindelige hypotese.
Dette gennembrud afkræfter ikke blot en længe eksisterende matematisk hypotese, men foreslår også en helt ny sorteringsmetode.
OpenAI angiver, at beregningerne udføres af en generel inferensmodel, der automatisk kan opdele komplekse problemer i mindre trin, i stedet for et værktøj, der er specifikt trænet til matematik.
OpenAIs arbejde er blevet officielt anerkendt af matematikere, herunder Thomas Bloom, matematikeren der er ansvarlig for webstedet, der hoster Erdős-problemerne, og som tidligere havde været en hård kritiker af OpenAIs påstande om Erdős-problemet.
Denne gang anerkendte han, at AI-systemet havde opnået enestående resultater ved "vedholdende at forfølge tilgange, som mennesker let overser, og som ikke anså dem for at være tiden værd at udforske."
Denne ekspert bemærkede dog også menneskers rolle: Selvom de indledende beviser fra AI var fuldt ud gyldige, er de blevet betydeligt forbedret af forskere hos OpenAI og mange andre matematikere. Mennesker spiller stadig en afgørende rolle i at diskutere, absorbere og forfine disse beviser, samt udforske deres implikationer.
Kilde: https://baodanang.vn/openai-dat-buoc-dot-pha-khi-giai-bai-toan-80-nam-tuoi-3337673.html








Kommentar (0)