➗ Math - the_floundering_lotus · Scour

Two Erdos Problems on Points in the Plane and AI 🧮Algorithms

blog.computationalcomplexity.org·5d·blog.computationalcomplexity.org

Talking Maths in… Coventry Transport Museum 📟Retro Tech

aperiodical.com·1d

we will have the most science and math submissions ever in the next few years. 💻Computer Science

twitter.macworks.dev

·2d

A New Consciousness of Mathematics ✅Formal Verification

apoorvapanidapu.substack.com·3d·Substack

Sampling Directed Eulerian Tours in $\widetilde O(m^{3/2})$ Time 🧮Algorithms

12 AI Co-Scientists in 2026 💻Computer Science

turingpost.com·5d

How the mathematician Gödel proved that not everything can be proven λType Theory

scientificamerican.com

·3d

14 Mathematics Books Written by Artists, Architects, and Writers λType Theory

abakcus.com·2d

🔮 Exponential View #575: AI’s knowledge dividend, literary sludge, tokenmining, battery curves++ λType Theory

exponentialview.co

·5d

Nonanti/mathcore: Symbolic math library and computer algebra system for Rust ✅Formal Verification

The Verification Problem (On OpenAI's Erdős Disproof) ✅Formal Verification

korbonits.com·5d·Hacker News

On This Day in Math 🖥️Computing History

pballew.blogspot.com·2d·Blogger

Michael Tsai - Blog - OpenAI Model’s Proof of Erdős Unit Distance Problem 🧮Algorithms

Humans have disproved the sum-product conjectures for real numbers ✅Formal Verification

arxiv.org·15h·Hacker News

higher dimensional automaton in nLab ✅Formal Verification

ncatlab.org·3d

When does learning from data work (math starting from basic probability) 🧮Algorithms

prateekchandrajha.github.io·5d·Hacker News

Mathematicians solve decades-old mystery about the hidden order in high-dimensional randomness 🧮Algorithms

phys.org·5d·Hacker News

Doomslayer: Progress Roundup ♟️Game Theory

newsletter.humanprogress.org·5d

Claude Mythos reportedly solves OpenAI's landmark Erdős problem with a "cute, simple proof" λType Theory

the-decoder.com

·3d

An AI solution to an 80‑year‑old Erdős problem 🧮Algorithms

mappingignorance.org·2d

Log in to enable infinite scrolling