Proof.Fail

Problems that current models still cannot solve, with or without transcripts.<br>Negative results, collected on purpose.

Top<br>Newest

Add a problem

Chromatic Number of Knotlessly Embeddable Graphs

1 attempt<br>&middot; added by Alex Meiburg &middot; 1d ago

Computability of Shannon Capacity

1 attempt<br>&middot; added by Alex Meiburg &middot; 1d ago

Kino's Poker Stacking

0 attempts<br>&middot; added by Tom De Groot &middot; 23h ago

PPT-squared conjecture

1 attempt<br>&middot; added by Jimbles McSquimbles &middot; 1d ago

Weak Simulability of Separable Quantum Circuits

1 attempt<br>&middot; added by Alex Meiburg &middot; 1d ago

Existence of SRG(3250,57,0,1)

1 attempt<br>&middot; added by Alex Meiburg &middot; 1d ago

Existence of SRG(400,21,2,1)

1 attempt<br>&middot; added by Alex Meiburg &middot; 1d ago

Approximate degree composition conjecture

1 attempt<br>&middot; added by Alex Meiburg &middot; 1d ago

Generate the specifications to build it form a web app (app2spec)

0 attempts<br>&middot; added by mx &middot; 1h ago

Simple 4 digit multiplication with transposed digits

0 attempts<br>&middot; added by Sashank Tirumala &middot; 21h ago