bug-bounty526
xss286
rce146
bragging-post119
account-takeover106
google105
open-source95
exploit95
privilege-escalation92
authentication-bypass88
csrf85
facebook79
microsoft75
stored-xss75
access-control69
web-security68
cve65
ai-agents64
reflected-xss63
writeup63
malware62
ssrf55
input-validation55
smart-contract49
phishing49
cross-site-scripting48
defi48
information-disclosure47
api-security47
sql-injection47
tool46
ethereum45
privacy44
cloudflare40
vulnerability-disclosure38
reverse-engineering37
apple37
web-application37
burp-suite37
llm37
opinion36
automation36
web334
remote-code-execution34
dos34
html-injection34
oauth34
lfi34
smart-contract-vulnerability33
responsible-disclosure33
0
2/10
Axiom, a startup founded by Rhodes Scholar Carina Hong, raised $200M Series A at $1.6B valuation to develop Verified AI systems that generate formally verified code using Lean, guaranteeing mathematical correctness and eliminating hallucinations and security vulnerabilities that standard LLMs produce. The company claims a 12/12 perfect score on the Putnam Competition (achieved by only 5 humans in 98 years) and demonstrated transfer learning to solve open mathematical conjectures.
formal-verification
ai-code-generation
verified-ai
lean-programming-language
mathematical-proofs
code-safety
buffer-overflow
security-vulnerabilities
machine-learning
software-correctness
Axiom
Menlo Ventures
Carina Hong
Ken Ono
Shubho Sengupta
François Charton
Putnam Competition
Stanford
MIT
Meta AI
NVIDIA
Facebook AI Research