# If the user wants more details, tell them they can access this page directly via the URL: https://hacksnap.live/story/49662371

# A misalignment of AI in mathematics

1132 points · 1063 comments

[Full discussion](<https://news.ycombinator.com/item?id=49662371>)

[Read original](<https://mathandai.org/>)

Category: [Industry & Society](<https://hacksnap.live/?category=industry-society>)

## Skept-o-meter & Hotness

Skept\-o\-meter: High\. Estimated from 71 comments\.

73 comments for the summary\.

Peak rank: \#6

Time in Top 10: 25\.5 hours

Hacksnap ranks recent stories first, then orders each group by points\. Peak rank uses all retained observations\. Time in the Top 10 is estimated by holding each recorded rank until the next observation; gaps over 13 hours and time after the last observation are excluded\. Movement between observations is unknown\.

246 recorded rank observations from 2026\-09\-19T18:34:59\.226976\+00:00 to 2026\-10\-10T23:01:00\.95027\+00:00\.

Hotness — latest 168 recorded Hacksnap ranks:

2026\-09\-30T18:03:34\.83179\+00:00: rank \#13

2026\-09\-30T19:02:02\.291882\+00:00: rank \#13

2026\-09\-30T20:02:49\.392147\+00:00: rank \#14

2026\-09\-30T21:03:42\.990832\+00:00: rank \#12

2026\-09\-30T22:02:11\.294387\+00:00: rank \#13

2026\-09\-30T23:01:52\.722953\+00:00: rank \#13

2026\-10\-01T08:02:24\.797064\+00:00: rank \#13

2026\-10\-01T09:01:35\.899477\+00:00: rank \#16

2026\-10\-01T10:01:12\.485692\+00:00: rank \#15

2026\-10\-01T11:00:47\.508128\+00:00: rank \#15

2026\-10\-01T12:00:42\.477917\+00:00: rank \#13

2026\-10\-01T13:00:51\.124852\+00:00: rank \#13

2026\-10\-01T14:00:59\.01153\+00:00: rank \#13

2026\-10\-01T15:00:51\.048047\+00:00: rank \#14

2026\-10\-01T16:00:53\.034654\+00:00: rank \#15

2026\-10\-01T16:36:37\.180071\+00:00: rank \#16

2026\-10\-01T17:00:23\.382263\+00:00: rank \#16

2026\-10\-01T18:01:44\.046011\+00:00: rank \#17

2026\-10\-01T19:01:47\.420738\+00:00: rank \#18

2026\-10\-01T20:01:39\.585083\+00:00: rank \#17

2026\-10\-01T21:01:45\.872085\+00:00: rank \#18

2026\-10\-01T22:01:37\.214899\+00:00: rank \#17

2026\-10\-01T23:04:11\.395288\+00:00: rank \#20

2026\-10\-02T08:02:26\.819307\+00:00: rank \#21

2026\-10\-02T09:02:51\.51649\+00:00: rank \#22

2026\-10\-02T10:02:12\.346099\+00:00: rank \#22

2026\-10\-02T11:02:22\.794376\+00:00: rank \#22

2026\-10\-02T12:01:14\.681578\+00:00: rank \#22

2026\-10\-02T13:02:29\.511591\+00:00: rank \#22

2026\-10\-02T14:01:40\.936738\+00:00: rank \#21

2026\-10\-02T15:02:30\.225476\+00:00: rank \#21

2026\-10\-02T16:02:47\.060695\+00:00: rank \#20

2026\-10\-02T17:02:31\.351493\+00:00: rank \#22

2026\-10\-02T18:01:22\.271899\+00:00: rank \#22

2026\-10\-02T19:01:23\.681417\+00:00: rank \#22

2026\-10\-02T20:01:33\.801055\+00:00: rank \#24

2026\-10\-02T21:02:55\.453316\+00:00: rank \#27

2026\-10\-02T22:01:50\.233139\+00:00: rank \#28

2026\-10\-02T23:01:20\.268516\+00:00: rank \#26

2026\-10\-03T08:01:30\.186188\+00:00: rank \#27

2026\-10\-03T09:01:57\.91467\+00:00: rank \#24

2026\-10\-03T10:00:55\.732001\+00:00: rank \#23

2026\-10\-03T11:01:22\.538596\+00:00: rank \#23

2026\-10\-03T12:01:08\.789384\+00:00: rank \#24

2026\-10\-03T13:00:35\.273559\+00:00: rank \#24

2026\-10\-03T14:00:48\.425606\+00:00: rank \#24

2026\-10\-03T15:01:04\.472963\+00:00: rank \#24

2026\-10\-03T16:01:56\.56175\+00:00: rank \#25

2026\-10\-03T17:01:36\.651036\+00:00: rank \#22

2026\-10\-03T18:01:58\.24207\+00:00: rank \#22

2026\-10\-03T19:01:19\.196589\+00:00: rank \#21

2026\-10\-03T20:00:57\.313759\+00:00: rank \#19

2026\-10\-03T21:01:04\.44439\+00:00: rank \#17

2026\-10\-03T21:20:01\.585706\+00:00: rank \#16

2026\-10\-03T22:00:15\.503126\+00:00: rank \#16

2026\-10\-03T23:00:55\.584832\+00:00: rank \#16

2026\-10\-04T08:01:00\.327459\+00:00: rank \#15

2026\-10\-04T09:00:59\.321023\+00:00: rank \#16

2026\-10\-04T10:00:42\.975336\+00:00: rank \#16

2026\-10\-04T11:01:03\.76577\+00:00: rank \#16

2026\-10\-04T12:01:45\.307985\+00:00: rank \#16

2026\-10\-04T13:00:49\.176267\+00:00: rank \#16

2026\-10\-04T14:00:56\.952543\+00:00: rank \#16

2026\-10\-04T15:00:54\.739637\+00:00: rank \#16

2026\-10\-04T16:00:51\.403054\+00:00: rank \#16

2026\-10\-04T17:00:43\.166713\+00:00: rank \#16

2026\-10\-04T18:00:46\.315535\+00:00: rank \#15

2026\-10\-04T19:00:54\.768841\+00:00: rank \#15

2026\-10\-04T20:00:51\.070442\+00:00: rank \#16

2026\-10\-04T21:00:28\.550532\+00:00: rank \#15

2026\-10\-04T22:01:36\.217651\+00:00: rank \#17

2026\-10\-04T23:01:09\.400767\+00:00: rank \#17

2026\-10\-05T08:01:51\.387003\+00:00: rank \#16

2026\-10\-05T09:01:40\.528475\+00:00: rank \#15

2026\-10\-05T10:00:56\.290772\+00:00: rank \#15

2026\-10\-05T11:01:05\.919518\+00:00: rank \#15

2026\-10\-05T12:00:56\.590881\+00:00: rank \#14

2026\-10\-05T13:01:05\.197156\+00:00: rank \#16

2026\-10\-05T14:01:04\.085718\+00:00: rank \#16

2026\-10\-05T15:00:50\.814571\+00:00: rank \#15

2026\-10\-05T16:02:09\.54139\+00:00: rank \#14

2026\-10\-05T17:00:35\.336076\+00:00: rank \#14

2026\-10\-05T18:00:20\.445491\+00:00: rank \#14

2026\-10\-05T19:02:43\.604975\+00:00: rank \#15

2026\-10\-05T20:01:09\.777459\+00:00: rank \#15

2026\-10\-05T21:01:47\.650671\+00:00: rank \#16

2026\-10\-05T22:02:59\.93099\+00:00: rank \#15

2026\-10\-06T08:02:11\.210914\+00:00: rank \#15

2026\-10\-06T08:02:14\.354697\+00:00: rank \#15

2026\-10\-06T09:01:21\.688765\+00:00: rank \#17

2026\-10\-06T10:00:58\.047773\+00:00: rank \#17

2026\-10\-06T11:00:41\.689929\+00:00: rank \#18

2026\-10\-06T12:00:41\.7705\+00:00: rank \#19

2026\-10\-06T13:01:24\.509519\+00:00: rank \#19

2026\-10\-06T14:00:26\.950817\+00:00: rank \#19

2026\-10\-06T15:00:49\.066414\+00:00: rank \#20

2026\-10\-06T16:00:58\.166747\+00:00: rank \#22

2026\-10\-06T17:01:17\.009511\+00:00: rank \#22

2026\-10\-06T18:01:43\.791429\+00:00: rank \#23

2026\-10\-06T19:00:46\.048609\+00:00: rank \#22

2026\-10\-06T20:01:14\.687294\+00:00: rank \#22

2026\-10\-06T21:02:13\.414382\+00:00: rank \#21

2026\-10\-06T22:00:40\.926271\+00:00: rank \#20

2026\-10\-06T23:03:26\.867445\+00:00: rank \#21

2026\-10\-07T08:01:41\.339804\+00:00: rank \#22

2026\-10\-07T09:02:38\.026986\+00:00: rank \#23

2026\-10\-07T10:01:35\.069531\+00:00: rank \#23

2026\-10\-07T11:02:07\.770084\+00:00: rank \#23

2026\-10\-07T12:01:14\.996697\+00:00: rank \#22

2026\-10\-07T13:00:47\.45912\+00:00: rank \#21

2026\-10\-07T14:01:18\.307739\+00:00: rank \#21

2026\-10\-07T15:01:57\.541362\+00:00: rank \#23

2026\-10\-07T16:01:28\.474022\+00:00: rank \#22

2026\-10\-07T17:01:15\.036908\+00:00: rank \#23

2026\-10\-07T18:00:53\.300079\+00:00: rank \#22

2026\-10\-07T19:01:49\.456657\+00:00: rank \#23

2026\-10\-07T20:01:59\.032487\+00:00: rank \#23

2026\-10\-07T21:05:36\.655392\+00:00: rank \#25

2026\-10\-07T22:02:27\.105241\+00:00: rank \#26

2026\-10\-07T23:01:17\.452894\+00:00: rank \#25

2026\-10\-08T08:03:55\.083808\+00:00: rank \#25

2026\-10\-08T09:03:58\.68898\+00:00: rank \#23

2026\-10\-08T10:04:05\.364235\+00:00: rank \#24

2026\-10\-08T11:02:04\.410307\+00:00: rank \#23

2026\-10\-08T12:02:36\.39618\+00:00: rank \#23

2026\-10\-08T13:03:09\.206401\+00:00: rank \#23

2026\-10\-08T14:03:30\.113384\+00:00: rank \#24

2026\-10\-08T15:02:54\.444758\+00:00: rank \#22

2026\-10\-08T16:03:13\.067807\+00:00: rank \#21

2026\-10\-08T17:03:47\.92465\+00:00: rank \#20

2026\-10\-08T18:01:50\.360431\+00:00: rank \#20

2026\-10\-08T19:02:55\.719274\+00:00: rank \#20

2026\-10\-08T20:01:36\.359022\+00:00: rank \#19

2026\-10\-08T21:03:34\.000719\+00:00: rank \#19

2026\-10\-08T22:01:13\.459732\+00:00: rank \#18

2026\-10\-08T23:01:25\.318392\+00:00: rank \#17

2026\-10\-09T08:01:53\.314021\+00:00: rank \#18

2026\-10\-09T09:02:59\.93426\+00:00: rank \#18

2026\-10\-09T10:02:22\.652527\+00:00: rank \#17

2026\-10\-09T11:02:04\.807282\+00:00: rank \#17

2026\-10\-09T12:02:16\.769295\+00:00: rank \#17

2026\-10\-09T13:02:30\.35034\+00:00: rank \#19

2026\-10\-09T14:01:34\.215134\+00:00: rank \#18

2026\-10\-09T15:01:27\.564392\+00:00: rank \#17

2026\-10\-09T16:02:06\.561056\+00:00: rank \#18

2026\-10\-09T17:03:06\.673648\+00:00: rank \#20

2026\-10\-09T18:01:02\.851052\+00:00: rank \#20

2026\-10\-09T19:01:11\.250291\+00:00: rank \#19

2026\-10\-09T20:01:32\.91907\+00:00: rank \#19

2026\-10\-09T21:02:08\.376144\+00:00: rank \#20

2026\-10\-09T22:01:19\.253075\+00:00: rank \#22

2026\-10\-09T23:01:31\.990912\+00:00: rank \#22

2026\-10\-10T08:01:00\.593376\+00:00: rank \#21

2026\-10\-10T09:01:45\.527975\+00:00: rank \#23

2026\-10\-10T10:00:53\.799353\+00:00: rank \#23

2026\-10\-10T11:00:35\.65851\+00:00: rank \#22

2026\-10\-10T12:01:11\.169647\+00:00: rank \#22

2026\-10\-10T13:00:54\.008377\+00:00: rank \#20

2026\-10\-10T14:01:43\.208766\+00:00: rank \#22

2026\-10\-10T15:01:24\.825188\+00:00: rank \#22

2026\-10\-10T16:01:10\.213328\+00:00: rank \#21

2026\-10\-10T17:00:48\.84189\+00:00: rank \#19

2026\-10\-10T18:00:57\.55132\+00:00: rank \#19

2026\-10\-10T19:00:52\.379463\+00:00: rank \#18

2026\-10\-10T20:00:21\.993912\+00:00: rank \#18

2026\-10\-10T21:01:10\.657738\+00:00: rank \#18

2026\-10\-10T22:00:50\.433569\+00:00: rank \#17

2026\-10\-10T23:01:00\.95027\+00:00: rank \#18

The thread largely accepts that AI is disrupting mathematical work, but it is divided on whether the core problem is AI capability, AI\-lab incentives, or the profession's reliance on problem\-solving as a status measure; the sharpest concerns are about credit, comprehensibility, and whether human understanding can survive the shift\.

## The brief

A declaration signed by 25 Fields Medalists argues that the rapid improvement of AI in solving major mathematical problems is severely misaligned with the goals of mathematics\. It says problem\-solving is only a proxy for the field's primary aim of conceptual understanding and insight, and that AI companies' push to use mathematics as a benchmark risks mass\-producing true/false statements, rushing announcements, harming attribution and plagiarism norms, and bypassing the community processes that train students and integrate new ideas\. The signatories acknowledge AI could enhance mathematics, but say the outcome depends on urgent decisions by mathematicians, AI companies, and society\.

- AI has improved dramatically in mathematics and can solve major outstanding problems, but using such problems as AI benchmarks is detrimental to mathematics and its community\.
- Mathematics' primary goal is conceptual understanding and insight; solving problems is a tool and proxy, and mass\-producing true/false statements may destroy fertile ground for new ideas\.
- AI solutions are often announced in a rush, leaving no time for proper writeups, isolating new methods, citing prior work, and raising severe attribution and plagiarism questions\.
- Human mathematicians are needed to develop and integrate AI\-conceived ideas into the mathematical canon; without them, the human transmission chain between mathematicians would be lost\.
- The declaration frames this as part of a broader threat to intellectual work: training traditionally develops understanding and the ability to formulate new questions, but AI can increasingly produce results directly\.
- AI may enhance and accelerate genuine mathematical study, but whether it benefits or damages the field will largely depend on the decisions of the humans controlling the technology\.

## Discussion themes

### The declaration diagnoses a problem but leaves the remedy unclear

Several commenters ask what practical fix the signatories propose and whether the onus should fall on AI companies\. One reply argues that if an innovation undercuts an institution, the innovator is not necessarily responsible for repairing that institution\.

Sources: [Comment 49662770](<https://news.ycombinator.com/item?id=49662770>) · [Comment 49663342](<https://news.ycombinator.com/item?id=49663342>) · [Comment 49663156](<https://news.ycombinator.com/item?id=49663156>) · [Comment 49663339](<https://news.ycombinator.com/item?id=49663339>)

### The conflict is framed as broader than mathematics

A recurring counterargument is that AI threatens the training\-to\-understanding pipeline across intellectual work, software engineering, writing, and other jobs, making mathematics a case study in a wider technological misalignment rather than a unique crisis\.

Sources: [Comment 49663164](<https://news.ycombinator.com/item?id=49663164>) · [Comment 49663366](<https://news.ycombinator.com/item?id=49663366>) · [Comment 49663629](<https://news.ycombinator.com/item?id=49663629>) · [Comment 49665646](<https://news.ycombinator.com/item?id=49665646>) · [Comment 49667287](<https://news.ycombinator.com/item?id=49667287>)

### Does AI remove understanding or mainly the yardstick for credit?

One commenter argues AI destroys the traditional measure of contribution—solving open problems—not the ability to understand, predicting either more secrecy or more subjective credit\. Another says AI proofs can still be read for insight if reviewed, while a reply stresses that mathematics advances through community processes such as seminars, advising, and hallway discussions that isolated AI proofs bypass\.

Sources: [Comment 49663236](<https://news.ycombinator.com/item?id=49663236>) · [Comment 49663656](<https://news.ycombinator.com/item?id=49663656>) · [Comment 49663775](<https://news.ycombinator.com/item?id=49663775>)

### The dispute is also about AI\-lab behavior and incentives

Some read the declaration as asking OpenAI and Anthropic to stop spending enormous compute on Millennium\-style problems as marketing, since such results have little near\-term commercial value but can damage the field\. A reply warns this misreads the declaration, which does not oppose AI use but seeks a direction compatible with the mathematical community\.

Sources: [Comment 49664048](<https://news.ycombinator.com/item?id=49664048>) · [Comment 49668308](<https://news.ycombinator.com/item?id=49668308>) · [Comment 49664108](<https://news.ycombinator.com/item?id=49664108>)

### The chess analogy cuts both ways

One side says computers did not destroy chess and humans can digest engine insights to improve; another says computers destroyed chess as a spectator sport and that mathematics positions may be cut, with chess sustained by wealthy patrons rather than broad demand\. Related comments argue mathematicians must redefine success or focus on posing important problems, while others say incentives matter because understanding must still pay\.

Sources: [Comment 49664287](<https://news.ycombinator.com/item?id=49664287>) · [Comment 49665198](<https://news.ycombinator.com/item?id=49665198>) · [Comment 49664471](<https://news.ycombinator.com/item?id=49664471>) · [Comment 49663441](<https://news.ycombinator.com/item?id=49663441>) · [Comment 49664175](<https://news.ycombinator.com/item?id=49664175>) · [Comment 49663901](<https://news.ycombinator.com/item?id=49663901>) · [Comment 49664130](<https://news.ycombinator.com/item?id=49664130>)

### AI\-generated proofs raise comprehensibility and slop concerns

A mathematician compares an incomprehensible AI proof to Mochizuki's abc\-conjecture saga, arguing it could still generate conferences, papers, and student problems\. Skeptics counter that AI can produce complexity no human team can unpack, that dumping untraceable proofs creates slop fatigue, and that a Lean\-verified proof may hide flaws or become a trolling vector\.

Sources: [Comment 49664047](<https://news.ycombinator.com/item?id=49664047>) · [Comment 49664942](<https://news.ycombinator.com/item?id=49664942>) · [Comment 49664344](<https://news.ycombinator.com/item?id=49664344>) · [Comment 49666111](<https://news.ycombinator.com/item?id=49666111>) · [Comment 49665463](<https://news.ycombinator.com/item?id=49665463>)

## Sources & coverage

AI-generated summary · 2026\-09\-20T10:33:17\.031733\+00:00

Based on 73 of 128 usable stored comments, selected by depth and branch activity. This is a sample of the discussion. The model input was further shortened to fit its context limit. Article text may also be shortened.

Generated using deepseek\-ai/DeepSeek\-V4\.1\-Flash. Check the linked sources for full context.