Large language models have recently shown an ability to solve a variety of problems. In this notebook we consider programming problems (as solved by AlphaCode) and mathematics problems (as solved by Minerva). The questions we would like to get at are:
- In the future, what role will these generative models play in assisting a programmer or mathematician?
- What will be a workflow that incorporates these models?
- How will other existing tools (such as programming languages) change to accomodate this workflow?