AI has solved many math problems, but it has not solved math | Science www.science.org/doi/10.1126/...
science.org
AI has solved many math problems, but it has not solved math
This summer has featured an amazing run of mathematical discoveries. In May, a prediction first made by Paul Erdős in 1946 about “unit distances” between points in a plane, was disproved. In July, the...