- cross-posted to:
- technology@lemmy.world
- cross-posted to:
- technology@lemmy.world
You must log in or register to comment.
Man, really turns out there isn’t a single field where the use of an LLM isn’t a huge compromise.
Somewhat ironically, GenAI models are doing better than humans in mathematics, by the simple virtue of not getting bored or tired, combined with the oligarchs financing the AI companies being willing to spend infinite amounts of money until the agent shits out some new mathematical proof.
This is actually ironic, because the one thing we know with absolute certainty that LRMs cannot do properly is mathematics. Turns out if you throw enough compute at boring problems with verifiable answers and a mathematician to check your work you get progress.
The verifiable answers part is important. There is a proofing language that allows complex math to be tested. LLMs are being used to brute-force that since they can be set up to run another iteration each time it fails.
It really doesn’t help when people like Veritasium post misleading videos on how Alphafold “solves” protein structures.
I heard that too from a doctor. I asked him if he’s worried about antibiotic-resistant pathogens.
“Not at all!” He said, quite enthusiastically. Because the problem had been solved.
He spent the rest of the night dodging specifics.
Strange fellow.
