4·
2 days agoHe’s not shuffling, they’re foils
- 0 Posts
- 8 Comments
Joined 3 years ago
Cake day: June 10th, 2023
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
5·4 days agoWell, do Russian bots have a big influence on global politics? Seems not unimportant.
11·4 days agoIt’s not just about you.
Yep. I’m not Irish but I am proud of Ireland at the moment.
All a proof needs to do is logically derive the conclusion from the premises. Sure, there are qualities we like to see, but complexity is no disqualifier. These AI proofs are of course horrendous and need a lot of work, but even a bad proof can allow new work to continue on top of it.
And in percent? Would you believe… 45.