math on Hacker News

138 titles from 119 authors in the last 30 days, with 124 distinct links and 11 Show HN.

Counts titles, it does not confirm facts. Open the source before concluding anything.

Projects on this term

The score comes from our model.

• Show HN: Penmentor – Claude marks up your handwritten math like a teacher · score 6.8

  Penmentor is a Linux X11 tool that captures handwritten math from a pen tablet (xournal++) and sends it to a CLI AI agent (Claude Code, Codex, or Antigravity) to get teacher-style markup, hints, and even manim animations. It combines screen capture, subprocess orchestration, and GUI overlay to provide an interactive learning experience directly on the user's work.

• Show HN: ZeGrapher v4: modern math plotter · score 5.0

  ZeGrapher is an open-source mathematical plotting application that allows users to plot functions, sequences, parametric equations, and data with a rich GUI. It supports interactive zooming, animation of constants, CSV import, and high-quality vector export, making it a capable tool for visualizing mathematical relationships. While not highly innovative, it offers a polished and feature-rich alternative to basic plotters.

• Show HN: Closed Form – OpenAI's 372 math results, explained in plain English · score 4.8

  Closed Form is a static Astro site that explains OpenAI's 372 math results from the openai/math release in plain English, with trust labels and per-entry error reporting. It ingests the source submodule deterministically and previously ran an AI reader/checker pipeline to generate explanations. The project is interesting as a transparency and accessibility layer over AI-generated mathematical research, though its utility is bounded by the niche nature of the source material.

• Show HN: TrueMath Innovator – Free Windows app for math visualization · score 4.5

  TrueMath Innovator is a Windows desktop app that combines exact math computation via SymPy and Lean 4 with AI-powered answers, photo solving, and conjecture testing. It targets students and math enthusiasts, offering features like OEIS lookup and arXiv paper browsing in a single packaged app.

Recent titles

1. Terence Tao on how AI math solutions miss the point
   2026-11-01 · sciencefriday.com · HN discussion
2. Terence Tao: The Year Math Changed Forever
   2026-11-01 · newyorker.com · HN discussion
3. Early Career Researcher Responses to AI in Math
   2026-11-01 · arxiv.org · HN discussion
4. Summer of Math Exposition Archive
   2026-11-01 · some.3b1b.co · HN discussion
5. Report of the Summit on Math Research in the Age of AI
   2026-10-31 · terrytao.wordpress.com · HN discussion
6. The Most Significant Moment in Math History Just Happened [video]
   2026-10-30 · youtube.com · HN discussion
7. The 'Pain in the Ass' Math That Could Save Vibe Coding from Itself
   2026-10-30 · wired.com · HN discussion
8. AI being great at math makes human mathematicians more valuable, not less
   2026-10-30 · programmablemutter.com · HN discussion
9. Altman sympathizes with mathematicians, but says OAI's math onslaught won't stop
   2026-10-30 · theverge.com · HN discussion
10. The Longest Math Proof Ever, in Minecraft Survival Mode
    2026-10-29 · thequantasticjournal.com · HN discussion
11. Scattered thoughts on how doing math feels these days
    2026-10-29 · dynomight.net · HN discussion
12. The Wall Street Math Hustle (2018)
    2026-10-29 · institutionalinvestor.com · HN discussion
13. MathHeist – Criss-cross math crosswords and number matching
    2026-10-29 · apps.apple.com · HN discussion
14. AuditCent – Deterministic PDF invoice math auditor and reconciler
    2026-10-29 · auditcent-io.netlify.app · HN discussion
15. Show HN: Adaptive Math Learning Platform
    2026-10-29 · mathua.com · HN discussion
16. Concise/readable versions of OpenAI math dump
    2026-10-29 · github.com · HN discussion
17. More Math, Less Ego – Erik Demaine [video]
    2026-10-29 · youtube.com · HN discussion
18. Open AI Math Proofs modified sandbox
    2026-10-28 · zenodo.org · HN discussion
19. Show HN: TrueMath Innovator – Free Windows app for math visualization
    2026-10-28 · apps.microsoft.com · HN discussion
20. Most California students struggle in reading and math, new test scores show
    2026-10-28 · nypost.com · HN discussion
21. 3B1B and Steven Strogatz on the Humanity of Math [video]
    2026-10-27 · youtube.com · HN discussion
22. Omega: Can LLMs Reason Outside the Box in Math? (2025)
    2026-10-27 · arxiv.org · HN discussion
23. Show HN: Samosa – Linter for Math Derivations
    2026-10-27 · samosa-math.vercel.app · HN discussion
24. Matiks raises $10M to expand its math and puzzle gaming platform
    2026-10-27 · techcrunch.com · HN discussion
25. Beautiful Math: The Surprisingly Simple Ideas Behind the Digital Revolution
    2026-10-27 · newbooksnetwork.com · HN discussion
26. How the 'math wars' in Palo Alto reflect a raging nationwide debate
    2026-10-27 · sfchronicle.com · HN discussion
27. AI Crisis in Math: Navier-Stokes, Riemann Hypothesis and Complexity Theory [video]
    2026-10-27 · youtube.com · HN discussion
28. What's Math Anyway
    2026-10-26 · pavlemiha.substack.com · HN discussion
29. Scattered thoughts on how doing math feels these days
    2026-10-26 · dynomight.substack.com · HN discussion
30. Oai-math-revised: a community hub for revising OpenAI's math write-ups
    2026-10-24 · terrytao.wordpress.com · HN discussion

All trends