AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Theorem Proving Is a Good Thing, Right?
The tricky part about the benchmarks is, you know, as we are getting closer with them, we have to invent new benchmarks. There is actually no ultimate benchmark out there. So my intuition is that from perspective of the evolution of this AI systems will at first see the tremendous progress in digital space.