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
math, linear algebra, calculus, statistics, 3blue1brown
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
228
posts in
4.6
ms
Extraction and Search in Rocq:
Theorems
, Definitions and Their dependencies
📚
RAG
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Extraction and Search in Rocq: Theorems, Definitions and Their dependencies
How
math
's 'hairy ball
theorem
' could explain bad hair days
🔬
Science
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
🧠
LLMs
eprint.iacr.org
·
19h
19 hours ago
Actions for Neon NTT - (Auto)formalised
Proof
System Timelines
🧠
LLMs
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
Long-Range Order in a Strictly Short-Range Quasi-2D XY Model: When Critical Fluctuations
Matter
🧠
LLMs
link.aps.org
·
3h
3 hours ago
Actions for Long-Range Order in a Strictly Short-Range Quasi-2D XY Model: When Critical Fluctuations Matter
The
Math
Needed for AI/ML (Complete Roadmap)
🤖
AI
Content type:
Video
youtube.com
·
5d
5 days ago
Actions for The Math Needed for AI/ML (Complete Roadmap)
Manifold Exploration
🔭
Astronomy
paul-antoineletolguenec.github.io
·
2d
2 days ago
·
Hacker News
Actions for Manifold Exploration
pavansgill/just-calculate-mcp
: MCP tool-overload solution: toggle/act gating for 45
math
tools in Rust
🏠
Self-Hosting
Content type:
Code
github.com
·
1h
1 hour ago
·
r/mcp
Actions for pavansgill/just-calculate-mcp: MCP tool-overload solution: toggle/act gating for 45 math tools in Rust
Mathematical
proof
reveals why fixed AI guardrails can never block every jailbreak
🤖
AI Agents
techxplore.com
·
9h
9 hours ago
Actions for Mathematical proof reveals why fixed AI guardrails can never block every jailbreak
Jacques Hadamard (1865 – 1963)
🔭
Astronomy
grokipedia.com
·
6d
6 days ago
·
Hacker News
Actions for Jacques Hadamard (1865 – 1963)
Elements of Cryptanalysis: From
Al-Kindi
to Post-Quantum Standards — Elements of Cryptanalysis: From
Al-Kindi
to Post-Quantum Standards
🧠
LLMs
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
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
🧠
LLMs
lix.polytechnique.fr
·
15h
15 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Quivers: a year of
linear
algebra
by drawing arrows
🧠
LLMs
Content type:
Blog
lisyarus.github.io
·
1d
1 day ago
·
Hacker News
Actions for Quivers: a year of linear algebra by drawing arrows
Recent progress around Cohen-Lenstra heuristics (notes from a Bourbaki talk)
🧠
LLMs
Content type:
Blog
quomodocumque.wordpress.com
·
5d
5 days ago
Actions for Recent progress around Cohen-Lenstra heuristics (notes from a Bourbaki talk)
Every set of AI guardrails can be broken by the right prompt
⚙️
DevOps
helpnetsecurity.com
·
16h
16 hours ago
Actions for Every set of AI guardrails can be broken by the right prompt
The power-spectrum tensor in
steady-state
systems and its role in quantum friction
🖥️
Hardware
iopscience.iop.org
·
11h
11 hours ago
Actions for The power-spectrum tensor in steady-state systems and its role in quantum friction
Gravity has always been quantum mechanical: it is the wrong thing to quantise
🔬
Science
zenodo.org
·
1d
1 day ago
·
Hacker News
Actions for Gravity has always been quantum mechanical: it is the wrong thing to quantise
tensor product of stable (infinity,1)-categories in nLab
🧠
LLMs
ncatlab.org
·
3d
3 days ago
Actions for tensor product of stable (infinity,1)-categories in nLab
The Floer Jungle
🔬
Science
Content type:
Academic
math.columbia.edu
·
5d
5 days ago
·
Hacker News
Actions for The Floer Jungle
TheoremBench
: Evaluating LLMs on Theorem Proving in Formal
Mathematics
🧠
LLMs
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