Skip to content

Proofs and Prompts

Notes from the common room

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

Optimism

  • 4 November 2026

    Reject the Neurosis, and Terrible Messaging, of our Loudest Voices — The Case for (Ir)rational Optimism

    by Anonymous
    Critique · Optimism · PhD students
    13 comments on Reject the Neurosis, and Terrible Messaging, of our Loudest Voices — The Case for (Ir)rational Optimism
  • 10 September 2026

    A somewhat optimistic view of AI in mathematics

    by Robert Wegner
    Community · Optimism · Reflection
    4 comments on A somewhat optimistic view of AI in mathematics
  • 7 September 2026

    What is mathematics now, and what should it be?

    by Jeremy Avigad
    Engagement · Optimism · Reflection
    7 comments on What is mathematics now, and what should it be?

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...