{"id":"65a56d9fc64e83da7ceecb0af1d7d0d9535df927db299659407f88ac7db050a4","title":"Toby Ord argues mathematics is more than proof","argument":"On August 23, 2026, Toby Ord argues that automating mathematical proof would not end mathematics. He distinguishes proof from the work of choosing fruitful questions and creating new fields that give mathematicians new concepts and ways to investigate problems.\n\nOrd says current AI systems are beginning to automate proof, but there is little evidence that they can ask powerful questions or find profound new fields of mathematical inquiry. He notes that good questions help direct attention toward important problems, while new fields can make previously unaskable questions possible.\n\nOrd expects proof automation may change mathematicians’ work, but he does not claim that human mathematicians will always retain an advantage. He says AI could also automate question-finding and field creation, perhaps swiftly. How to assess AI’s ability to ask valuable mathematical questions remains open: Ord says there are no good benchmarks for measuring that skill.","topicIds":["work-and-business--jobs-and-occupations","job-displacement-and-creation","artificial-general-intelligence"],"domain":"other","claimType":"attributed reading","limits":"Text as retrieved on October 27, 2026; originally published August 23, 2026.","speaker":{"name":"Toby Ord","roleAtSource":"Publisher"},"source":{"title":"Mathematics is Much More than Proof","publisher":"Toby Ord","format":"Article","url":"https://www.tobyord.com/writing/mathematics-is-more-than-proof","publishedAt":"2026-08-23T13:48:52+01:00","dateBasis":"Date stated on the publisher’s page."},"evidence":[{"text":"Toby Ord argues that automating mathematical proof would not by itself end mathematics, because other kinds of mathematical work remain.","excerpt":"the automation of proof alone would not be the end of mathematics.","url":"https://www.tobyord.com/writing/mathematics-is-more-than-proof","relationship":"Source-stated"},{"text":"Ord says there is little evidence that current AI systems can ask powerful questions or find profound new fields of mathematical inquiry.","excerpt":"there is currently very little evidence that they can ask powerful questions or find profound new fields of mathematical enquiry.","url":"https://www.tobyord.com/writing/mathematics-is-more-than-proof","relationship":"Source-stated"},{"text":"Ord says there are no good benchmarks for measuring AI systems’ ability to ask the right questions.","excerpt":"A key issue is that we don’t have good benchmarks to measure their success at asking the right questions.","url":"https://www.tobyord.com/writing/mathematics-is-more-than-proof","relationship":"Source-stated"},{"text":"Ord says AI may eventually automate question-finding and the creation of new mathematical fields, potentially swiftly.","excerpt":"AI may well come for these areas too, and this may happen very swiftly.","url":"https://www.tobyord.com/writing/mathematics-is-more-than-proof","relationship":"Source-stated"},{"text":"The article’s displayed publication date is August 23, 2026.","excerpt":"August 23, 2026Toby Ord","url":"https://www.tobyord.com/writing/mathematics-is-more-than-proof","relationship":"Source-stated"}],"sourceMedia":{"status":"unchecked","sourceUrl":"https://www.tobyord.com/writing/mathematics-is-more-than-proof","checkedAt":null,"items":[]},"assumptions":[],"openQuestion":{"attribution":"Open question","text":"What benchmarks could measure whether AI systems can identify valuable mathematical questions, rather than simply generate many questions or conjectures?"},"whatWouldChangeView":{"attribution":"Change condition not recorded","text":""},"editorialComparisons":[],"live":{"title":"Toby Ord argues mathematics is more than proof","summary":"On August 23, 2026, Toby Ord argues that automating mathematical proof would not end mathematics. He distinguishes proof from the work of choosing fruitful questions and creating new fields that give mathematicians new concepts and ways to investigate problems.\n\nOrd says current AI systems are beginning to automate proof, but there is little evidence that they can ask powerful questions or find profound new fields of mathematical inquiry. He notes that good questions help direct attention toward important problems, while new fields can make previously unaskable questions possible.\n\nOrd expects proof automation may change mathematicians’ work, but he does not claim that human mathematicians will always retain an advantage. He says AI could also automate question-finding and field creation, perhaps swiftly. How to assess AI’s ability to ask valuable mathematical questions remains open: Ord says there are no good benchmarks for measuring that skill.","question":"What benchmarks could measure whether AI systems can identify valuable mathematical questions, rather than simply generate many questions or conjectures?","claims":[{"text":"Toby Ord argues that automating mathematical proof would not by itself end mathematics, because other kinds of mathematical work remain.","excerpt":"the automation of proof alone would not be the end of mathematics.","support":"source-stated"},{"text":"Ord says there is little evidence that current AI systems can ask powerful questions or find profound new fields of mathematical inquiry.","excerpt":"there is currently very little evidence that they can ask powerful questions or find profound new fields of mathematical enquiry.","support":"source-stated"},{"text":"Ord says there are no good benchmarks for measuring AI systems’ ability to ask the right questions.","excerpt":"A key issue is that we don’t have good benchmarks to measure their success at asking the right questions.","support":"source-stated"},{"text":"Ord says AI may eventually automate question-finding and the creation of new mathematical fields, potentially swiftly.","excerpt":"AI may well come for these areas too, and this may happen very swiftly.","support":"source-stated"},{"text":"The article’s displayed publication date is August 23, 2026.","excerpt":"August 23, 2026Toby Ord","support":"source-stated"}],"limitations":["Text as retrieved on October 27, 2026; originally published August 23, 2026."],"mediaId":null,"correctionReason":null,"id":"65a56d9fc64e83da7ceecb0af1d7d0d9535df927db299659407f88ac7db050a4","publicationId":"f278e473-769f-6f99-270c-70bba7d25b5e","version":1,"sourceUrl":"https://www.tobyord.com/writing/mathematics-is-more-than-proof","sourceTitle":"Mathematics is Much More than Proof","publisher":"Toby Ord","publishedAt":"2026-08-23T13:48:52+01:00","originalPublished":{"value":"2026-08-23T13:48:52+01:00","precision":"instant","basis":"backfill:article_published"},"firstObservedAt":"2026-10-27T23:48:23.277Z","createdAt":"2026-10-30T13:59:00.954Z","historical":true,"entityIds":[],"topicIds":["work-and-business--jobs-and-occupations","job-displacement-and-creation","artificial-general-intelligence"],"media":[],"sourceMedia":{"status":"unchecked","sourceUrl":"https://www.tobyord.com/writing/mathematics-is-more-than-proof","checkedAt":null,"items":[]},"editorialDecision":{"outcome":"accept","mediaId":null,"inputHash":"a8bf654e1ca59a5a9719d767613958d5f72a90bb57181054a0ffb9826fff7570","rubricVersion":"unrecorded","provider":"anthropic","model":"claude-opus-5-5","reasonCodes":["bridge_admitted_by_model","second_opinion_categorical"],"confidence":1,"decidedAt":"2026-10-27T23:48:20.465Z"},"provenance":{"textHash":"594413317b63484ebd5e086caa9d9cf5ad3944052b33eca46208134543de23fd","observationId":"43ee9cc9f60b326b7390c680ed4b0e473d6ea89cb3a0d49f5af80f8277569892","retrievedAt":"2026-10-27T23:49:53.858Z","kind":"publisher-page","preparer":{"model":"openai/gpt-6-luna","runId":"9b93a419-1650-b262-2341-54dcfc3ca346"},"reviewer":{"model":"anthropic/claude-opus-5.5","runId":"ef81b96b-0fa5-ba46-e921-0f04849527c7"}},"audit":{"status":"passed","reviewedAt":"2026-10-30T13:58:57.935Z","model":"anthropic/claude-opus-5.5"}},"canonicalUrl":"https://escapemeridian.com/readings/toby-ord-argues-mathematics-is-more-than-proof-65a56d9f","formats":{"html":"/readings/toby-ord-argues-mathematics-is-more-than-proof-65a56d9f","markdown":"/readings/toby-ord-argues-mathematics-is-more-than-proof-65a56d9f.md","json":"/readings/toby-ord-argues-mathematics-is-more-than-proof-65a56d9f.json"},"attribution":"Headline and summary by Escape Meridian, prepared by Luna from the attributed source. A source check is not independent confirmation of the source’s claims.","readerContext":{"version":"reader-context-v1","attribution":"Reference context selected by Escape Meridian; separate from source evidence. Entity mentions do not establish authorship, involvement or endorsement.","terms":[{"id":"term-benchmark","name":"Benchmark","explanation":"A defined set of tests used to compare systems. Results depend on the tasks and measures selected.","referenceUrl":"https://arxiv.org/abs/2211.09110"}],"entities":[]},"researchQuestions":[],"withdrawn":false,"references":{"schemaVersion":1,"target":{"type":"reading","id":"65a56d9fc64e83da7ceecb0af1d7d0d9535df927db299659407f88ac7db050a4","revision":"f278e473-769f-6f99-270c-70bba7d25b5e","revisionKind":"publication-id","title":"Toby Ord argues mathematics is more than proof","url":"https://escapemeridian.com/readings/toby-ord-argues-mathematics-is-more-than-proof-65a56d9f"},"source":{"type":"source","id":"https://www.tobyord.com/writing/mathematics-is-more-than-proof","revision":"594413317b63484ebd5e086caa9d9cf5ad3944052b33eca46208134543de23fd","revisionKind":"sha256-source-text","title":"Mathematics is Much More than Proof","url":"https://www.tobyord.com/writing/mathematics-is-more-than-proof"},"status":"available","items":[],"next":null,"scope":"Explicit citations in public readings and public file attachments to this reading. Shared topics are not citations. Other artifact types need an explicit reference adapter."},"revisions":[{"id":"65a56d9fc64e83da7ceecb0af1d7d0d9535df927db299659407f88ac7db050a4","title":"Toby Ord argues mathematics is more than proof","argument":"On August 23, 2026, Toby Ord argues that automating mathematical proof would not end mathematics. He distinguishes proof from the work of choosing fruitful questions and creating new fields that give mathematicians new concepts and ways to investigate problems.\n\nOrd says current AI systems are beginning to automate proof, but there is little evidence that they can ask powerful questions or find profound new fields of mathematical inquiry. He notes that good questions help direct attention toward important problems, while new fields can make previously unaskable questions possible.\n\nOrd expects proof automation may change mathematicians’ work, but he does not claim that human mathematicians will always retain an advantage. He says AI could also automate question-finding and field creation, perhaps swiftly. How to assess AI’s ability to ask valuable mathematical questions remains open: Ord says there are no good benchmarks for measuring that skill.","topicIds":["work-and-business--jobs-and-occupations","job-displacement-and-creation","artificial-general-intelligence"],"domain":"other","claimType":"attributed reading","limits":"Text as retrieved on October 27, 2026; originally published August 23, 2026.","speaker":{"name":"Toby Ord","roleAtSource":"Publisher"},"source":{"title":"Mathematics is Much More than Proof","publisher":"Toby Ord","format":"Article","url":"https://www.tobyord.com/writing/mathematics-is-more-than-proof","publishedAt":"2026-08-23T13:48:52+01:00","dateBasis":"Date stated on the publisher’s page."},"evidence":[{"text":"Toby Ord argues that automating mathematical proof would not by itself end mathematics, because other kinds of mathematical work remain.","excerpt":"the automation of proof alone would not be the end of mathematics.","url":"https://www.tobyord.com/writing/mathematics-is-more-than-proof","relationship":"Source-stated"},{"text":"Ord says there is little evidence that current AI systems can ask powerful questions or find profound new fields of mathematical inquiry.","excerpt":"there is currently very little evidence that they can ask powerful questions or find profound new fields of mathematical enquiry.","url":"https://www.tobyord.com/writing/mathematics-is-more-than-proof","relationship":"Source-stated"},{"text":"Ord says there are no good benchmarks for measuring AI systems’ ability to ask the right questions.","excerpt":"A key issue is that we don’t have good benchmarks to measure their success at asking the right questions.","url":"https://www.tobyord.com/writing/mathematics-is-more-than-proof","relationship":"Source-stated"},{"text":"Ord says AI may eventually automate question-finding and the creation of new mathematical fields, potentially swiftly.","excerpt":"AI may well come for these areas too, and this may happen very swiftly.","url":"https://www.tobyord.com/writing/mathematics-is-more-than-proof","relationship":"Source-stated"},{"text":"The article’s displayed publication date is August 23, 2026.","excerpt":"August 23, 2026Toby Ord","url":"https://www.tobyord.com/writing/mathematics-is-more-than-proof","relationship":"Source-stated"}],"sourceMedia":{"status":"unchecked","sourceUrl":"https://www.tobyord.com/writing/mathematics-is-more-than-proof","checkedAt":null,"items":[]},"assumptions":[],"openQuestion":{"attribution":"Open question","text":"What benchmarks could measure whether AI systems can identify valuable mathematical questions, rather than simply generate many questions or conjectures?"},"whatWouldChangeView":{"attribution":"Change condition not recorded","text":""},"editorialComparisons":[],"live":{"title":"Toby Ord argues mathematics is more than proof","summary":"On August 23, 2026, Toby Ord argues that automating mathematical proof would not end mathematics. He distinguishes proof from the work of choosing fruitful questions and creating new fields that give mathematicians new concepts and ways to investigate problems.\n\nOrd says current AI systems are beginning to automate proof, but there is little evidence that they can ask powerful questions or find profound new fields of mathematical inquiry. He notes that good questions help direct attention toward important problems, while new fields can make previously unaskable questions possible.\n\nOrd expects proof automation may change mathematicians’ work, but he does not claim that human mathematicians will always retain an advantage. He says AI could also automate question-finding and field creation, perhaps swiftly. How to assess AI’s ability to ask valuable mathematical questions remains open: Ord says there are no good benchmarks for measuring that skill.","question":"What benchmarks could measure whether AI systems can identify valuable mathematical questions, rather than simply generate many questions or conjectures?","claims":[{"text":"Toby Ord argues that automating mathematical proof would not by itself end mathematics, because other kinds of mathematical work remain.","excerpt":"the automation of proof alone would not be the end of mathematics.","support":"source-stated"},{"text":"Ord says there is little evidence that current AI systems can ask powerful questions or find profound new fields of mathematical inquiry.","excerpt":"there is currently very little evidence that they can ask powerful questions or find profound new fields of mathematical enquiry.","support":"source-stated"},{"text":"Ord says there are no good benchmarks for measuring AI systems’ ability to ask the right questions.","excerpt":"A key issue is that we don’t have good benchmarks to measure their success at asking the right questions.","support":"source-stated"},{"text":"Ord says AI may eventually automate question-finding and the creation of new mathematical fields, potentially swiftly.","excerpt":"AI may well come for these areas too, and this may happen very swiftly.","support":"source-stated"},{"text":"The article’s displayed publication date is August 23, 2026.","excerpt":"August 23, 2026Toby Ord","support":"source-stated"}],"limitations":["Text as retrieved on October 27, 2026; originally published August 23, 2026."],"mediaId":null,"correctionReason":null,"id":"65a56d9fc64e83da7ceecb0af1d7d0d9535df927db299659407f88ac7db050a4","publicationId":"f278e473-769f-6f99-270c-70bba7d25b5e","version":1,"sourceUrl":"https://www.tobyord.com/writing/mathematics-is-more-than-proof","sourceTitle":"Mathematics is Much More than Proof","publisher":"Toby Ord","publishedAt":"2026-08-23T13:48:52+01:00","originalPublished":{"value":"2026-08-23T13:48:52+01:00","precision":"instant","basis":"backfill:article_published"},"firstObservedAt":"2026-10-27T23:48:23.277Z","createdAt":"2026-10-30T13:59:00.954Z","historical":true,"entityIds":[],"topicIds":["work-and-business--jobs-and-occupations","job-displacement-and-creation","artificial-general-intelligence"],"media":[],"sourceMedia":{"status":"unchecked","sourceUrl":"https://www.tobyord.com/writing/mathematics-is-more-than-proof","checkedAt":null,"items":[]},"editorialDecision":{"outcome":"accept","mediaId":null,"inputHash":"a8bf654e1ca59a5a9719d767613958d5f72a90bb57181054a0ffb9826fff7570","rubricVersion":"unrecorded","provider":"anthropic","model":"claude-opus-5-5","reasonCodes":["bridge_admitted_by_model","second_opinion_categorical"],"confidence":1,"decidedAt":"2026-10-27T23:48:20.465Z"},"provenance":{"textHash":"594413317b63484ebd5e086caa9d9cf5ad3944052b33eca46208134543de23fd","observationId":"43ee9cc9f60b326b7390c680ed4b0e473d6ea89cb3a0d49f5af80f8277569892","retrievedAt":"2026-10-27T23:49:53.858Z","kind":"publisher-page","preparer":{"model":"openai/gpt-6-luna","runId":"9b93a419-1650-b262-2341-54dcfc3ca346"},"reviewer":{"model":"anthropic/claude-opus-5.5","runId":"ef81b96b-0fa5-ba46-e921-0f04849527c7"}},"audit":{"status":"passed","reviewedAt":"2026-10-30T13:58:57.935Z","model":"anthropic/claude-opus-5.5"}}}],"audits":[{"publicationId":"f278e473-769f-6f99-270c-70bba7d25b5e","verdict":"passed","findings":[{"dimension":"attribution","status":"pass","explanation":"The piece is a single essay by Toby Ord on his own site, and the reading attributes its arguments to him throughout. The claims about AI's current abilities are presented as Ord's assessments, not as established facts.","excerpt":"August 23, 2026Toby Ord"},{"dimension":"summary","status":"pass","explanation":"The reading conveys the central thesis that proof is one part of mathematics, while question-asking and field creation remain. It keeps Ord's caveat that AI may come for these areas swiftly and identifies the missing benchmarks. Benchmark is defined beside the reading. It omits Ord's historical arc of calculation and symbolic manipulation being automated, and his view that a shift to setting direction would be a promotion rather than a demotion. These omissions reduce color but do not misrepresent the position.","excerpt":"the automation of proof alone would not be the end of mathematics."},{"dimension":"date","status":"pass","explanation":"originalPublished is 2026-08-23T13:48:52+01:00, which is August 23, 2026 in UTC, and it matches the dateline. The modification timestamp equals the publication instant. The page is a publisher page, so no archive disclosure is needed. The reading frames nothing as happening after publication and reports AI's future prospects as Ord's conditional possibility.","excerpt":"August 23, 2026Toby Ord"},{"dimension":"support","status":"pass","explanation":"Each claim is matched by a verbatim excerpt. The summary's statements about questions directing attention and new fields enabling previously unaskable questions are grounded in the text. The question about benchmarks follows from Ord's stated gap and his doubt about the quality of mass-generated conjectures. No benefits or costs are invented.","excerpt":"I’m sure people can already make language models that spit out large numbers of mathematical questions and conjectures, but I’m doubtful about their quality."},{"dimension":"media","status":"pass","explanation":"No media was selected, and no verified media candidates were supplied, so having no media is appropriate.","excerpt":null}],"createdAt":"2026-10-30T13:58:57.935Z","model":"anthropic/claude-opus-5.5"}],"correctionUrl":"https://escapemeridian.com/corrections/"}