The auto-formalization of mathematics versus law
Alan Yahya, writing on his blog, argues that while Anthropic's auto-formalization of Fermat's last theorem shows AI can structure vast literature, applying similar formal methods to law faces fundamen…