Skip to content

Proofs and Prompts

Notes from the common room

  • Start here
  • Posts
  • Submit
  • Newsfeed
  • Forum
  • Contributors
  • About

Discovery

  • 4 November 2026

    Picasso rephrased: AI is useless

    by Joachim von zur Gathen
    AI companies · Discovery · Problem solving
    9 comments on Picasso rephrased: AI is useless
  • 13 October 2026

    Warrants, dinosaur bones, and resolving conjectures with AI

    by Joseph Tooby-Smith
    Discovery · Norms · Warrant
    5 comments on Warrants, dinosaur bones, and resolving conjectures with AI
  • 12 October 2026

    Where is mathematics, physically?

    by Antonio J. Pan-Collantes
    Discovery · Reflection
    17 comments on Where is mathematics, physically?
  • 11 October 2026

    On our existential crisis and trustworthy AI

    by Michel Schellekens
    Computer Science · Discovery · Reflection
    10 comments on On our existential crisis and trustworthy AI
  • 25 September 2026

    From non-sofic to non-hyperlinear groups: the new messiness of discovering and announcing big results

    by Francesco Fournier-Facio
    Announcement · Discovery · Personal experience
    31 comments on From non-sofic to non-hyperlinear groups: the new messiness of discovering and announcing big results
  • 24 September 2026

    All the math we will not see

    by Alessandro Della Corte
    Discovery · History · Reflection
    11 comments on All the math we will not see
  • 13 September 2026

    The Platonist view

    by Uri Bader
    Discovery · Platonist · Reflection
    9 comments on The Platonist view

Proofs and Prompts

Prefer a feed reader? Subscribe by RSS.

Also on Mathstodon.

Read our comment policy.

Designed with WordPress

Logo by Radhika Gupta

Loading Comments...