bug-bounty527
xss286
rce147
bragging-post119
google118
account-takeover107
exploit100
open-source95
privilege-escalation92
facebook89
authentication-bypass88
microsoft87
csrf85
stored-xss75
malware71
access-control69
web-security68
cve66
ai-agents64
reflected-xss63
writeup63
ssrf55
input-validation55
phishing50
smart-contract49
defi48
cross-site-scripting48
api-security47
sql-injection47
apple47
information-disclosure47
tool46
ethereum45
privacy44
cloudflare40
browser38
vulnerability-disclosure38
reverse-engineering38
llm37
burp-suite37
web-application37
automation36
opinion36
web335
oauth35
html-injection34
dos34
remote-code-execution34
lfi34
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