@ModerateImprovement to

[email protected]English • 2 months ago

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

www.technologyreview.com

40

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

www.technologyreview.com

@ModerateImprovement to

[email protected]English • 2 months ago

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

@[email protected]
link
fedilink
English
3•2 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.

[email protected]

[email protected]

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

3.11K users / day
9.34K users / week
18.3K users / month
36.1K users / 6 months
58.1K subscribers
11K Posts
495K Comments
Modlog