Ai Dreams Forum

Artificial Intelligence => AI News => Topic started by: infurl on September 13, 2020, 12:56:47 am

Title: GPT-f SOTA AMTP
Post by: infurl on September 13, 2020, 12:56:47 am
https://syncedreview.com/2020/09/10/openai-gpt-f-delivers-sota-performance-in-automated-mathematical-theorem-proving/ (https://syncedreview.com/2020/09/10/openai-gpt-f-delivers-sota-performance-in-automated-mathematical-theorem-proving/)

Quote
The researchers created the GPT-f online proof assistant to enable interactive proof constructions with the assistance of their models. In experiments, GPT-f achieved a new SOTA result on the Metamath library, closing 56.22 percent of proofs from a held-out test set versus 21.16 percent for the current SOTA model MetaGen-IL to demonstrate transformer architecture’s potential in formal reasoning.

There could be a theoretical mathematics industry in our future.