3 ms·
to be fair, humans also have to run experiments to discover whether their models fit nature - AI will do it too.
by exe34 2y ago
to be fair, humans also have to run experiments to discover whether their models fit nature - AI will do it too.
- margorczynski 2y agoThese kind of experiments are many times orders of magnitude more costly (time, energy, money, safety, etc.) than verifying a mathematical proof with something like Lean. That's why many think math will be one of the first to crack with AI as there is a relatively cheap and fast feedback loop available.