Anyone else is just not interested in deepmind? They keep releasing "breakthrough" after "breakthrough" with zero code release. I just checked and I still can't do anything with alphaproof, almost a year later. They might as well tell me they solved world hunger, can stop aging and discovered a way to travel FTL.
They have a tendency to make impressive blog posts way, way before they can figure out how to make products. In the spirit of openness it's nice to know what they're working on, but yeah it's important to add a couple years to any availability estimation.
