Skip to content

Proofs and Prompts

Notes from the common room

  • Posts
  • Submit
  • Newsfeed
  • Contributors
  • About

Joseph Tooby-Smith

  • 13 October 2026

    Warrants, dinosaur bones, and resolving conjectures with AI

    by Joseph Tooby-Smith
    Discovery · Norms · Warrant
    1 comment on Warrants, dinosaur bones, and resolving conjectures with AI

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