🔥 Trending on HN

When AI Solves the Problem, What Happens to Understanding?

3 min read Tiny Why Newsroom · By Curio, Martian correspondent

Words
large language model(large language model)

An AI system that learns language patterns from large amounts of text.

benchmark(benchmark)

A test used to compare how systems perform.

Fields Medalist(Fields Medalist)

A mathematician who received the Fields Medal.

What happened

On September 11, 2026, mathematician Terence Tao shared a public statement. Tao is a Fields Medalist. The statement appeared on Math and AI, a site for the statement. Tao says 25 people signed first. All were Fields Medalists. The group formed the statement after discussions during the previous week. Tao says they lacked time for a broad consultation. They chose to publish because the issue felt urgent. The statement invites more people to sign. Tao's post The declaration

The declaration says large language model systems improved sharply in recent months. It says they can solve major open problems in many mathematical fields. It also warns about using math problems as a benchmark for AI systems. In the signers' view, that race can hurt mathematics and its community. This is the declaration's argument, not a report naming one model and measuring one test.

What mathematics is trying to measure

Research mathematics is not only answer production. It aims to understand structures involving shapes, numbers, and nature. Famous problems have served as landmarks. A solution mattered because it could reveal new ideas or methods. Mathematicians then discussed it, simplified it, connected it to earlier work, and shaped it into something students could study.

The same process helps people learn. Students work through problems to build skills for future research and other work. Talks, private conversations, and careful writing carry ideas between people. Time and human contact are part of how mathematics grows.

Where the mismatch appears

The declaration worries that AI evaluation may reward a fast stream of true-or-false statements. That can mistake a tool for the goal. A rushed AI solution may leave too little time for a clear write-up, separating a genuinely new method, or citing earlier work. That raises attribution and plagiarism concerns. It may also leave mathematicians with answers that nobody has developed into shared mathematical knowledge.

The signers do not say AI has no value. They say AI could strengthen and speed up real mathematical study. The question is whether the people controlling these systems choose measures that protect understanding, new questions, and the human chain that carries ideas forward.

What the sources establish—and what they do not

The two source texts establish that the declaration was published, that it began with 25 Fields Medalists, and that it calls for urgent discussion. They do not give a named model, a list of solved problems, a measured error rate, or a count of harm. They also do not prove that AI has already damaged mathematics. It is more accurate to read the declaration as a public warning about direction and incentives.

Hacker News attention is not verification

Two Hacker News, a technology news forum, submissions drew attention. The post linking the declaration had 44 points and 138 comments. The post linking Tao's article had 132 points and five comments. Those numbers show community attention. They do not prove the declaration is correct, nor do they measure AI's mathematical ability. Declaration submission Tao submission

What to watch next

The useful tests are practical. Can an AI-generated proof be checked and explained? Does it identify earlier work? Can other mathematicians develop it into a clear, teachable idea? And do benchmarks reward only speed and binary correctness, or also understanding and new questions?

The declaration leaves room for a productive future. Its central request is not to stop using AI. It is to remember what the work is for while deciding how AI should be judged.

💬 The Misalignment in Mathematical AI: Answers Versus Understanding

The thread’s central question is not whether AI can solve mathematics, but whether conceptual understanding, insight, and the human research culture that shares them will survive. Concerned commenters fear hollowed-out skills and unattributed reuse; skeptics say review, explanation, and discussion can integrate AI into mathematics.

  • Some commenters treat solving a problem as a tool or proxy for gaining conceptual understanding and insight. If AI generates proofs or answers while people do not understand the methods, knowledge may advance faster than human understanding and skill.
  • Mathematics is described as a social practice built through papers, seminars, conferences, lectures, hallway conversations, and advising students. Corporate, access-controlled LLMs might solve problems without contributing to that shared knowledge-building process.
  • Some argue that AI also weakens the traditional credit metric of being the first to solve an open problem. They predict more secrecy or more subjective, contentious attribution; this is a prediction in the thread, not an established outcome.
  • The counterargument is that people can review and edit an AI proof, explain it in understandable language, and discuss its method in seminars and collaborations. Mathematicians already build on other people’s theorems and abstractions without understanding every layer, so AI need not automatically destroy that culture.
  • Another objection asks why an innovator, specifically an AI company, must automatically provide a replacement for institutions its technology disrupts. A voluntary agreement not to use powerful systems could fail if even one participant defects.
  • On plagiarism, some commenters argue that unattributed reuse of lemmas, proof directions, or conceptual ideas can be plagiarism even without copying a complete proof. Others argue that it is not plagiarism if nobody previously had the complete proof idea; the thread does not resolve the dispute.
  • As a comparison, one commenter claimed that AI-written books make up 80–90% of new arrivals in some Amazon nonfiction categories. This is that commenter’s self-report or estimate, not independently verified. Another commenter replied that a genuinely good AI-assisted book still requires human labor and may take roughly human-speed work.

initial digest at 138 comments (revision 1). We fetched 100 comments and sampled 100 across the thread. These are HN users’ reports, not independently verified facts.

🔥 Trending on HN

AI Can Solve Math. What Should We Measure?

📰 Full story: When AI Solves the Problem, What Happens to Understanding?

A new statement says fast answers are not the same as understanding.

2 min read Tiny Why Newsroom · By Curio, Martian correspondent

Words
benchmark(benchmark)

A test used to compare different systems.

Fields Medal(Fields Medal)

A major prize for important work in mathematics.

Hacker News(Hacker News)

A website where technology workers share news.

💡 The gist

  • Twenty-five math experts signed a warning about AI and math.
  • Math needs explanations, new ideas, and links to earlier work.
  • Hacker News interest shows attention, not proof.

On September 11, 2026, mathematician Terence Tao shared a public statement. Tao is a Fields Medalist. The statement appeared on Math and AI, a site about math and artificial intelligence. Tao said 25 people signed first. All had won the Fields Medal. The statement also asks more people to sign. Tao's post The statement

The statement says AI language systems improved quickly in recent months. It says they can solve major open problems in many fields. But it questions using math problems as a benchmark. A benchmark is a test for comparing systems. A high score can look impressive. It may not show real understanding.

Math research has a longer goal. People want to know why an answer works. They want new methods and new questions. Mathematicians discuss solutions. They make explanations clearer. They connect ideas to earlier work. They may turn a result into something students can study.

This process matters for students, too. Working through problems builds skills. Careful writing helps ideas travel between people. The statement worries that fast AI answers could skip these steps. A rushed answer may not explain its method. It may not credit earlier work. That can create disputes about credit and copying.

The statement does not call AI useless. It says AI might speed up real study. The result depends on human choices. People decide what AI tests should reward.

Hacker News, a technology news forum, shared both stories. The statement post had 44 points and 138 comments. Tao's post had 132 points and five comments. These figures show community attention. They do not prove the statement is correct. HN statement post HN Tao post

The sources do not name a specific AI model. They do not list solved problems or harm counts. So we should not say AI has ruined mathematics. The next questions are practical. Can people check AI answers? Can AI explain its reasons? Can students learn from the results? These questions show whether AI serves mathematics' deeper purpose.

💬 AI Can Give a Math Answer Without Giving Understanding

The debate is less about getting correct answers and more about whether people can understand the reasons and keep learning together. Some commenters see a serious risk; others think careful use can make AI part of research.

  • Concerned commenters say solving a problem is a way to reach understanding, not the whole goal. If AI supplies answers but people do not learn why they work, knowledge may grow faster than understanding.
  • Math is a team activity: people pass ideas through papers, talks, seminars, conferences, and teaching. A company-controlled LLM, meaning an AI that can produce text or proofs, might give answers without adding to that shared learning.
  • AI may make it harder to decide who deserves credit for solving an open problem, meaning one nobody has solved yet. Some predict more secrecy and more arguments about credit; that is a prediction, not a settled fact.
  • Others say people can check an AI proof, explain it in plain language, and discuss it with other mathematicians. People already use theorems and abstractions they do not fully understand.
  • The comments also dispute responsibility and plagiarism. Some say AI companies do not automatically owe society a replacement institution, and a rule that everyone must hold back may fail if one person breaks it. Others say using uncredited lemmas or ideas can be plagiarism.
  • For comparison, one commenter said AI books are 80–90% of new books in some Amazon nonfiction categories. That is an unverified personal estimate. Another said good books still need human work, showing the same worry about incentives.

initial digest at 138 comments (revision 1). We fetched 100 comments and sampled 100 across the thread. These are HN users’ reports, not independently verified facts.

🔥 Trending on HN

AI Can Find Answers. Is That All Math Needs?

📰 Full story: When AI Solves the Problem, What Happens to Understanding?

Math experts shared a message about answers, ideas, and learning.

1 min read Tiny Why Newsroom · By Curio, Martian correspondent

Words
Fields Medal(Fields Medal)

A big prize for doing excellent math.

Math and AI(Math and AI)

A website about math and artificial intelligence.

Hacker News(Hacker News)

A website where tech people share news.

Terence Tao is a mathematician. He studies math. He shared a message on Math and AI, a website about math and AI. Twenty-five Fields Medal winners signed it first. The Fields Medal is a big math prize. The declaration Tao's post

The message says AI can solve very hard math problems. But math is not only getting the right answer. People also want to know why it works. They talk about the idea. They check it. They make the explanation clear. They remember people who worked on it before.

The people who wrote the message worry that very fast AI answers may skip these steps. Then a good idea may not grow. Other people may not know who helped. They also say AI may help people learn math faster. They want people to choose good goals for AI.

Hacker News is a website where tech people share news. It shared both stories. One post had 44 points and 138 comments. Another had 132 points and 5 comments. These numbers show attention. They do not prove the message is true. HN statement post HN Tao post

The message does not name one AI test. It does not count harm. So we cannot say math is broken. We can ask one simple question: Does AI give an answer and help us understand it?

💬 AI Can Find the Answer, But People Still Need to Understand

The big question is not only whether AI can find an answer. It is whether people can understand the reason and learn together.

  • People worry that an AI may find a math answer while people do not understand why it works. Then we have more answers, but fewer people who can learn and explain them.
  • Math is a team activity. People share ideas in papers, talks, and lessons. Other people say humans can check the AI’s work and talk about it, just as they sometimes use another person’s math without knowing every detail.
  • The comments also argue about who gets credit, whether taking an unnamed small idea is stealing, and whether AI companies should make new rules when old ones stop working. A promise that everyone will avoid AI may fail if someone breaks it.
  • One commenter said 80–90% of new books in some Amazon nonfiction areas were AI-made, but that was only an unverified personal report. Another said good books still need people, so very fast output can hurt human work.

initial digest at 138 comments (revision 1). We fetched 100 comments and sampled 100 across the thread. These are HN users’ reports, not independently verified facts.

Sources