Skip to content

You get a very special purpose prover that uses heuristics, then they stop at the boundary where they can't work anymore.

— Woody Bledsoe

Another quote →

More quotes by Woody Bledsoe

I don't think it's too hard in any particular area, although I think people are a little surprised how easy it was in limit theorems. I don't think the average person would do it.

Partly, but partly to see how far we could go with automating the proof of mathematical theorems. That was the intent.

We proved — in the stand-alone mode with heuristics — we proved limit theorems of calculus and that's a good sample

It was built to partly prove theorems, which is one of the jobs that AI does. [inaudible word] emission, theorem proving, and so forth.

Yes, that's fair enough. It's not really what I said, though. I mean my goals were independent of the name. I wouldn't call them mathematics either.

All Woody Bledsoe quotes →

Attribution

Quote text and notes from Wikiquote: Woody Bledsoe (page history), available under CC BY-SA 4.0. Source quality and labels are our own summary of what Wikiquote records.