TechCrunch
OpenAI påstår sig faktiskt ha löst det 80 år gamla matematikproblemet den här gången, nej men alltså
OpenAI påstår att deras nya resonemangsmodell har motbevisat en berömd förmodan från 1946 av Erdős – och den här gången har de faktiska matematiker som backar upp dem, inte bara ett raderat tweet.