this post was submitted on 15 Apr 2026
12 points (100.0% liked)

Mathematics

659 readers
7 users here now

A community for discussing mathematics and developments in mathematics.

founded 4 years ago
MODERATORS
 

This paper discovered the continuous math equivalent of the digital NAND gate. It turns out that a single binary operation paired with the constant 1 can generate every single standard elementary function. That operation is defined as eml(x,y)=exp(x)-ln(y). You can reconstruct constants like pi and the imaginary unit alongside basic addition and complex calculus tools using nothing but this one function.

The implications for machine learning and symbolic regression are massive. Normally when artificial intelligence tries to discover mathematical formulas from data it has to search through a chaotic space of different operators and syntax rules. Because the EML operator turns every mathematical expression into a uniform binary tree of identical nodes the search space becomes perfectly regular. You can basically treat a mathematical formula like a neural network circuit. The paper shows that when you train these EML trees using standard gradient optimizers like Adam the weights can actually snap to exact closed-form symbolic expressions instead of just giving fuzzy numerical approximations.

This finding could change how we design analog circuits and specialized computing hardware. If you only need a single instruction to execute any complex mathematical function you could build physical hardware or single instruction stack machines optimized purely for the EML operation. The fact that this was discovered by computationally stripping down a calculator rather than through purely theoretical derivation highlights how much structural beauty is still hiding in basic math.

you are viewing a single comment's thread
view the rest of the comments
[–] davel@lemmy.ml 4 points 1 day ago* (last edited 1 day ago) (2 children)

Goodbye RISC, hello OIC: One Instruction Computer.

[–] cornishon@lemmygrad.ml 3 points 1 day ago (1 children)
[–] davel@lemmy.ml 1 points 1 day ago

Yeah, I at first misunderstood that Not-AND was being used as an analogy for Exp-Minus-Log.

[–] yogthos@lemmy.ml 2 points 1 day ago

this one weird trick :)