Internal post-Astra model is claimed to solve problems the world's best mathematicians cannot · Digg