Problems that current models still cannot solve, with or without transcripts. Negative results, collected on purpose.
▲ 3
Chromatic Number of Knotlessly Embeddable Graphs
1 attempt · added by Alex Meiburg · 8d ago
▲ 2
Kino's Poker Stacking
0 attempts · added by Tom De Groot · 8d ago
▲ 2
Computability of Shannon Capacity
1 attempt · added by Alex Meiburg · 8d ago
▲ 1
Moser's Worm
1 attempt · added by Dan Stoyell · 5d ago
▲ 1
Quantum Primality Testing in O(n polylog n)
0 attempts · added by Steve Flammia · 6d ago
▲ 1
PPT-squared conjecture
1 attempt · added by Jimbles McSquimbles · 8d ago
▲ 1
Weak Simulability of Separable Quantum Circuits
1 attempt · added by Alex Meiburg · 8d ago
▲ 1
Existence of SRG(400,21,2,1)
1 attempt · added by Alex Meiburg · 9d ago
▲ 1
Approximate degree composition conjecture
1 attempt · added by Alex Meiburg · 9d ago
▲ 0
Generate the specifications to build it form a web app (app2spec)
0 attempts · added by mx · 7d ago
▲ 0
Simple 4 digit multiplication with transposed digits
0 attempts · added by Sashank Tirumala · 8d ago
▲ 0
Existence of SRG(3250,57,0,1)
1 attempt · added by Alex Meiburg · 8d ago