A government-funded program that provides subsidized or free access to AI proof assistants *and* reliable internet access for underprivileged students. The program also includes digital literacy training for families to maximize the benefits of the technology.