Skip to content

Proofs and Prompts

Notes from the common room

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

Vincent Runge

  • 12 November 2026

    On AI and Progress in Mathematics: Dreaming a Mathematical Universal Machine

    by Vincent Runge
    Evaluation · Initiative · Understanding
    1 comment on On AI and Progress in Mathematics: Dreaming a Mathematical Universal Machine

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