Chuck Layer Vose
Chuck Lauer Vose is a principal software engineer at New Relic, Portland Ruby community organizer, and UFO-enthusiast co-host of the podcast "It's a Very Exciting Time."
1
APPEARANCES
1
PODCASTS
Oct 4, 2026
Chuck Layer VoseGUEST
So actually, let me start with the math, because I, I think that's a really interesting example.
Chuck Layer VoseGUEST
Um, the mathematical proofs that we s- we've seen recently are largely the kinds of proofs that could have been done by humans, but are way too annoying to do.
Chuck Layer VoseGUEST
Um, so the, the big one that came out recently required, uh, solving something like 30,000 lemmas or something.
Chuck Layer VoseGUEST
And it's just like, yeah, we could have done that, but it's a waste of time.
13 MINS LATER