this post was submitted on 23 Nov 2023
1 points (100.0% liked)

LocalLLaMA

1 readers
1 users here now

Community to discuss about Llama, the family of large language models created by Meta AI.

founded 10 months ago
MODERATORS
communick@poweruser.forum
1
Ilya paper about Q* (alien.top)
submitted 10 months ago by Xnohat@alien.top to c/localllama@poweruser.forum
16 comments fedilink hide all child comments
 

Ilya from OpenAI have published a paper (2020) about Q* : a GPT-f model have capabilities in understand and resolve Math, Automated Theorem Proving.

https://arxiv.org/abs/2009.03393

When AI model can understand and really doing Math, that a critical jump.

you are viewing a single comment's thread
view the rest of the comments
[–] PopeSalmon@alien.top 1 points 10 months ago

doesn't seem directly related but surely it's indirectly related,, this is an interesting idea: "We demonstrate that iteratively training a value function on statements generated by our language model leads to improved prover performance, which immediately suggests a strategy for continuous self improvement: keep training on proofs generated by the prover."