Google claims math breakthrough with proof-solving AI models

arstechnica.com

cross-posted to:
technology@lemmit.online

Google claims math breakthrough with proof-solving AI models

arstechnica.com

Nemeski@lemm.ee to

Google@lemdro.idEnglish · 4 months ago

cross-posted to:
technology@lemmit.online

AlphaProof and AlphaGeometry 2 solve problems, with caveats on time and human assistance.

You must log in or register to comment.

Chat

Google@lemdro.id

google@lemdro.id

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: !google@lemdro.id

Welcome to the Google community! This is a place to discuss everything related to Google products, services, features, and discussions.

ChromeOS discussions are welcome!

General discussions about Google products, updates, tips, and related topics are welcome. However, for specific technical support, account-related inquiries, advertising questions, and other issues, please direct them to official Google support channels.

Rules

Stay on topic: All posts should be related to Google products, services, or the Google ecosystem.
Respectful discussions: Treat fellow community members with respect and engage in constructive discussions. Avoid personal attacks, harassment, or offensive language.
No support inquiries: Please refrain from posting individual support inquiries or account-related issues. Use official Google support channels for assistance.
No spam or self-promotion: Do not post spam or self-promotional content. This includes links to personal websites, blogs, or products/services.
No illegal content: Do not share or discuss illegal content, including piracy, hacking, or copyright infringement.
No misleading information: Avoid spreading false or misleading information about Google or its products.
No inappropriate content: Do not post or link to any inappropriate or NSFW (Not Safe for Work) content.
No off-topic discussions: Keep the discussions focused on Google products, services, and related topics. Avoid unrelated or off-topic discussions.
No excessive advertising: Do not excessively promote products, services, or websites.
Follow community guidelines: Adhere to the overall community guidelines and terms of service.

Visibility: Public

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

5 users / day
162 users / week
416 users / month
1.49K users / 6 months
1 local subscriber
1.13K subscribers
116 Posts
290 Comments
Modlog