AI solved another 6 open Erdős problems
by tomlaies in ~AI, ~math, ~science
711 sats and 2 comments so far

Stacker News
AI solved another 6 open Erdős problems \ stacker news
After Claude Fable disproved the Jacobian conjecture (https://stacker.news/items/1528695) and GPT-5.6 disproved the Dinitz-Garg-Goemans conjecture ...