York Solutions, LLC used AI to translate Wiles' natural-language proof into the format used by the formal proof-checking system, Lean.

With 36 years of expertise, York Solutions stands as a leading Technology Consulting Firm, dedicated to providing tailored technology and talent solutions. Our commitment is to empower businesses to reach their utmost potential through innovative offerings such as Technology Solutions, Technology Workforce Solutions, and Emerging Talent Solutions. We pride ourselves on cultivating true partnerships with our clients and consultants, fostering enduring, trust-based relationships. Our mission revolves around delivering innovative, state-of-the-art solutions that propel companies toward the achievement of their business, technology, and operational goals. Our objective is to positively impact the lives, careers, and futures of technology professionals in our community. We place a paramount focus on delivering exceptional client and consultant care, with an emphasis on professional development. Think IT, our association for technology professionals, serves as a platform for fostering growth, networking, and collaboration. York's Emerging Talent Program, formerly known as the Barriers to Entry program, is dedicated to assisting individuals seeking entry into the tech workforce. This initiative connects aspiring individuals with companies in need of highly skilled technical and project management talent.

Founded 1989