Hicks Links ArkLib to AI Breakthroughs in Lean

Alexander Hicks posted that formalization of coding theory and IOPs in ArkLib enabled better.codes which enabled breakthroughs with AI in Lean now helping progress the academic literature which will be formalized in turn. Patrick Shafto, professor of math and computer science at Rutgers-Newark and co-founder of Redpoll.ai, retweeted the statement from Hicks. The post also references ethereumfndn and a reply to a status by kaizhengcs. The packet contains only these social media posts and presents no independent confirmation of the claimed connections or outcomes.