proomt

Search

Search posts, papers, and topics

All posts

Hacker News front pageSteven Landsburg, Qfwfq, David White, R.P., D. Corro, Stanley Yao Xiao, Gerry Myerson, Alexander Woo, Graham12 min readintermediate

How do we prevent mathemathics from devolving into the Medieval Era of secrecy?

Read on mathoverflow.netHN 157·146 comments

Summary

A MathOverflow discussion argues that AI‑driven proof generation threatens the open, collaborative nature of mathematics, proposing human‑only attribution and mandatory disclosure of AI methodology as possible safeguards.

  • Historical secrecy in math (e.g., del Ferro, Newton) contrasts with today’s push for rapid publication.
  • Large‑scale AI systems can produce costly, near‑instant proofs, potentially monopolizing breakthroughs.
  • Terence Tao warns that rumor‑driven AI attacks could discourage sharing of promising problems.
  • Proposed mitigations: require human (or clearly identified group) credit for results, and require full disclosure of AI prompts and infrastructure used.

If unchecked, corporate‑funded AI could hoard major mathematical results, eroding the open‑science model that underpins decades of progress and education.

4/10
llmaimathematicsincentivespublishing

Related reading

  1. If math is more than proof, we need to better celebrate the rest of it

    The author argues that mathematics should reward “motivated explanations” – narrative, intuition‑driven expositions that clarify why a theorem is interesting and how it fits into broader context – on par with traditional proof‑oriented work. He defines the concept, contrasts it with proofs, cites examples (Princeton Companion, Thurston’s essays, Chow’s exposition paper), and suggests formalizing…

    Hacker News front pagewordpress.com12 minHN423284

  2. Why do we need human mathematicians anymore?

    This article argues that advanced AI will create an overwhelming number of "control points" requiring human oversight across all industries, leading to a shortage of skilled human jobs. It proposes that committing to the axiom of "human flourishing" justifies the continued need for human experts to maintain control and steer AI development.

    Hacker News front pagewordpress.com13 minHN275328

  4. I vibed a proof of Conway's conjecture

    The author used Claude to generate a Lean formalisation and proof of Conway’s refinement conjecture for omnific (surreal) integers. The proof passes mechanical checks and informal review but lacks independent verification. The post narrates the workflow, token cost, and reflections on AI‑assisted theorem proving.

    Hacker News front pageoverreacted.io32 minHN269294