alt Hacker News> Before injecting this cocktail into your bloodstream, would you want to know that there is at least one human cancer researcher who understands the mechanism behind this cure.
Tao is out of his lane; lots of medicines don't have understood mechanisms. We don't even have the mechanisms behind general anesthesia nailed down; do you want to forgo it when the docs cut you open to remove your tumors?
Replies
On the other side, I’ve never gone to college, yet I was able to take an extremely important and complicated equation and decompose it into its constituent parts, animating each with data visualizations and animated tables of values. [0] This was several frontier model iterations ago.
The LLM model was able to break down and express math in such a simple way that I could understand and follow the training of the LLM model itself!
Are the math and computation accurate? I don’t know, and likely there are significant errors. Nonetheless, if I had a little more time -- not infinite time -- I would be able to prove whether they are or not.
Likely this is the path forward for understanding the mechanisms of medicine, and since most humans learn by doing and interacting with an environment, interacting like this will become how we use AI for learning in the near future.
Indeed, aren't medical trials based on its effects, rather than how it works?
Would you prefer to take the medicine that is proven to work or the one that is quite interesting for academic reasons behind its understood mechanisms but doesn't actually work?
Lots of problems in mathematics didn’t have solutions just a month ago.
Some mechanism of particular substrates being effective on a condition (commonly when a medicine is repurposed) not being fully understood is not the same as just guessing with a medical compound. AI boosters keep coming out with this line but it's basically wordplay to conflate the clinical/biomedical version of "not fully understood" with the LLM industry version of "not fully understood"
I feel as though Tao is getting alot of public attention that he hasnt had since his childhood, which is why he is releasing all of these blog posts
AI has been turning computer science into biology for the past decade or so. By which I mean that things like neural networks need to be investigated empirically, constructing methodologies and instruments that more closely resemble how fields like biology and medicine have to probe the very complex and messy reality that is beyond our current capacity to fully express in symbolic precision.
Now math gets to deal with that same reckoning. They were already well on their way there with previous Lean proofs, but this has pushed things beyond that horizon and I'm not sure some of the mathematicians are ready for it.