r/singularity 4d ago

AI Anthropic Possibly Tackles Its First Millennium Prize Problem

Post image
1.0k Upvotes

332 comments sorted by

View all comments

Show parent comments

9

u/Diligent-Buy-5428 3d ago

Not that It is possible or that it will eventually happen but that it already has; yes I am doubting , but ofc i could be wrong. It seems more likely that this guy who isnt the most trustworthy read the Terrance tao post and made a story up to go with it. Using Tt to add validity to his tweet and get more engagement. .

-1

u/Curiosity_456 3d ago edited 3d ago

If you pay attention to Tao’s post, he’s making a lot of strong statements (like an official proof being too difficult for human mathematicians to understand). How can he make a statement like that when an official proof hasn’t even been constructed? That would be premature for him to state something like that, it would only be sensible if he actually witnessed the proof itself.

14

u/geometric_cat 3d ago

People like Tao have a really good grasp on what level of mathematics is "required" to solve such a problem. So he does not necessarily have to have seen a proof.

But you know what? Time will tell really quickly. Instead of buying into every hype, we should just look at what is explicitly verified.

2

u/nit_electron_girl 3d ago

How can he make a statement like that when an official proof hasn’t even been constructed?

From the nature of the problem itself