2026-02-12 17:21 UTC
@RosaCtrl @rzeta0 @samir
I mean, Deepmind’s Alphafold won the literal Nobel Prize in Chemistry, to universal agreement?
So Terence Tao and others exploring Deepmind’s ANNs for other sciences seems like a pretty obvious thing to do.
It’s not that all ANN’s became bad just because LLMs hallucinate.
And yes, the key difference is that in Science/Math you can have automated and/or experimental checking of results, unlike for code security, the statistically average Redditor, or MechaHitler
Replies (1)
-
@rzeta0@mathstodon.xyz 2026-02-12 17:37
@Akshay @RosaCtrl @samir yes, I think formal verification sets this apart