1087
you are viewing a single comment's thread
view the rest of the comments
[-] joonazan@discuss.tchncs.de 2 points 3 days ago

They did manage to do something different, though. I thought at one point that proof assistants should offer to automatically upload your proofs to a central repository so everyone can benefit from them. But such a system would require many to opt in for it to be useful.

What AI does best is giving you existing solutions. It even adapts them if they don't quite fit. Because many people now discuss their ideas with AI, ideas may spread the same way as well when the conversations are used as training data.

So no, definitely not AGI but valuable. Though as typical of explosively growing startups the value does not come from the technology but from activity bordering on criminal that lawmakers can't keep up with.

[-] Nalivai@lemmy.world 2 points 3 days ago

Because many people now discuss their ideas with AI, ideas may spread the same way as well when the conversations are used as training data.

As a training data it's possible less then useful, unsupervised data like that is actively harmful. As a central repository of everyone's private conversations it can be in a way useful, but I can't understand how anyone could be OK with a private company reselling your most private data.

this post was submitted on 20 Oct 2026
1087 points (99.5% liked)

Technology

89039 readers
3748 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 news or articles.
  3. Be excellent to each other!
  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, this includes using AI responses and summaries. To ask if your bot can be added please contact a mod.
  9. Check for duplicates before posting, duplicates may be removed
  10. Accounts 7 days and younger will have their posts automatically removed.

Approved Bots


founded 3 years ago
MODERATORS