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
[–] mrpogiface@alien.top 1 points 10 months ago (6 children)

I think that's a bit out of date. My guess is its building on this work

https://openai.com/research/improving-mathematical-reasoning-with-process-supervision

[–] nested_dreams@alien.top 1 points 10 months ago (3 children)

This definitely sounds like the paper. 100% worth the read, surprised I hadn't heard much about it until this ordeal

[–] jack-in-the-sack@alien.top 1 points 10 months ago

I'll definitely be asking my GPT to read this paper to me as my bedtime story.

load more comments (2 replies)
load more comments (4 replies)