🧮 Mathematics - plooh · Scour

How Alexander Grothendieck Revolutionized 20th-Century Mathematics 🎛️Control theory

quantamagazine.org·4d·Hacker News, Hacker News

Google DeepMind's AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures 📱Edge AI

cryptobriefing.com·1d·Hacker News

barvhaim/llm-learning-path: 🎓 Structured LLM Learning Path — From Zero to Researcher. 8-phase curriculum covering Transformers, pre-training, fine-tuning, alignment, agents, and advanced research. 🤖llm

github.com·17h·Hacker News

All Lean Books and Where to Find Them 🦀Rust

lakesare.brick.do·18h·Hacker News

Advancing Mathematics Research with AI-Driven Formal Proof Search 📱Edge AI

arxiv.org·2d·Hacker News

machine review for the scientific record 🦀Rust

pith.science·6d·Hacker News

The Verification Problem (On OpenAI's Erdős Disproof) 📱Edge AI

korbonits.com·20h·Hacker News

writings on math, logic, philosophy and art 🎛️Control theory

abuseofnotation.github.io·2d·Lobsters, Hacker News

AI Proves Mathematicians Wrong 📱Edge AI

heise.de·13h·Hacker News

Church Encoding, Parametricity, and the Yoneda Lemma 🦀Rust

blog.wybxc.cc·3d·Lobsters, Hacker News, r/functionalprogramming

When does learning from data work (math starting from basic probability) 📱Edge AI

prateekchandrajha.github.io·1d·Hacker News

Individual Logarithm Reduction Step 🦀Rust

leetarxiv.substack.com·13h·Substack, r/programming

This tiny piece of math prevents perfect coding agents 📱Edge AI

hisohan.substack.com·1d·Substack

Domino Tiling: From Dynamic Programming to Finite Fields 🦀Rust

omegasyntax.com·6d·Hacker News

Dumbo Could Already Fly 📱Edge AI

theintrinsicperspective.com·1d·Hacker News

‘Sensational’ proof topples decades-old geometry problem 👁️Computer vision

scientificamerican.com

·5d·Hacker News

Announcing Isabelle support for SAW 🔩Embedded Rust

galois.com·2d·Lobsters

System Realism: Why Math, Biology, and AI Make Perfection Impossible 🐝Swarm Intelligence

ksaweryskowron.substack.com·5d·Substack

Using algebra and LLMs to verify a flight-plan bug fix in Lean 🤖llm

jameshaydon.github.io·5d·Lobsters, Hacker News, r/programming

Pythagorean Addition 📊Signal Processing

entropicthoughts.com·6d·Hacker News

Log in to enable infinite scrolling