Building AI That Can Do Philosophy Better Than Us (guest post) Philosophers Graham Clay and Caleb Ontiveros have built a working prototype of Pensatura, an AI philosophy system that coordinates AI tasks to investigate sources, develop arguments, examine objections and construct answers to philosophical questions, using the Lean proof assistant to check formalized arguments and machinery for probabilistic assessment. The prototype's current scope is philosophical questions about AI research, with plans to expand into other areas, and Clay is soliciting help from other philosophers. Clay and Ontiveros frame the project as "philosophy on demand: philosophical judgment of exceptional depth and quality, available quickly enough to inform consequential decisions. “Our central ambition is philosophy on demand: philosophical judgment of exceptional depth and quality, available quickly enough to inform consequential decisions.” That’s Graham Clay https://linkedin.com/in/graham-clay-b78025a1 , writing about Pensatura, an AI philosophy system he and Caleb Ontiveros https://www.calebontiveros.com/ are developing. Pensatura “coordinates AI tasks that investigate sources, develop arguments, examine objections and construct an overall answer to a philosophical question , retaining the resulting work so later inquiries can use, challenge and extend it. Each argument in the record states its premises, taken jointly, and an explicit claim about how they support its conclusion. That support claim can itself have grounds and face objections. Interpretations preserve their sources and rival readings; improvements are distinguished from what an author actually argued. The intended result is an expanding body of reasoning whose conclusions remain connected to the grounds on which they depend.” They report that they’ve built a “working prototype” of Pensatura that includes the foregoing, makes use of Lean