logoalt Hacker News

orphereusyesterday at 6:28 PM5 repliesview on HN

C'mon AI companies, pivot to lawyers or doctors already.

Trying to convince us that mathematics and software engineering are "solved" is getting very tiring.

The pushback would probably be too much for the soon-to-be IPO-ed companies.


Replies

smokelyesterday at 6:40 PM

Mathematics is typically concerned with "proofs" [1], which similarly to code, often allow for strict validation. Thanks to reinforcement learning techniques, it is now possible to train LLMs to perform very well on code generation, and mathematical proof generation.

Law and medicine are fundamentally harder fields to obtain decent training data for, and LLM results are therefore expected to be less powerful. Also, making mistakes in these fields is costly, but perhaps you were alluding to that already.

[1] https://en.wikipedia.org/wiki/Mathematical_proof

show 2 replies
ndriscollyesterday at 6:42 PM

A neighbor of mine whose husband is a lawyer said it's already part of his regular workflows. OpenAI also already have HIPAA compliant offerings targeting healthcare uses, etc. Of course they already do these things.

__natty__yesterday at 6:38 PM

They try to sell AI as lawyer or doctor replacements as well. But because it’s HackerNews we are biased towards our domains to see them more often.

show 1 reply
dgellowyesterday at 6:36 PM

They can rely on compilers, solvers, theorem provers to validate the generated softwares and maths. That’s what makes it possible to iterate quickly in a loop and self correct. You cannot do that in soft industries like legal and medicine

show 1 reply
shdhyesterday at 9:23 PM

Look up OpenEvidence

show 1 reply