Dataflow matrix machines (by Anhinga anhinga)

So, stepping back, we are gradually moving towards a situation when AI can assist us to understand things and do things, but correctness is not at all guaranteed.

In this sense, when I am looking at the abstracts of CALCO 2023 & MFPS XXXIX, https://coalg.org/calco-mfps-2023/ and pondering how to make this kind of difficult math understandable and usable, AI assistance is the only thing I am hoping for.

So, what Terence Tao is co-organizing here is one of the things which are quite relevant, but the program is a bit too bureaucratic for my taste:

https://terrytao.wordpress.com/2023/06/02/ai-to-assist-mathematical-reasoning-a-workshop/

https://www.nationalacademies.org/documents/embed/link/LF2255DA3DD1C41C0A42D3BEF0989ACAECE3053A6A9B/file/D5DBCD07BFB3B3835BA234DD7CC8F45DED111D71E18F?noSaveAs=1

So... I don't know whether this is at all useful to attend...