Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

'Basically zero, garbage': Renowned mathematician Joel David Hamkins declares AI Models useless for solving math. Here's why

Extensible math Expression Parser

Six-decade math puzzle solved by Korean mathematician

LLMs Are Currently Not Helpful at All for Math Research: Hamkins

3D printed origami

Slaughtering Competition Problems with Quantifier Elimination (2021)

Reverse math shows why hard problems are hard

“Are you the one?” is free money

Space Math Academy

Are Two Heads Better Than One?

Braid Math Article

Math Solver

Why is math so often taught as a black box instead of being explained from first principles? This is a question for someone in theoretical computer science who hated math before studying discrete math,but now after discrete math I just started loving math so much so that I can finally enjoy Calculus

Litex: Formal math for everyone – set theory examples with Lean comparison

Faster practical modular inversion

Show HN: I made a spreadsheet where formulas also update backwards

String theory inspires a brilliant, baffling new math proof

Play the Monty Hall game

I built a tiny 2-qubit quantum simulator in Rust to learn the math

How does math affect my social life?

Logical gates on Floquet codes via folds and twists

Finite-state transducers for substitution tilings

Quanta to publish popular math and physics books by Terence Tao and David Tong

The Code That Revolutionized Orbital Simulation [video]

Computational complexity of New York Times games

A unscientific guide to the security of various PQC algorithms

normals_revisited: revisiting a known normal transformation in computer graphics (2019)

Fixed Points and Strike Mandates (2012)

Ancient Greek geometry

Struggling Towards an Algebraic Theory of Music

More →