Skip to content

Proofs and Prompts

Notes from the common room

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

correction

  • 25 October 2026

    Could AI help correct the mathematical literature?

    by Alonso Castillo-Ramirez
    correction · Reflection · Truth
    3 comments on Could AI help correct the mathematical literature?

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