1 articles with this tag
A Toronto mathematician says AI's best proof repurposed 1960s ideas to break a geometry conjecture, but theory building still needs humans.
