Technology

88746 readers

2624 users here now

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

Our Rules

Follow the lemmy.world rules.
Only tech related news or articles.
Be excellent to each other!
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, this includes using AI responses and summaries. To ask if your bot can be added please contact a mod.
Check for duplicates before posting, duplicates may be removed
Accounts 7 days and younger will have their posts automatically removed.

founded 3 years ago

MODERATORS

321

submitted 5 days ago by Mustachius_Grumpius@thelemmy.club to c/technology@lemmy.world

79 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] deeprlyeh@lemmus.org 25 points 5 days ago (2 children)

Also all ML models have some accuracy less than 100%, that means you can’t trust it. The whole point in the proof is perfection

[–] FauxLiving@lemmy.world 15 points 5 days ago (1 children)

The proofs are written in Lean so, like in all mathematics, you don't have to trust the person because you can independently verify the proof.

[–] ThirdConsul@lemmy.zip 4 points 4 days ago

That's not how Lean works.

implementation of Lean is buggy.
having a Lean Theorem/Proof only proves they are connected to the axioms
Lean is not enough to personally verify the proof. We can see that even now with the stolen C+D Navier proof, where OpenAi paper - as we know since yesterday - is... possibly false (well, we know that the lean code does not match the paper, let the mathematicians cook).