Comment by WarmWash

The obvious and primary application will not be on showy millennium problems or long sought conjectures, but on optimizations and breakthroughs surrounding transformers.