Adam Gleave’s Post

View profile for Adam Gleave, graphic

CEO at FAR AI

I remember learning category theory in undergrad and wondering: when would this ever be useful? Turns out it's very useful for program synthesis and software modeling -- thanks Kristopher for the great talk!

View organization page for FAR AI, graphic

1,780 followers

⚙️ "Category Theory for Legible Software and Corrigible World Modeling" by Kristopher Brown presented at FAR Labs Seminar. Brown discusses the role of category theory in creating interpretable and adaptable AI systems, aiming for enhanced safety and stakeholder alignment. 🌟 🔍 Model Legibility: Emphasizes the need for AI models that are both interpretable and economically viable. 🔧 Mathematical Principles: Advocates for software engineering based on principled mathematical models for abstraction reuse. 🔄 Stakeholder Collaboration: Highlights the importance of diverse stakeholder collaboration to align AI systems with broad human values. 🧩 Examples of Abstractions: Showcases how databases, Petri nets, and wiring diagrams exemplify effective abstraction in software engineering. 📺 Watch the full recording:  https://lnkd.in/ghT4irux  -- and subscribe to our YouTube channel for future research presentations!

To view or add a comment, sign in

Explore topics