math en Hacker News
138 títulos de 119 autores en los últimos 30 días, con 124 enlaces distintos y 11 Show HN.
Cuenta títulos, no confirma hechos. Abre la fuente antes de sacar conclusiones.
Proyectos de este término
La nota viene de nuestro modelo.
- Show HN: Penmentor – Claude corrige tus problemas de matemáticas escritos a mano como un profesor · nota 6.8
Penmentor es una herramienta para Linux X11 que captura matemáticas escritas a mano desde una tableta digitalizadora (xournal++) y las envía a un agente de IA de línea de comandos (Claude Code, Codex o Antigravity) para obtener anotaciones al estilo de un profesor, pistas e incluso animaciones en manim. Combina captura de pantalla, orquestación de subprocesos y una superposición gráfica para ofrecer una experiencia de aprendizaje interactiva directamente sobre el trabajo del usuario.
- Show HN: ZeGrapher v4: trazador matemático moderno · nota 5.0
ZeGrapher es una aplicación de código abierto para graficar matemáticas que permite a los usuarios representar funciones, sucesiones, ecuaciones paramétricas y datos con una interfaz gráfica rica. Admite zoom interactivo, animación de constantes, importación de CSV y exportación vectorial de alta calidad, lo que la convierte en una herramienta capaz de visualizar relaciones matemáticas. Aunque no es muy innovadora, ofrece una alternativa pulida y rica en funciones frente a los graficadores básicos.
- Show HN: Closed Form – los 372 resultados matemáticos de OpenAI, explicados en lenguaje sencillo · nota 4.8
Closed Form es un sitio estático de Astro que explica en inglés sencillo los 372 resultados matemáticos de OpenAI del release openai/math, con etiquetas de confianza y reporte de errores por entrada. Ingesta el submódulo fuente de forma determinista y anteriormente ejecutaba un pipeline de AI reader/checker para generar explicaciones. El proyecto es interesante como capa de transparencia y accesibilidad sobre investigación matemática generada por IA, aunque su utilidad está acotada por la naturaleza de nicho del material fuente.
- Show HN: TrueMath Innovator – app gratuita para Windows de visualización matemática · nota 4.5
TrueMath Innovator es una aplicación de escritorio para Windows que combina el cálculo matemático exacto mediante SymPy y Lean 4 con respuestas impulsadas por IA, resolución de problemas por foto y pruebas de conjeturas. Está dirigida a estudiantes y entusiastas de las matemáticas, ofreciendo funciones como la búsqueda en OEIS y la navegación de artículos de arXiv en una única aplicación empaquetada.
Títulos recientes
Títulos traducidos por IA, que puede equivocarse. El original queda justo debajo.
- Terence Tao sobre cómo las soluciones matemáticas de IA no dan en el clavo
Terence Tao on how AI math solutions miss the point
01/11/2026 · sciencefriday.com · discusión en HN - Terence Tao: El año en que las matemáticas cambiaron para siempre
Terence Tao: The Year Math Changed Forever
01/11/2026 · newyorker.com · discusión en HN - Respuestas de investigadores en etapas tempranas de su carrera a la IA en matemáticas
Early Career Researcher Responses to AI in Math
01/11/2026 · arxiv.org · discusión en HN - Archivo del Summer of Math Exposition
Summer of Math Exposition Archive
01/11/2026 · some.3b1b.co · discusión en HN - Informe de la Cumbre sobre Investigación Matemática en la Era de la IA
Report of the Summit on Math Research in the Age of AI
31/10/2026 · terrytao.wordpress.com · discusión en HN - El momento más significativo de la historia de las matemáticas acaba de ocurrir [video]
The Most Significant Moment in Math History Just Happened [video]
30/10/2026 · youtube.com · discusión en HN - Las matemáticas 'pesadas' que podrían salvar al vibe coding de sí mismo
The 'Pain in the Ass' Math That Could Save Vibe Coding from Itself
30/10/2026 · wired.com · discusión en HN - Que la IA sea excelente en matemáticas hace que los matemáticos humanos sean más valiosos, no menos
AI being great at math makes human mathematicians more valuable, not less
30/10/2026 · programmablemutter.com · discusión en HN - Altman simpatiza con los matemáticos, pero dice que la ofensiva matemática de OAI no se detendrá
Altman sympathizes with mathematicians, but says OAI's math onslaught won't stop
30/10/2026 · theverge.com · discusión en HN - La demostración matemática más larga jamás hecha, en el modo supervivencia de Minecraft
The Longest Math Proof Ever, in Minecraft Survival Mode
29/10/2026 · thequantasticjournal.com · discusión en HN - Pensamientos dispersos sobre cómo se siente hacer matemáticas hoy
Scattered thoughts on how doing math feels these days
29/10/2026 · dynomight.net · discusión en HN - El truco matemático de Wall Street (2018)
The Wall Street Math Hustle (2018)
29/10/2026 · institutionalinvestor.com · discusión en HN - MathHeist – Crucigramas matemáticos cruzados y emparejamiento de números
MathHeist – Criss-cross math crosswords and number matching
29/10/2026 · apps.apple.com · discusión en HN - AuditCent: auditor y conciliador determinista de cálculos en facturas PDF
AuditCent – Deterministic PDF invoice math auditor and reconciler
29/10/2026 · auditcent-io.netlify.app · discusión en HN - Show HN: Plataforma adaptativa de aprendizaje de matemáticas
Show HN: Adaptive Math Learning Platform
29/10/2026 · mathua.com · discusión en HN - Versiones concisas y legibles del volcado matemático de OpenAI
Concise/readable versions of OpenAI math dump
29/10/2026 · github.com · discusión en HN - Más matemáticas, menos ego – Erik Demaine [video]
More Math, Less Ego – Erik Demaine [video]
29/10/2026 · youtube.com · discusión en HN - Pruebas matemáticas de OpenAI en un sandbox modificado
Open AI Math Proofs modified sandbox
28/10/2026 · zenodo.org · discusión en HN - Show HN: TrueMath Innovator – app gratuita para Windows de visualización matemática
Show HN: TrueMath Innovator – Free Windows app for math visualization
28/10/2026 · apps.microsoft.com · discusión en HN - La mayoría de los estudiantes de California tienen dificultades en lectura y matemáticas, según nuevos resultados de exámenes
Most California students struggle in reading and math, new test scores show
28/10/2026 · nypost.com · discusión en HN - 3B1B y Steven Strogatz sobre la humanidad de las matemáticas [vídeo]
3B1B and Steven Strogatz on the Humanity of Math [video]
27/10/2026 · youtube.com · discusión en HN - Omega: ¿pueden los LLM razonar fuera de la caja en matemáticas? (2025)
Omega: Can LLMs Reason Outside the Box in Math? (2025)
27/10/2026 · arxiv.org · discusión en HN - Show HN: Samosa – linter para derivaciones matemáticas
Show HN: Samosa – Linter for Math Derivations
27/10/2026 · samosa-math.vercel.app · discusión en HN - Matiks recauda 10 millones de dólares para ampliar su plataforma de juegos de matemáticas y rompecabezas
Matiks raises $10M to expand its math and puzzle gaming platform
27/10/2026 · techcrunch.com · discusión en HN - Matemáticas bellas: las ideas sorprendentemente sencillas tras la revolución digital
Beautiful Math: The Surprisingly Simple Ideas Behind the Digital Revolution
27/10/2026 · newbooksnetwork.com · discusión en HN - Cómo las 'guerras de las matemáticas' en Palo Alto reflejan un debate nacional candente
How the 'math wars' in Palo Alto reflect a raging nationwide debate
27/10/2026 · sfchronicle.com · discusión en HN - La crisis de la IA en matemáticas: Navier-Stokes, la hipótesis de Riemann y la teoría de la complejidad [vídeo]
AI Crisis in Math: Navier-Stokes, Riemann Hypothesis and Complexity Theory [video]
27/10/2026 · youtube.com · discusión en HN - ¿Qué es la matemática, al fin y al cabo?
What's Math Anyway
26/10/2026 · pavlemiha.substack.com · discusión en HN - Pensamientos dispersos sobre cómo se siente hacer matemáticas en estos días
Scattered thoughts on how doing math feels these days
26/10/2026 · dynomight.substack.com · discusión en HN - Oai-math-revised: un centro comunitario para revisar los textos de matemáticas de OpenAI
Oai-math-revised: a community hub for revising OpenAI's math write-ups
24/10/2026 · terrytao.wordpress.com · discusión en HN