Futurology Today
  • Communities
  • Create Post
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
RewindAgain to FuturologyEnglish · 10 months ago

How machines that can solve complex math problems might usher in more powerful AI - Google DeepMind’s AlphaProof and AlphaGeometry 2 are milestones for AI reasoning.

www.technologyreview.com

external-link
message-square
0
link
fedilink
5
external-link

How machines that can solve complex math problems might usher in more powerful AI - Google DeepMind’s AlphaProof and AlphaGeometry 2 are milestones for AI reasoning.

www.technologyreview.com

RewindAgain to FuturologyEnglish · 10 months ago
message-square
0
link
fedilink
How machines that can solve complex math problems might usher in more powerful AI
www.technologyreview.com
external-link
Google DeepMind’s AlphaProof and AlphaGeometry 2 are milestones for AI reasoning.
alert-triangle
You must log in or register to comment.

Futurology

futurology

Subscribe from Remote Instance

Create a post
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: !futurology@futurology.today
Visibility: Public
globe

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

  • 109 users / day
  • 500 users / week
  • 1.84K users / month
  • 6.29K users / 6 months
  • 90 local subscribers
  • 2.58K subscribers
  • 1.82K Posts
  • 11.4K Comments
  • Modlog
  • mods:
  • voidx
  • Lugh
  • Espiritdescali
  • AwesomeLowlander
  • BE: 0.19.11
  • Modlog
  • Legal
  • Instances
  • Docs
  • Code
  • join-lemmy.org