On: We have proof automation now

[DavidSJ]

> Worse than 0.01% of humans means that there are 8,000,000 people better than it. I know that's being pedantic I understand what you're saying.

Since we're being pedantic, it means that there are (approximately) 800,000 people better than it. ;)

[vatsachak → DavidSJ]

You're right, forgot a factor of 10 whoops