This is a list of trackers regarding math proofs obtained with the help of AI.
1. Mathworld List of AI proofs.
2. OEIS AI Claim Tracking
3. VibeMathed
The list will be updated....
1. Mathworld List of AI proofs.
2. OEIS AI Claim Tracking
3. VibeMathed
The list will be updated....
┌────────────────────────────────┐
│ KONSTANTINOS MICHAILIDIS │
└────────────────────────────────┘
│ KONSTANTINOS MICHAILIDIS │
└────────────────────────────────┘