Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Mathematics
📐 Mathematics
Broad
math, analysis, algebra, topology
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
266
posts in
4.6
ms
Proof
System Timelines
λ
PL Theory
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
Extraction and Search in Rocq:
Theorems
, Definitions and Their dependencies
λ
PL Theory
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Extraction and Search in Rocq: Theorems, Definitions and Their dependencies
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
λ
PL Theory
lix.polytechnique.fr
·
13h
13 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Neon NTT - (Auto)formalised
λ
PL Theory
eprint.iacr.org
·
16h
16 hours ago
Actions for Neon NTT - (Auto)formalised
How
math
's 'hairy ball
theorem
' could explain bad hair days
🔄
Eventual Consistency
Content type:
News
scientificamerican.com
·
1d
1 day ago
Actions for How math's 'hairy ball theorem' could explain bad hair days
Jacques Hadamard (1865 – 1963)
🔢
Algebra
grokipedia.com
·
6d
6 days ago
·
Hacker News
Actions for Jacques Hadamard (1865 – 1963)
Mathematical
proof
reveals why fixed AI guardrails can never block every jailbreak
🤝
Paxos Consensus
techxplore.com
·
6h
6 hours ago
Actions for Mathematical proof reveals why fixed AI guardrails can never block every jailbreak
AI cracked an Erdős
math
problem. Now experts want guardrails
🧩
Complexity Theory
Content type:
News
sciencenews.org
·
2d
2 days ago
·
Hacker News
Actions for AI cracked an Erdős math problem. Now experts want guardrails
tensor product of stable (infinity,1)-categories in nLab
🔢
Algebra
ncatlab.org
·
3d
3 days ago
Actions for tensor product of stable (infinity,1)-categories in nLab
Manifold Exploration
📇
Vector Indexing
paul-antoineletolguenec.github.io
·
2d
2 days ago
·
Hacker News
Actions for Manifold Exploration
Elements of Cryptanalysis: From
Al-Kindi
to Post-Quantum Standards — Elements of Cryptanalysis: From
Al-Kindi
to Post-Quantum Standards
🔢
Algebra
bnaskrecki.faculty.wmi.amu.edu.pl
·
1d
1 day ago
Actions for Elements of Cryptanalysis: From Al-Kindi to Post-Quantum Standards — Elements of Cryptanalysis: From Al-Kindi to Post-Quantum Standards
Recent progress around Cohen-Lenstra heuristics (notes from a Bourbaki talk)
🧮
Constraint Solvers
Content type:
Blog
quomodocumque.wordpress.com
·
5d
5 days ago
Actions for Recent progress around Cohen-Lenstra heuristics (notes from a Bourbaki talk)
How Terry Tao Became an Evangelist for AI in
Math
🔗
Combinatorics
quantamagazine.org
·
2d
2 days ago
·
Hacker News
Actions for How Terry Tao Became an Evangelist for AI in Math
TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified
proof
that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.
🧩
Complexity Theory
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.
The
maths
meme that has been distracting mathematicians for a century
🔗
Combinatorics
newscientist.com
·
5d
5 days ago
Actions for The maths meme that has been distracting mathematicians for a century
Formal Learning
Theory
🧩
Complexity Theory
Content type:
Academic
plato.stanford.edu
·
6d
6 days ago
Actions for Formal Learning Theory
Moonshine: An Autonomous
Mathematical
Research Agent Centered on
Conjecture
Generation
🧮
SMT Solvers
Content type:
Academic
arxiv.org
·
18h
18 hours ago
Actions for Moonshine: An Autonomous Mathematical Research Agent Centered on Conjecture Generation
SNARGs for NP from Unprovability of
Mathematical
Theorems
🧮
SMT Solvers
eprint.iacr.org
·
5d
5 days ago
Actions for SNARGs for NP from Unprovability of Mathematical Theorems
Evaluating Research-Level
Math
Proofs
via Strict Step-Level Verification
🧮
SMT Solvers
Content type:
Academic
arxiv.org
·
18h
18 hours ago
Actions for Evaluating Research-Level Math Proofs via Strict Step-Level Verification
quasitriangular Hopf
2-algebra
in nLab
🔢
Algebra
ncatlab.org
·
5d
5 days ago
Actions for quasitriangular Hopf 2-algebra in nLab
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help