Hello everyone, this is Aditya Adiga. I have been part of the “Autostructures project” at AISC 10 and have continued to work on this research at Groundless AI.
I have been building a tool that allows users to mark and port insights or ideas that arise in research conversations into personalised, context-sensitive formalisms. In this post, I want to discuss how this tool works, why it matters, and how cool it is!
This work emerged from the AISC Autostructures project hosted by Sahil and Murray, building on Sahil's foundational work on Live Theory. The core ideas were developed in early conversations with Jayson and Sahil, with Djordje and Peter contributing during the initial prototyping stages. Throughout... (read 1964 more words →)