4
submitted 9 months ago by [email protected] to c/[email protected]

Supposedly Q-star is better at formal logics. Maybe it has to do with this : ...

top 3 comments
sorted by: hot top controversial new old
[-] [email protected] 2 points 7 months ago

Any update? It seems that the hype did die down.

[-] [email protected] 1 points 7 months ago

I don't have any thing new ... unless maybe the following is related :
OpenAI wants to raise 5-7 trillion dollars. Yes, Trillion https://lemmy.world/post/11777054

[-] [email protected] 1 points 9 months ago* (last edited 9 months ago)

The Future of Machine Learning: A New Breakthrough Technique (MLC)
https://lemmy.world/post/7611861

Preliminary experiments reported in Supplementary Information 3 suggest that systematicity is still a challenge, or at the very least an open question, even for recent large language models such as GPT-4. https://www.nature.com/articles/s41586-023-06668-3

this post was submitted on 29 Nov 2023
4 points (75.0% liked)

Artificial Intelligence

1315 readers
1 users here now

Welcome to the AI Community!

Let's explore AI passionately, foster innovation, and learn together. Follow these guidelines for a vibrant and respectful community:

You can access the AI Wiki at the following link: AI Wiki

Let's create a thriving AI community together!

founded 1 year ago