{"version":"1.0","type":"rich","provider_name":"Acast","provider_url":"https://acast.com","height":250,"width":700,"html":"<iframe src=\"https://embed.acast.com/$/65cd6d1f7c9b980016d9b063/6aa1d7748ff451bb2230101a?\" frameBorder=\"0\" width=\"700\" height=\"250\"></iframe>","title":"The 8th Amendment, AI Written Proofs & Naiver-Stokes, 9/11 NYC Docs","description":"<p>Brett and Brad discuss the 9th Amendment that famously protects people from cruel and unusual punishment by the government. After the break, we talk about the solution OpenAI has submitted to one of the Millennium Prizes: Naiver-Stokes smoothness, and the broader trend and implications of AI being used to solve mathematical theorems. We end with a somber, unfortunate note on the release of documents from New York City from the months after September 11, 2001. </p>","author_name":"Brett and Brad"}