AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
The Field of Program Synthesis
It's possible to learn those logical statements that are true about the world and their relationships. Today we just don't really know how to do it, so it's very much a grass search or a research problem. The one real world application I'm aware of is a flash field in Excel. It's a way to automatically learn very simple programs to format cells in an Excel spreadsheet from a few examples.