ModerateImprovement to

Technology@lemmy.worldEnglish · 4 months ago

Google DeepMind’s AI systems can now solve complex math problems.

www.technologyreview.com

4

40

Google DeepMind’s AI systems can now solve complex math problems.

www.technologyreview.com

ModerateImprovement to

Technology@lemmy.worldEnglish · 4 months ago

4

Google DeepMind’s AI systems can now solve complex math problems

www.technologyreview.com

AlphaProof and AlphaGeometry are steps toward building systems that can reason, which could unlock exciting new capabilities.

Chat

technocrit@lemmy.dbzer0.com
link
fedilink
English
arrow-up
4
arrow-down
1·
4 months ago
Automated proofs are at least like 30+ years old.

These grifters are desperate to act like they’re doing something new and exciting.

Technology@lemmy.world

technology@lemmy.world

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: [email protected]

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

Our Rules

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

Approved Bots

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

2.91K users / day
9.07K users / week
16.7K users / month
34.2K users / 6 months
2.16K local subscribers
59.6K subscribers
12.3K Posts
546K Comments
Modlog