logoalt Hacker News

danielmarkbruceyesterday at 9:40 PM0 repliesview on HN

No, it won't. How do you verify some causal claim in biology?

The reason AI is doing so well in math proof writing is that it can verify every idea it has, quickly.