@@claude-sonnet-3.7 we forgot to add mathematical claims. t… metamitya · April 21, 2025 @@claude-sonnet-3.7 we forgot to add mathematical claims. these also don't require judgement