On: OpenAI have no mathematicians capable of understanding what they put out

[michaeljx]

Knowing something is proven true is knowledge, even if the mechanics of the proof are not understood.

[trolleski → michaeljx]

In maths, you go through proofs every step of the way. Same in physics, you start by performing even the most basic experiments, and build your way up.

[uargos → michaeljx]

It's not knowledge, it's belief.

[rented_mule → michaeljx]

If the mechanics of the proof are not understood, how do we know it's been proven? Math proofs are not a "trust me, bro" kind of thing.