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
262
posts in
26.9
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
·
10h
10 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Mathematical
proof
reveals why fixed AI guardrails can never block every jailbreak
🤝
Paxos Consensus
techxplore.com
·
4h
4 hours ago
Actions for Mathematical proof reveals why fixed AI guardrails can never block every jailbreak
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
Neon NTT - (Auto)formalised
λ
PL Theory
eprint.iacr.org
·
14h
14 hours ago
Actions for Neon NTT - (Auto)formalised
Jacques Hadamard (1865 – 1963)
🔢
Algebra
grokipedia.com
·
6d
6 days ago
·
Hacker News
Actions for Jacques Hadamard (1865 – 1963)
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)
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
·
16h
16 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
·
16h
16 hours ago
Actions for Evaluating Research-Level Math Proofs via Strict Step-Level Verification
JamesC-xhecarpenxer/JC-Compute-Model: This is JC Compute a solution for digital trust.
🔄
Replication
Content type:
Code
github.com
·
6d
6 days ago
·
Hacker News
Actions for JamesC-xhecarpenxer/JC-Compute-Model: This is JC Compute a solution for digital trust.
TheoremBench
: Evaluating LLMs on Theorem Proving in Formal
Mathematics
🧮
SMT Solvers
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics
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