Hacker News new | past | comments | ask | show | jobs | submit
transitorykris | on: I'm not convinced the AI bubble exists
If they do for material sciences what they did for math proofs, the world is going to get weirder!
xscott | parent
Yeah, we need a lot more kinds compilers like LEAN. Give the accountants, physicists, chemists, biologists, and so on the tools where they can verify the results.
diomedes | root | parent
if we were able to make a LEAN for hard science we would all be living to 200 by now
xscott | root | parent
Why so short? :-)