Tag: side projects

All the articles with the tag "side projects".

• I Tried to Build an AI Formalizer for Mathematics

  4 Sep, 2026

  An attempt to turn math papers into Lean proofs, and what happens when you design a framework before understanding the work.