
#Conjecture
10 posts
Feed·
9 of 10 posts

🖼️
15s

🖼️
PSI’s AI System Produces a Lean-Checked Proof of the Aaronson-Ambainis Conjecture
15s

📰
Three new discoveries in mathematics, computer science, and physics
15s

🖼️
OpenAI says its AI model has disproved the Exponential Time Hypothesis
15s
Proofs of the Kannan–Lovász–Simonovits conjecture
15s

🖼️
A digestion of the proof of Sendov’s conjecture
Hacker News·3 months ago
#ukKuRhPN15s

📰
Mathematical AI helps researchers crack 50-year-old problem
15s
This conjecture is so underrated
15s

🖼️
The ‘Lonely Runner’ Problem Only Appears Simple
15s