Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧮 Complexity Theory
NP-Completeness, Computational Complexity, P vs NP
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
4885
posts in
89.8
ms
Proof
Assistants
in the Age of AI
leodemoura.github.io
·
20h
·
Discuss:
Hacker News
🤖
AI
Learning with
Boolean
threshold
functions
arxiv.org
·
22h
🤖
Machine Learning
🧮 AI helps
mathematicians
solve problems that have been
unsolved
for decades
warpnews.org
·
16h
🤖
AI
LLMs and
Programming
in the first days of 2024
antirez.com
·
10h
·
Discuss:
Hacker News
🤖
Machine Learning
On the complexity of covering points by
disjoint
segments and by
guillotine
cuts
arxiv.org
·
22h
🤖
Machine Learning
Differential
Logic
• 9
inquiryintoinquiry.com
·
1d
♟️
Game Theory
Accountability
and AI
natemeyvis.com
·
6h
🤖
AI
On the Complexity of
Succinct
Interactive
Arguments
eprint.iacr.org
·
4d
♟️
Game Theory
ΛProlog
:
Logic
programming in higher-order
logic
lix.polytechnique.fr
·
4h
·
Discuss:
Hacker News
💬
LLMs
Complexity
Explorables
complexity-explorables.org
·
3d
·
Discuss:
Hacker News
🤖
AI
Step-by-Step
Math
Problem
Solver
quickmath.com
·
10h
·
Discuss:
Hacker News
➗
math
Behaviour
Trees
versus
State Machines
queenofsquiggles.github.io
·
13h
·
Discuss:
Hacker News
🤖
AI
🔗 Type
inference
of all
constructs
and the next 15 months
yellowduck.be
·
9h
💬
LLMs
Information Retrieval Part 3:
Vectorization
And
Transformers
(Not The Film)
searchenginejournal.com
·
12h
🤖
Machine Learning
The challenges of
measuring
AI
literacy
raspberrypi.org
·
1d
🤖
AI
Could AI
Supplant
a
Mathematician
?
news.columbia.edu
·
10h
🤖
AI
Gemini 3.1 Pro Leads Most Benchmarks But
Trails
Claude
Opus
4.6 in Some Tasks
trendingtopics.eu
·
1d
🤖
AI
4.5 Case Study:
Tuple
Space
mcs.anl.gov
·
1d
·
Discuss:
Lobsters
,
Hacker News
♟️
Game Theory
rllm-org/rllm
:
Democratizing
Reinforcement Learning for LLMs
github.com
·
14h
💬
LLMs
Vibe
Destroyer
: Agent
Anti-Patterns
medium.com
·
7h
·
Discuss:
r/webdev
🤖
AI
Loading...
Loading more...
Page 2 »
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
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