Tech
Briefing: Compression is all you need: Modeling Mathematics
Strategic angle: Exploring the relationship between human mathematics and formal mathematics.
editorial-staff
1 min read
Updated 19 days ago
The recent publication titled 'Compression is all you need: Modeling Mathematics' on ArXiv discusses the disparity between human mathematics (HM) and formal mathematics (FM).
Human mathematics represents a small fraction of the broader landscape of formal mathematics, which encompasses all valid deductions.
This analysis raises important questions regarding the implications of this relationship for mathematical modeling and understanding within the field.