logoalt Hacker News

direwolf20 • yesterday at 7:41 PM • 0 replies • view on HN

They are different ball games. Math proofs can be brute forced by a computer, in principle, but that takes too long so we need good heuristics. Drugs can't be discovered on a computer, even in principle - you always need real-world feedback.

Consider the difference between asking an LLM to translate a poem, and asking it whether my front door is open or closed. No amount of clever computation will make it reliably answer the latter.