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
9.1
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
·
16h
16 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
·
31m
31 minutes 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
Mathematical
proof
reveals why fixed AI guardrails can never block every jailbreak
🤖
AI Agents
techxplore.com
·
6h
6 hours ago
Actions for Mathematical proof reveals why fixed AI guardrails can never block every jailbreak
igomez10/linearalgebra
: Linear
algebra
concepts implemented in Go, mainly
matrix
manipulation
📚
RAG
Content type:
Code
github.com
·
6d
6 days ago
·
Hacker News
,
Hacker News
Actions for igomez10/linearalgebra: Linear algebra concepts implemented in Go, mainly matrix manipulation
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
·
13h
13 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Gravity has always been quantum mechanical: it is the wrong thing to quantise
🔬
Science
zenodo.org
·
22h
22 hours ago
·
Hacker News
Actions for Gravity has always been quantum mechanical: it is the wrong thing to quantise
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
Jacques Hadamard (1865 – 1963)
🔭
Astronomy
grokipedia.com
·
6d
6 days ago
·
Hacker News
Actions for Jacques Hadamard (1865 – 1963)
Every set of AI guardrails can be broken by the right prompt
⚙️
DevOps
helpnetsecurity.com
·
14h
14 hours ago
Actions for Every set of AI guardrails can be broken by the right prompt
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)
The power-spectrum tensor in
steady-state
systems and its role in quantum friction
🖥️
Hardware
iopscience.iop.org
·
9h
9 hours ago
Actions for The power-spectrum tensor in steady-state systems and its role in quantum friction
The Best
Math
Movies: Lives Written on the Board
🤖
AI
abakcus.com
·
2d
2 days ago
Actions for The Best Math Movies: Lives Written on the Board
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
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