AI and Theorem Proving

4min Snip

00:00

Play full episode

Summary

Transcript

Episode notes

Theory proving has been around for a really long time but it seems like a big bottleneck of theorem proving is that how do you generate the idea for the next step in the proof. Conrad courting and some colleagues have proposed called a system two recommender which is to say your sort of higher level planning and reasoning longer term thinking or something in this kind of very colloquial sense. Is there a way to make recommender systems that are actually optimizing for what you will want or what you would want upon reflection or what you yourself 10 years from now would have wanted to you to do now? That's another area where we're thinking about sort of beneficial AI projects.

Read the full transcript here.

What are focused research organizations? Which kinds of research projects lend themselves to the FRO model? Researchers in academia frequently complain about the incentive structures around funding and publishing; so how do FROs change those dynamics? Why must FROs be time-limited, especially if they're successful? Who's in charge in an FRO? How does "field-building" help to improve science? What effects might large language models have on science?

Adam Marblestone is the CEO of Convergent Research. He's been launching Focused Research Organizations (FROs) such as E11 bio and Cultivarium. He also serves on the boards of several non-profits pursuing new methods of funding and organizing scientific research including Norn Group and New Science. Previously, he was a Schmidt Futures Innovation Fellow, a consultant for the Astera Institute, a Fellow with the Federation of American Scientists (FAS), a research scientist at Google DeepMind, Chief Strategy Officer of the brain-computer interface company Kernel, a research scientist at MIT, a PhD student in biophysics with George Church and colleagues at Harvard, and a theoretical physics student at Yale. He also previously helped to start companies like BioBright and advised foundations such as the Open Philanthropy Project. His work has been recognized with a Technology Review 35 Innovators Under 35 Award (2018), a Fannie and John Hertz Foundation Fellowship (2010), and a Goldwater Scholarship (2008). Learn more about him at adammarblestone.org.

Staff