GPT-f SOTA AMTP

  • 0 Replies
  • 10163 Views
*

infurl

  • Administrator
  • **********
  • Millennium Man
  • *
  • 1005
  • 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.

 


Scavengers by Improbable
by MikeB (AI News )
October 20, 2020, 06:51:05 am
Sony Patent Suggests PS5 Will Have a Chatbot Feature
by MikeB (AI News )
October 19, 2020, 09:32:40 am
efficiency breakthrough via mathematics
by infurl (AI News )
October 14, 2020, 09:47:44 am
deep drone
by infurl (Robotics News)
October 13, 2020, 03:08:39 am
cerebellum much more important than previously thought
by infurl (AI News )
October 13, 2020, 03:06:29 am
electronic neurons
by Hopefully Something (AI News )
October 02, 2020, 12:06:39 am
New model beats GPT3
by LOCKSUIT (AI News )
October 01, 2020, 11:54:25 am
Robotic vacuum cleaner news.
by Dat D (Robotics News)
September 29, 2020, 10:15:58 am

Users Online

158 Guests, 1 User
Users active in past 15 minutes:
yotamarker
[Trusty Member]

Most Online Today: 155. Most Online Ever: 528 (August 03, 2020, 06:16:11 am)

Articles