Work on automated reasoning & formal math from MetaAI

Work on automated reasoning & formal math from MetaAI:

“Our model is able to prove mathematical theorems in a fully automated way and significantly outperforms the [state of the art]…” 

“The model learns from previous proof searches through online training, which allows it to generalize to mathematical domains far from the training distribution. In Metamath, our model proves more than 82% of theorems from a random split (compared to 56.5% for GPT-f).”

Deep Learning God & Head of Meta Ai Yann LeCun

Paper: HyperTree Proof Search for Neural Theorem Proving https://arxiv.org/abs/2205.11491

Back To News

Work on automated reasoning & formal math from MetaAI