math no Hacker News
138 títulos de 119 autores nos últimos 30 dias, com 124 links diferentes e 11 Show HN.
Conta títulos, não confirma fatos. Abra a fonte antes de concluir qualquer coisa.
Projetos deste termo
A nota vem do nosso modelo.
- Show HN: Penmentor – Claude corrige suas contas de matemática manuscritas como um professor · nota 6.8
Penmentor é uma ferramenta para Linux X11 que captura matemática manuscrita de uma mesa digitalizadora (xournal++) e a envia a um agente de IA de linha de comando (Claude Code, Codex ou Antigravity) para obter marcações no estilo de professor, dicas e até animações em manim. Combina captura de tela, orquestração de subprocessos e uma sobreposição gráfica para oferecer uma experiência de aprendizado interativa diretamente sobre o trabalho do usuário.
- Show HN: ZeGrapher v4: plotador matemático moderno · nota 5.0
O ZeGrapher é uma aplicação open-source de plotagem matemática que permite aos usuários plotar funções, sequências, equações paramétricas e dados com uma GUI rica. Ele suporta zoom interativo, animação de constantes, importação de CSV e exportação vetorial de alta qualidade, tornando-se uma ferramenta capaz de visualizar relações matemáticas. Embora não seja altamente inovador, oferece uma alternativa polida e rica em recursos aos plotters básicos.
- Show HN: Closed Form – os 372 resultados matemáticos da OpenAI, explicados em linguagem simples · nota 4.8
Closed Form é um site estático em Astro que explica, em linguagem simples, os 372 resultados matemáticos da OpenAI do release openai/math, com trust labels e relatório de erros por entrada. Ele ingere o submodule de origem de forma determinística e anteriormente executava um pipeline de AI reader/checker para gerar explicações. O projeto é interessante como uma camada de transparência e acessibilidade sobre pesquisa matemática gerada por IA, embora sua utilidade seja limitada pela natureza de nicho do material de origem.
- Show HN: TrueMath Innovator – aplicativo gratuito para Windows de visualização matemática · nota 4.5
TrueMath Innovator é um aplicativo desktop para Windows que combina computação matemática exata via SymPy e Lean 4 com respostas potencializadas por IA, resolução por foto e testes de conjecturas. Destina-se a estudantes e entusiastas de matemática, oferecendo recursos como consulta ao OEIS e navegação de artigos do arXiv em um único aplicativo empacotado.
Títulos recentes
Títulos traduzidos por IA, que pode errar. O original fica logo abaixo.
- Terence Tao sobre como soluções matemáticas de IA erram o ponto
Terence Tao on how AI math solutions miss the point
01/11/2026 · sciencefriday.com · discussão no HN - Terence Tao: O ano em que a matemática mudou para sempre
Terence Tao: The Year Math Changed Forever
01/11/2026 · newyorker.com · discussão no HN - Respostas de pesquisadores em início de carreira à IA na matemática
Early Career Researcher Responses to AI in Math
01/11/2026 · arxiv.org · discussão no HN - Arquivo do Summer of Math Exposition
Summer of Math Exposition Archive
01/11/2026 · some.3b1b.co · discussão no HN - Relatório da Cúpula sobre Pesquisa Matemática na Era da IA
Report of the Summit on Math Research in the Age of AI
31/10/2026 · terrytao.wordpress.com · discussão no HN - O momento mais significativo da história da matemática acabou de acontecer [vídeo]
The Most Significant Moment in Math History Just Happened [video]
30/10/2026 · youtube.com · discussão no HN - A matemática 'chata' que pode salvar o vibe coding de si mesmo
The 'Pain in the Ass' Math That Could Save Vibe Coding from Itself
30/10/2026 · wired.com · discussão no HN - A IA ser ótima em matemática torna os matemáticos humanos mais valiosos, não menos
AI being great at math makes human mathematicians more valuable, not less
30/10/2026 · programmablemutter.com · discussão no HN - Altman simpatiza com matemáticos, mas diz que a ofensiva matemática da OAI não vai parar
Altman sympathizes with mathematicians, but says OAI's math onslaught won't stop
30/10/2026 · theverge.com · discussão no HN - A prova matemática mais longa já feita, no modo sobrevivência do Minecraft
The Longest Math Proof Ever, in Minecraft Survival Mode
29/10/2026 · thequantasticjournal.com · discussão no HN - Pensamentos dispersos sobre como fazer matemática hoje em dia
Scattered thoughts on how doing math feels these days
29/10/2026 · dynomight.net · discussão no HN - A Farsa Matemática de Wall Street (2018)
The Wall Street Math Hustle (2018)
29/10/2026 · institutionalinvestor.com · discussão no HN - MathHeist – Palavras cruzadas matemáticas e combinação de números
MathHeist – Criss-cross math crosswords and number matching
29/10/2026 · apps.apple.com · discussão no HN - AuditCent – Auditor e conciliador determinístico de cálculos em faturas PDF
AuditCent – Deterministic PDF invoice math auditor and reconciler
29/10/2026 · auditcent-io.netlify.app · discussão no HN - Show HN: Plataforma adaptativa de aprendizado de matemática
Show HN: Adaptive Math Learning Platform
29/10/2026 · mathua.com · discussão no HN - Versões concisas e legíveis do dump matemático da OpenAI
Concise/readable versions of OpenAI math dump
29/10/2026 · github.com · discussão no HN - Mais matemática, menos ego – Erik Demaine [vídeo]
More Math, Less Ego – Erik Demaine [video]
29/10/2026 · youtube.com · discussão no HN - Provas matemáticas da OpenAI em sandbox modificado
Open AI Math Proofs modified sandbox
28/10/2026 · zenodo.org · discussão no HN - Show HN: TrueMath Innovator – aplicativo gratuito para Windows de visualização matemática
Show HN: TrueMath Innovator – Free Windows app for math visualization
28/10/2026 · apps.microsoft.com · discussão no HN - A maioria dos alunos da Califórnia tem dificuldade em leitura e matemática, mostram novas notas de testes
Most California students struggle in reading and math, new test scores show
28/10/2026 · nypost.com · discussão no HN - 3B1B e Steven Strogatz sobre a humanidade da matemática [vídeo]
3B1B and Steven Strogatz on the Humanity of Math [video]
27/10/2026 · youtube.com · discussão no HN - Omega: LLMs conseguem raciocinar fora da caixa em matemática? (2025)
Omega: Can LLMs Reason Outside the Box in Math? (2025)
27/10/2026 · arxiv.org · discussão no HN - Show HN: Samosa – linter para derivações matemáticas
Show HN: Samosa – Linter for Math Derivations
27/10/2026 · samosa-math.vercel.app · discussão no HN - Matiks capta US$ 10 milhões para expandir sua plataforma de jogos de matemática e quebra-cabeças
Matiks raises $10M to expand its math and puzzle gaming platform
27/10/2026 · techcrunch.com · discussão no HN - Matemática bela: as ideias surpreendentemente simples por trás da revolução digital
Beautiful Math: The Surprisingly Simple Ideas Behind the Digital Revolution
27/10/2026 · newbooksnetwork.com · discussão no HN - Como as 'guerras da matemática' em Palo Alto refletem um debate nacional acalorado
How the 'math wars' in Palo Alto reflect a raging nationwide debate
27/10/2026 · sfchronicle.com · discussão no HN - Crise da IA na matemática: Navier-Stokes, Hipótese de Riemann e teoria da complexidade [vídeo]
AI Crisis in Math: Navier-Stokes, Riemann Hypothesis and Complexity Theory [video]
27/10/2026 · youtube.com · discussão no HN - O que é a matemática, afinal?
What's Math Anyway
26/10/2026 · pavlemiha.substack.com · discussão no HN - Pensamentos dispersos sobre como é fazer matemática hoje em dia
Scattered thoughts on how doing math feels these days
26/10/2026 · dynomight.substack.com · discussão no HN - Oai-math-revised: um hub comunitário para revisar os textos de matemática da OpenAI
Oai-math-revised: a community hub for revising OpenAI's math write-ups
24/10/2026 · terrytao.wordpress.com · discussão no HN