math

Feeds to Scour
SubscribedAll
Scoured 217 posts in 8.4 ms

Alternative Inductive Proof of Dilworth's Theorem

 Mathematical Logic  Content type: Academic
arxiv.org·

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

 Mathematical Logic
lix.polytechnique.fr·

tensor product of stable (infinity,1)-categories in nLab

 🔷Category Theory
ncatlab.org·

Neon NTT - (Auto)formalised

 🤖Automated Reasoning
eprint.iacr.org·

Proof System Timelines

 🤖Automated Reasoning  Content type: Blog
klatz.co·

Mathematical proof reveals why fixed AI guardrails can never block every jailbreak

 Mathematical Logic
techxplore.com·

The Diamond Lemma

 🧮Complexity Theory
lesswrong.com·

How math's 'hairy ball theorem' could explain bad hair days

 📡Science Communication  Content type: News

A New Post Quantum Cryptography Standard (Verification, etc. Included)

 🔐Cryptography
zenodo.org··Hacker News

I Am Open Sourcing Hissab Calculator App, Skills, CLI and NPM

 📚Factor  Content type: Code
github.com··Hacker News

Elements of Cryptanalysis: From Al-Kindi to Post-Quantum Standards — Elements of Cryptanalysis: From Al-Kindi to Post-Quantum Standards

 🔐Cryptography

Jacques Hadamard (1865 – 1963)

 🔢Number Theory

Hidden geometry explains why kernel methods separate complex data so well

 📊Statistics
phys.org·

AI cracked an Erdős math problem. Now experts want guardrails

 🧮Complexity Theory  Content type: News

Recent progress around Cohen-Lenstra heuristics (notes from a Bourbaki talk)

 🤖Automated Reasoning  Content type: Blog

Quivers: a year of linear algebra by drawing arrows

 🔷Category Theory  Content type: Blog

Apostol's Solution to the Basel problem

 📊Quantitative Finance  Content type: Blog
abstractnonsense.xyz·

The Best Math Movies: Lives Written on the Board

 💹Economics
abakcus.com·

How Terry Tao Became an Evangelist for AI in Math

 🔢Number Theory

Getting by with a little help from AI

 ⚛️Quantum Computing  Content type: Blog
computerweekly.com·

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help