Inspiration
I was looking for a mathematically tough problem to solve which cannot be easily automated by AI Generated Code or the huge LLM Behemoth Blackholes. I chose two problems in the Cybersecurity industry as while solving these problems I am not only competing with Competitors but also very smart Hackers from around the world who are using the AI Generated Cyberattacks to launch non-stop 24/7/365 Attacks on all Computing Installations.
What it does
Mathematically Verifies that a Cybersecurity Vulnerability exists in the the huge amount of Machine Generated Code. Machine Generated Code is Probabilistic and Non-deterministic. Mathematical Reasoning ensures that the it is bounded and correct.
How we built it
OpenAI, Flask, and Z3 Formal Proving Library
Challenges we ran into
Steve Jobs' Macintosh Crashing 30 minutes before the Submission Deadline and we losing all out content!!!
Accomplishments that we're proud of
Mathematically Verified Reasoning Engine!
What we learned
Never Trust Machines!!! They will fail you at the Critical Junctures!
What's next for CodeNova - Mathematically Proved Reasoning Engine
Build the Entire Product and sell it to Large Software Companies all over the world!
Built With
- flask
- library
- python
- typescript
- z3
Log in or sign up for Devpost to join the conversation.