Skip to content

Proofs and Prompts

  • Posts
  • Submit
  • Newsfeed
  • Contributors
  • About

Contributor: Andrew Ng

  • Sep 4, 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.

Designed with WordPress

Logo by Radhika Gupta

Loading Comments...