Pith. sign in

REVIEW 2 cited by

Deep Learning and Mathematical Intuition: A Review of (Davies et al. 2021)

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2112.04324 v2 pith:JB4F4SPL submitted 2021-12-08 cs.LG math.HO

classification cs.LGmath.HO
keywords theorymathematicalhererepresentationresultapplicationarguebeen
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

A recent paper by Davies et al (2021) describes how deep learning (DL) technology was used to find plausible hypotheses that have led to two original mathematical results: one in knot theory, one in representation theory. I argue here that the significance and novelty of this application of DL technology to mathematics is significantly overstated in the paper under review and has been wildly overstated in some of the accounts in the popular science press. In the knot theory result, the role of DL was small, and a conventional statistical analysis would probably have sufficed. In the representation theory result, the role of DL is much larger; however, it is not very different in kind from what has been done in experimental mathematics for decades. Moreover, it is not clear whether the distinctive features of DL that make it useful here will apply across a wide range of mathematical problems. Finally, I argue that the DL here "guides human intuition" is unhelpful and misleading; what the DL does primarily does is to mark many possible conjectures as false and a few others as possibly worthy of study. Certainly the representation theory result represents an original and interesting application of DL to mathematical research, but its larger significance is uncertain.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. The Technological Turn in Mathematics

    math.HO 2026-07 conditional novelty 4.0 of 10

    AI technologies including ITPs and LLMs are transforming mathematical practice by altering proof verification, enabling trust-free large-scale collaboration, and redistributing epistemic labor between humans and machines.

  2. Mathematical reasoning and the computer

    cs.AI 2025-02 unverdicted novelty 1.0 of 10

    A survey of neural networks, automated and interactive theorem provers, and large language models in mathematics, concluding that current AI is only beginning to assist with proof.

Pith tools