Axiom Math wants to keep AI slop out of mathematics
As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally ve…
标签：math
共 20 篇相关文章
The Little Book of Generative AI Foundations: An Intuitive Mathematical Primer
Article URL: https://arxiv.org/abs/2605.29713 Comments URL: https://news.ycombinator.com/item?id=50358582 Points: 5 # Co…
Egoless Mathematics in the AI Era
Article URL: https://terrytao.wordpress.com/2026/11/02/egoless-mathematics-in-the-ai-era/ Comments URL: https://news.yco…
Why are Soviet math textbooks so hardcore in comparison to US textbooks? (2017)
Article URL: https://www.quora.com/Why-are-Soviet-mathematics-physics-textbooks-so-insanely-hardcore-in-comparison-to-US…
Mathematics has changed. Let's act like it
Article URL: https://terrytao.wordpress.com/2026/11/01/mathematics-has-changed-lets-act-like-it/ Comments URL: https://n…
Matiks raises $10M to expand its math and puzzle gaming platform
Matiks has introduced a new platform for users to create games using AI.
A Mathematician Reads the AI Future
Article URL: https://www.theatlantic.com/ideas/2026/10/ai-math-human-future/689133/ Comments URL: https://news.ycombinat…
AI use leads UC Berkeley math professor to see 'no point' in grading homework
Article URL: https://www.dailycal.org/news/campus/academics/ai-use-leads-uc-berkeley-math-professor-to-see-no-point-in-g…
Oai-math-revised: a community hub for revising OpenAI's math write-ups
Article URL: https://terrytao.wordpress.com/2026/10/24/oai-math-revised-a-community-hub-for-revising-openais-math-write-…
Show HN: Penmentor – Claude marks up your handwritten math like a teacher
Article URL: https://github.com/AbdullahAlhariri/penmentor Comments URL: https://news.ycombinator.com/item?id=50167604 P…
Will it be a golden age or a dark age for mathematics (and science)?
Article URL: https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science…
There's never been a better time to go into math (by: 3blue1brown) [video]
Article URL: https://www.youtube.com/watch?v=LKrwhjOI8Nc Comments URL: https://news.ycombinator.com/item?id=50136150 Poi…