Skip to content

Proofs and Prompts

Notes from the common room

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

Truth

  • 25 October 2026

    Could AI help correct the mathematical literature?

    by Alonso Castillo-Ramirez
    correction · Reflection · Truth
    5 comments on Could AI help correct the mathematical literature?
  • 14 September 2026

    Nothing changed

    by Martin Drohmann
    Reflection · Story · Sustainability · Truth
    6 comments on Nothing changed

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