{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreicaocrbr4u3c3vyrkzhpx4wuwuyk5hizrqha5tnr3jwjmstqwnbfq",
    "uri": "at://did:plc:3fychdutjjusoqeq24ljch6q/app.bsky.feed.post/3min67ednrpl2"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreibz52wpfaljcpdycma2m67tu55zbfbohjwp2xwgtqcsjaws66grzm"
    },
    "mimeType": "image/jpeg",
    "size": 162783
  },
  "path": "/2026/04/03/polymath-plus-ai/",
  "publishedAt": "2026-04-03T07:34:31.000Z",
  "site": "https://gilkalai.wordpress.com",
  "tags": [
    "Ido Kaminer",
    "Ramanujan Machine",
    "a novel way to do mathematics",
    "dozens of new conjectures",
    "2021 post",
    "ICLR 2025",
    "NeurIPS 2025",
    "From π to QFT: Symbolic Discovery at Scale",
    "recently proposed",
    "Rafi Ostrovsky",
    "Yuval Rabani",
    "Dr. Z",
    "surprise proposal"
  ],
  "textContent": "_This post was written together with Nissan Hajaj and Ido Kaminer._\n\nAI and Math has become a hot topic (and a source of some worries) among and beyond the mathematical community.\n\nNissan Hajaj from Google Research proposed to run an “AI polymath project” based on a similar concept of polymath project but with participation of AI agents. Together with Ido Kaminer we decided to run a pilot experiment with a couple of projects.\n\n### Nissan’s vision for the AI-polymath project\n\nBy empowering collaborative research initiatives with AI tools, we can create a powerful platform that applies the scientific potential of modern AI to the most advanced frontiers of active research. Projects like Polymath demonstrate how the mathematical community has already embraced collective efforts; such models can now be enhanced by the evolving capabilities of AI to accelerate research progress while offering developers a space to refine these tools through real-world academic interaction.\n\nWe envision an open, hybrid research ecosystem where human experts and AI agents collaborate seamlessly, utilizing shared tools and resources as needed. In this environment, both human participants and AI entities can engage in ongoing dialogues, offering insights, solutions, and critiques. Our proposal focuses on establishing a platform designed to initiate,oversee, and complement these specialized mathematical research communities, featuring:\n\n  1. Dedicated AI utilities for community administration, including workflows, literature analysis, documentation, review, verification, and planning.\n\n  2. Frameworks designed for registering, deploying, and coordinating AI tools made available to the community.\n\n  3. A transparent interface that invites contributions from both human researchers and automated agents.\n\n\n\n\nOur objective is to select a diverse array of mathematical problems spanning various subfields, each presenting unique hurdles for both human intellect and AI-driven methodologies.\n\n### What we plan to do\n\nWe would like to have a preliminary (and rather partial) implementation of Nissan’s idea: To start with a description of a project (polymath X) and to proceed with AI contributions on the comment section.\n\n**The (default) prompt:**\n\nPolymath X with the participation of AI agents is dealing with the following mathematical problem:\n\n—Short Formulation—-\n\nAn introduction to the project and the discussion so far can be found in this LINK.\n\nPlease make a comment, preferably limited to 3-4 paragraphs. (If you have more to say, contribute several comments.)\n\nYour comment may include (but are not limited to) one or more of the following\n\n  1. A new idea for the project,\n  2. Some further thoughts on current ideas,\n  3. A comment on some earlier comments,\n  4. Proofs, heuristic arguments, examples, counter-examples, and conjectures,\n  5. Computer-programs and computer experimentation.\n\n\n\n**The comment section of the present post can serve for “meta discussion” for this project.**\n\nIn addition of a general discussion of the idea we can think about specific projects to run.\n\n### Potential stages and specific tools\n\nNissan sees several possible stages for the project. For example:\n\n  1. **Manually setting up the Polymath site/post and inviting participants.**\nEvery AI participant will need to find a way to interact with the site (through comments).\n  2. **Manually setting up the Polymath site/post and inviting participants—both humans (through comments) and agentic participants (through a published API).**\n  3. **A semi-automatically managed site** , where content generation, reviews, and moderation can be facilitated by AI.\n  4. **The same as (3), but with additional special-purpose AI tools and resources** dedicated to the effort.\n\n\n\nIn the long term, Nissan envisions such an effort evolving into a collection of encyclopedic entries (similar to Wikipedia) that are maintained and advanced by the hybrid community, with dedicated computational resources to explore solutions autonomously.\n\n_(Our blog efforts will be limited to items 1 and 2. API stands for Application Programming Interface.)_\n\n### A few words about Ido\n\nIn addition to his research in experimental physics, Ido Kaminer and his collaborators developed in 2021 the Ramanujan Machine which is “a novel way to do mathematics by harnessing your computer power to make new discoveries. The Ramanujan Machine already discovered dozens of new conjectures.” We mentioned the Ramanujan Machine in this 2021 post. His group expanded this idea to build a library of connections among mathematical constants (ICLR 2025) and unify their formulas (NeurIPS 2025). We mentioned the Ramanujan Machine in this 2021 post. More recently, the research of his group expanded also to computations in physics. See Ido’s videotaped lecture _From π to QFT: Symbolic Discovery at Scale._\n\n### Other Polymath news\n\nOn some other polymath news, Tim Gowers recently proposed a polymath project about the word problem in the Artin-Tits group.\n\n### AI+Math\n\nOn the topic of AI+Math (and math of CS), let me mention that I also had very pleasant and thought-provoking discussions with Rafi Ostrovsky and Yuval Rabani.\n\nI also had some illuminating correspondence with Dr. Z. (Separate to his pioneering and provocative role in Math+AI, see Doron’s surprise proposal from yesterday.)\n\nBy Gil Kalai",
  "title": "Polymath Plus AI"
}