Skip to content

Proofs and Prompts

Notes from the common room

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

Alonso Castillo-Ramirez

  • 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?
  • 12 August 2026

    The end of an era in mathematical research

    by Alonso Castillo-Ramirez
    History · Reflection · Teaching
    13 comments on The end of an era in mathematical research

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