Proofs as Observations
Published:
A question about AI and mathematics: could the proofs we obtain become the starting point for what we understand?
Published:
A question about AI and mathematics: could the proofs we obtain become the starting point for what we understand?
Published:
Takeaways from dinner with a senior — on postgraduate recommendation classes, research drive, confronting real-world affairs, and starting from X_0 to X_1.
Published:
A classic puzzle about finding one abnormal ball with a balance scale.
Published:
Reflections on uncertainty, exploration, and finding meaning beyond fixed paths.