The auto-formalization of mathematics versus law
(
2 comments
| 2 points
| on HN
)
Re:The auto-formalization of mathematics versus law
by turtleyacht on Monday September 07, 2026 @01:49PM
(#49600961)
Law has to remain tethered to humanist intent, not a steamroller of strong types.
[ Parent
| on HN ]
Re:The auto-formalization of mathematics versus law
by alansaber on Monday September 07, 2026 @02:09PM
(#49601172)
Certainly agreed, but this is more about refining unconstrained vibe-lawyering (and the resulting misfilings and hallucinations) than automating judgements. Even if we had a perfect steamroller of strong types, there would still be a lot of space for human judgement left in the practice of law.
[ Parent
| on HN ]