Comment by adamddev1

But not getting past the forefront of what's known and written by humans, right? (Aside from filling in math proofs by broad searching and brute forcing known lemmas?)