Skip to content

Proofs and Prompts

Notes from the common room

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

Andrew Ng

  • 1 November 2026

    A new system of accreditation

    by Andrew Ng
    Credit · Norms · The future of papers
    No comments on A new system of accreditation
  • 4 September 2026

    On proof and progress in mathematics in the age of generative LLMs

    by Andrew Ng
    Community · Reflection · Understanding
    11 comments on On proof and progress in mathematics in the age of generative LLMs

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