AI-gestuurde oplossing voor het Erdős #1196 vraagstuk (heise.de)

• Oplossing voor een wiskundig vraagstuk van 60 jaar oud.
• GPT-5.4 Pro als instrument in fundamentele wiskunde.
• Nieuwe standaard voor AI in bewijsvoering.

"Een 23-jarige gebruiker heeft met GPT-5.4 Pro het 60 jaar oude Erdős-probleem #1196 opgelost. Dit succes onderstreept de nieuwe mogelijkheden van AI in fundamenteel wetenschappelijk onderzoek, doordat het model logische paden identificeerde die buiten het bereik van eerdere geautomatiseerde methoden lagen."