News for hackers. Stuff that matters.

A comment on I'm Not Convinced the AI Bubble Exists. Parent comment

Re:I'm Not Convinced the AI Bubble Exists by transitorykris on Sunday November 08, 2026 @11:58PM (#50421239)
If they do for material sciences what they did for math proofs, the world is going to get weirder!
[ Parent | on HN ]
Re:I'm Not Convinced the AI Bubble Exists by xscott on Monday November 09, 2026 @12:12AM (#50421325)
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.
[ Parent | on HN ]
Re:I'm Not Convinced the AI Bubble Exists by diomedes on Monday November 09, 2026 @01:15AM (#50421718)
if we were able to make a LEAN for hard science we would all be living to 200 by now
[ Parent | on HN ]
Re:I'm Not Convinced the AI Bubble Exists by xscott on Monday November 09, 2026 @02:44AM (#50422376)
Why so short? :-)
[ Parent | on HN ]