this post was submitted on 01 Oct 2023
1140 points (97.5% liked)

Technology

59415 readers
1777 users here now

This is a most excellent place for technology news and articles.


Our Rules


  1. Follow the lemmy.world rules.
  2. Only tech related content.
  3. Be excellent to each another!
  4. Mod approved content bots can post up to 10 articles per day.
  5. Threads asking for personal tech support may be deleted.
  6. Politics threads may be removed.
  7. No memes allowed as posts, OK to post as comments.
  8. Only approved bots from the list below, to ask if your bot can be added please contact us.
  9. Check for duplicates before posting, duplicates may be removed

Approved Bots


founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[โ€“] jarfil@lemmy.world 3 points 1 year ago (1 children)

The tricky bit is finding a problem that is hard to solve but easy to verify. I'm not sure AI tasks fall into that category.

They actually do. Training an AI involves changing some values in the model in an attempt for it to better fit an optimization function. It takes many tries to find a set of values that perform better, but a single try to confirm it does.

Both sides require much more computing power than for a single hash, but the difficulty imbalance is still there, and verifiers could change "how much better fit" the next model needs to be, just like they do by changing difficulty requirements right now.

[โ€“] devils_advocate@lemmy.ml 2 points 1 year ago

True. The next iteration doesn't need to be optimal, just an improvement in the loss function.

Not sure how they would decide when to stop.