"Discovery consists of seeing what everybody has seen, and thinking what nobody has thought." (Albert Szent-Györgyi)
What we’re witnessing right now in AI for math is a dramatic improvement in objective-driven problem-solving, but it does not speak to non-objective discovery. ...