Comment by wg0
5 days ago
Can a layman be sure of an AI model's output if their proof is sound and follows through?
Wouldn't that still require mathematians?
Genuine question.
5 days ago
Can a layman be sure of an AI model's output if their proof is sound and follows through?
Wouldn't that still require mathematians?
Genuine question.
Proof assistants like Lean are there to catch any errors. Now, can you just feed the error logs back to the AI and let it iteratively fix any mistakes? I don't know, I haven't used those things in two decades.
You still need a mathematician to check the statement of the theorem.
Laymen understand very little about the how the world works at the most fundamental level even with all the resources in the world.
For example there’s enough information available to know what you’re describing but the people with the IQ, time, access, ability - basically asymptote to zero for anything more complicated than cleaning a house.