Infinity alignment theory

very interesting discussion. the contrast IK makes between mathematics and inductive neural networks is compelling. perhaps of interest @patrickshafto.bsky.social? thanks for digging it up and for your analysis, @natolambert.bsky.social .

And ideas that can be made real often have a very close connection to physics and math. Capable inductive machines like NNs are so new. Lots of interesting commonalities to be mined going forward. And, I think, lots of differences to be formalized.

The magic is seeing ideas that are feasible. That is the magic of deep learning. A simple insight that can be made real (with lots of hard work).

Yes, I think it is interesting. The things that can be mathematics currently is narrow: physics, theoretical computer science, mathematics. But the sciences are vast, and in need of theory. In particular, the theory of intelligent agents is close to the surface in many cases...

Congrats! We're excited to see what projects come from expMath!