⟳ Репост от Tony Yates
I found this, from Terence Tao, useful as a way of framing what mathematics is for, what AI is for, and how to evaluate knowledge: teorth.github.io/tao-web/slid...
teorth.github.ioWill RatcliffSo, bluesky, where is the discussion of the absolute insane things AI is doing in the realm of mathematics? It seems like we're nearly at the inflection point where the models are as good as human domain experts, and soon may well be better. Is that discourse only happening on twitter?