Strange New Universes: Proof Assistants and Synthetic Foundations, by Michael Shulman
"[...] allow mathematicians to explore radically new kinds of mathematics using an LLM-powered proof assistant to train their intuitions [...]"
https://t.co/eoVE6fSjsz
My dreams came true last week when I found out about a rad new web page designed by #FutureFossils Podcast listener @vanbettauer that allows you to ask MY ENTIRE PODCAST a question and get a cogent, legible short answer synthesized from over 200 episodes! Each response at https://t.co/aDwsSKQgTc includes numerous citations and embedded streaming clips from the most relevant moments of the show:
@michaelgarfield It's fun to play around with. I appreciate how simple it is. I want to redo the experiments they do in the paper with each LLM agent grounded in a particular podcast corpus.
@michaelgarfield@erik_davis @kenadams_io This approach definitely works for Expanding Mind!
Things get weird fast when you simulate two chat bots prompted to only respond with clips from a podcast
@DrTomFroese Feels like this gets close to some of the work of Kauffman and Varela back in the 80s https://t.co/Fo09GBlT8G. Kauffman also has a more recent talk on non-duality that uses imaginary numbers as an example https://t.co/S2pBH6UUOn, although a bit different from your approach!
@mertozdal6 @evantthompson @pelindilaraclk I think this is a good place to start. Slowly build up a network of decentralized contemplative science, and expand into physical spaces as the funding comes in.
Which books have had a foundational influence on your thinking? 4 for me are:
• F Varela, @evantthompson, E Rosch, The embodied mind
• Gregory Bateson, Steps to an ecology of mind
• Lev Vygotsky, Mind in society
• Hideo Kawamoto, Autopoiesis 2001 (in Japanese)
(1/2) ZX-calculus is now being used within the fundamentals of Quantum Machine Learning, namely for analysing the barren plateau phenomenon in training quantum neural networks, including identification of cases where they don't occur.
https://t.co/RnMSvxrzOy