Hacker News with Generative AI: Mathematics

After 20 Years, Math Couple Solves Major Group Theory Problem (quantamagazine.org)
In 2003, a German graduate student named Britta Späth encountered the McKay conjecture, one of the biggest open problems in the mathematical realm known as group theory.
Mathematics, Group Theory, Research, Academia
294 points by isaacfrond 9 hours ago | 77 comments
Tegmark's Mathematical Universe Defeats Most Proofs of God's Existence (astralcodexten.com)
It feels like 2010 again - the bloggers are debating the proofs for the existence of God. I found these much less interesting after learning about Max Tegmark’s mathematical universe hypothesis, and this doesn’t seem to have reached the Substack debate yet, so I’ll put it out there.
Philosophy, Mathematics, Religion
5 points by feross 2 days ago | 1 comments
Terence Tao on how we measure the cosmos – Distance ladder [video] (youtube.com)
Cosmology, Mathematics, Astronomy, Video, Science
14 points by ProAm 2 days ago | 0 comments
The Buenos Aires Constant (johndcook.com)
The Buenos Aires constant is 2.92005097731613…
Mathematics, Constants
9 points by zdw 2 days ago | 1 comments
Tensor evolution: A framework for fast tensor computations using recurrences (arxiv.org)
This paper introduces a new mathematical framework for analysis and optimization of tensor expressions within an enclosing loop.
Mathematics, Optimization, Computer Science, Tensor Operations
52 points by matt_d 2 days ago | 16 comments
Math Academy, part 1: My eigenvector embarassment (frankhecker.com)
This all started because I don’t know what an eigenvector is.
Mathematics, Education, Personal Experiences
4 points by gmays 2 days ago | 0 comments
The number line freaks me out (2016) (mathwithbaddrawings.com)
Well, you know what they say: In mathematics, you don’t understand things. You just get used to them.
Mathematics, Education, Humor
131 points by mananaysiempre 4 days ago | 131 comments
Show HN: Tools for Math Research (sugaku.net)
A platform for mathematics researchers to explore literature, find collaborators, and engage with mathematical content through advanced computational tools.
Mathematics, Research Tools, Collaboration, Academia
10 points by rfurmani 6 days ago | 6 comments
Complex dynamics require complex solutions (mathstodon.xyz)
Mathematics, Complexity, Solutions
214 points by ckemere 6 days ago | 143 comments
Mathics: A free, open-source alternative to Mathematica (mathics.org)
Mathics3 is a free, open-source general-purpose computer algebra system featuring Mathematica®-compatible syntax and functions. It relies on a number of other Python libraries in the Python ecosystem.
Open Source, Software, Mathematics, Programming Languages
49 points by fanf2 6 days ago | 6 comments
Ask HN: Seeking Book (ycombinator.com)
Hello All,<p>Many years ago I came across a book from a female Researcher which was basically using low-level mathematics to model low-level type 'circuits' or 'functions'. Not circuits in the electrical sense but I do know this researcher eventually did work for some Intelligence Agencies as part of extensions to her work. Problem I have is I have searched high and low via various search engines though with proliferation of AI texts it has increased the noise level.
Mathematics, Computer Science, Intelligence Agencies, Books, Research
8 points by grostiq 6 days ago | 2 comments
Bombed Fresco: Using Math to Piece Together a Lost Treasure (2011) (spiegel.de)
In 1944, a bombing raid almost completely destroyed an enormous Padua church fresco that dated back to the Renaissance and had once been admired by Goethe. Some 88,000 tiny pieces of plaster were rescued from the rubble, and a mathematician has managed to piece some of the masterpiece back together.
Art Restoration, History, Mathematics, Italy
14 points by ColinWright 6 days ago | 2 comments
The largest sofa you can move around a corner (quantamagazine.org)
A new proof reveals the answer to the decades-old “moving sofa” problem. It highlights how even the simplest optimization problems can have counterintuitive answers.
Mathematics, Optimization, Puzzles, Geometry
185 points by abe94 6 days ago | 90 comments
"Homotopical macrocosms for higher category theory" identified as woke DEI grant (mathstodon.xyz)
Mathematics, Category Theory, Academia, Social Justice
108 points by nabla9 6 days ago | 146 comments
Towards an API for the Real Numbers Hans (dl.acm.org)
Mathematics, Programming, APIs
26 points by weinzierl 7 days ago | 7 comments
Basis of the Kalman Filter [pdf] (github.com/tpn)
Understanding the Basis of the Kalman Filter Via a Simple and Intuitive Derivation (2012).pdf
Kalman Filter, Mathematics, Statistics, Computer Science
239 points by fzliu 8 days ago | 37 comments
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving [pdf] (arxiv.org)
We introduce Goedel-Prover, an open-source large language model (LLM) that achieves the state-of-the-art (SOTA) performance in automated formal proof generation for mathematical problems.
Generative AI, Open Source, Mathematics
6 points by bikenaga 8 days ago | 2 comments
Terence Tao on the Ongoing Process of "Enshittification" (mathstodon.xyz)
Mathematics, Social Commentary, Internet Culture
9 points by yo_yo_yo-yo 8 days ago | 0 comments
Noether's Theorem and Machine Learning (lee-phillips.org)
Emmy Noether discovered her eponymous theorem in the context of Einstein’s General Theory of Relativity. A couple of decades after her death, it became the foundation for modern particle physics. In the final chapter of my book about Noether’s Theorem I survey some of its recent applications far afield from either of these physics contexts—including applications outside of the physical sciences.
Mathematics, Physics, Machine Learning
9 points by leephillips 9 days ago | 0 comments
Elementary Functions and Not Following IEEE754 Floating-Point Standard (2020) (hlsl.co.uk)
The IEEE-754 Standard for floating-point numbers was introduced initially in 1985 to solve the problem of diverse floating point implementations prevent code being portable and increase stability across platforms.
Mathematics, Programming, Standards
60 points by dreamer_soul 10 days ago | 32 comments
Gödel's Loophole (wikipedia.org)
Gödel's Loophole is a supposed "inner contradiction" in the Constitution of the United States which Austrian-American logician, mathematician, and analytic philosopher Kurt Gödel postulated in 1947.
Constitution, Philosophy, Logic, Mathematics
6 points by croes 10 days ago | 0 comments
Math books like Infite Powers or Calculus Made Easy but for other topics? (ycombinator.com)
I recently read the above because I wanted to refresh my calculus skills and they were exactly the level and depth for a busy software engineer. Do you have other examples of foundational math books that are readable for the interested layman, e.g. for linear algebra?
Mathematics, Books, Linear Algebra, Software Engineering
13 points by leandot 10 days ago | 10 comments
An Infinitely Large Napkin [pdf] (2019) (venhance.github.io)
Mathematics, Computer Science, Research Papers, PDFs
193 points by Qision 10 days ago | 33 comments
Why Does Integer Addition Approximate Float Multiplication? (probablydance.com)
Here is a rough approximation of float multiplication (source):
Mathematics, Programming
182 points by ibobev 11 days ago | 81 comments
Mathematics in the 20th century, by Michael Atiyah [pdf] (2002) (marktomforde.com)
Mathematics, History, Academic Papers
122 points by practal 11 days ago | 18 comments
Terence Tao on how we measure the cosmos [video] (youtube.com)
Mathematics, Cosmology, Video, Terence Tao
6 points by andrepd 12 days ago | 0 comments
Tips for mathematical handwriting (2007) (johnkerl.org)
Now that you’re majoring in one of the technical disciplines (engineering, science, or math), you’re going to be spending a significant amount of time communicating in writing with others.
Mathematics, Education, Writing, Communication
282 points by susam 12 days ago | 158 comments
Terence Tao on how we measure the cosmos, Part 1 [video] (youtube.com)
Mathematics, Astronomy, Video, Science
10 points by vo2maxer 12 days ago | 2 comments
Computing Expert Says Programmers Need More Math (quantamagazine.org)
Leslie Lamport may not be a household name, but he’s behind a few of them for computer scientists: the typesetting program LaTeX and the work that made cloud infrastructure at Google and Amazon possible.
Computer Science, Programming, Mathematics
19 points by ColinWright 12 days ago | 2 comments
Noether's Theorem Revolutionized Physics (quantamagazine.org)
In the fall of 1915, the foundations of physics began to crack. Einstein’s new theory of gravity seemed to imply that it should be possible to create and destroy energy, a result that threatened to upend two centuries of thinking in physics.
Physics, Mathematics
139 points by MindGods 13 days ago | 79 comments