ProofKnot is a proof-first platform for AI Theory, Algorithms, Computational Complexity, and Advanced Mathematics. From developing the judgment to ask the right mathematical questions at the right time to reconstructing some of the hardest proofs in mathematics and computer science, ProofKnot aims to revive a culture of deep theoretical thinking. A proof reconstruction unfolds step by step, helping learners not only understand why a proof is correct, but also see how they could have discovered it independently. We aspire to help students, engineers, and researchers understand rigorous mathematical ideas and connect them across theoretical disciplines.

ProofKnot is founded by Amit Bendkhale, a mathematician with experience in AI research. Amit received his bachelor's and master's degrees in Applied Mathematics from the Indian Institute of Technology Roorkee and has worked in research roles involving computational geometry, 3D vision, and AI safety.

"Mathematics is the art of giving the same name to different things." - Henri Poincaré, 1908