Looking for something?
A place, an idea, a question. Find the articles that interest you.
Articles to discover

AI and scientific evidence: what Lean checks, and what still needs examiningOpenAI’s announcements have revived the question of evidence produced by AI. The logical core, assumptions and results of AlphaProof: key points for assessing them.