AxiomProver, every mention
8 scenes · ← back to AxiomProver
tap a year for its mentions
every year anyone Corinna Hong 11
Verbatim, from the transcripts: the passages where AxiomProver comes up
AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong
- ▶ 3:41 Corinna Hong I think it was a Saturday, it was December sixth, and, um, we all kind of gathered at the Axiom office and decided to put Axiom Prover in the real-time test. 2 times in the scene
- ▶ 4:50 Corinna Hong And recently, I think like a couple of weeks ago, we just announced that action prover solved these four research level open problems.
- ▶ 28:22 Corinna Hong And that's actually what's going on right now with Action Prover. 3 times in the scene
- ▶ 36:02 Corinna Hong So action prover, prover, uh, tried on PNM exam, got perfect score.
- ▶ 43:12 Corinna Hong Roughly by, uh, I mean, journal submissions, a lot of other factors, obviously, but, uh, I mean, you can think about currently the, the batch of, um, papers, Axiom Prover has autonomously proven and mathematicians have written, uh,
- ▶ 46:49 Corinna Hong Ah, so obviously there is, like, only a finite number of awards, and I think that we really want Accent Prover to be able to solve one long-standing problem in mathematics that you can objectively, objectively say, even though if it's an…
- ▶ 48:59 Corinna Hong Can conjecture, find interesting, find tasteful, could be solved by, hopefully, majority of them by accent prover.
- ▶ 53:57 Corinna Hong We all have this sort of emotional response when Axiom Prover proved false conjecture, proved that almost all primes are partially regular, partial Vandiver conjecture, which is one part of the original Vandiver conjecture that had been…