The Final Benchmark
AI benchmarks keep getting saturated. Formal Conjectures, built on open math problems in Lean, offers a verifiable alternative that can scale with intelligence.
Huschi's Blog
My Blog about various ideas of mine. Mostly math and technical, sometimes philosophical. You can subscribe to this blog via RSS Feed If you want to tal...
Latest posts
Autoproving: The future of Math
AI autoproving is changing mathematics forever. Explore the spectrum from current systems to the Math Singularity and what it means.