GPT-f SOTA AMTP

  • 0 Replies
  • 30815 Views
*

infurl

  • Administrator
  • **********
  • Millennium Man
  • *
  • 1209
  • Humans will disappoint you.
    • Home Page
GPT-f SOTA AMTP
« 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/

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.

 


Fifteen Advanced AI eBooks on sale
by infurl (AI News )
June 14, 2021, 11:14:55 pm
Wu Dao ten times bigger than GPT3
by LOCKSUIT (AI News )
June 12, 2021, 08:25:57 am
New challenge: Online Turing test
by WriterOfMinds (AI News )
June 08, 2021, 02:43:00 am
Disinformation Countermeasures
by MagnusWootton (AI News )
May 31, 2021, 09:39:05 am

Users Online

89 Guests, 0 Users

Most Online Today: 93. Most Online Ever: 2369 (November 21, 2020, 04:08:13 pm)

Articles