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

LocalLLaMA

3 readers
1 users here now

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

founded 1 year ago
MODERATORS
communick@poweruser.forum
1
Ilya paper about Q* (alien.top)
submitted 11 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
[–] allende911@alien.top 1 points 11 months ago (1 children)

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

Grammarly is free, my man

[–] Klaud10z@alien.top 1 points 11 months ago (2 children)

Not free unfortunately

[–] altryne@alien.top 1 points 11 months ago

chatGPT is

[–] allende911@alien.top 1 points 11 months ago

The free version could do a better job than OP.