Leiter Reports: A Philosophy Blog

News and views about philosophy, the academic profession, academic freedom, intellectual culture, and other topics. The world’s most popular philosophy blog, since 2003.

  1. Jordan's avatar
  2. Rachel's avatar
  3. doris's avatar
  4. Adam Rieger's avatar

    Palazzo Massimo alle Terme. The garden frescoes from the villa belonging to Livia (wife of emperor Augustus) are a miracle,…

  5. JDF's avatar
  6. Brooks Sommerville's avatar

    Capuchin Crypt: A crypt decorated with the bones of 3,000+ Capuchin friars. So metal.

  7. David Frost's avatar

Open AI’s math proofs

Reader Blake Myers calls to my attention this story about the mathematical proofs released by OpenAI. Mr. Myers kindly compiled what seemed to him the most interesting or important results here. The total collection of papers is here. Readers knowledgeable about math are welcome to comment on these, how they will affect mathematics, etc.

, ,

Leave a Reply

Your email address will not be published. Required fields are marked *

Designed with WordPress