New math breakthrough: โn smaller programs

Found this video about this paper called
Simulating Time in Square-Root Space by Ryan Williams
https://eccc.weizmann.ac.il/report/2025/017/
Key insite it uses properties of numbers to compute the values of things and store them in one step
My thoughts ๐ค ๐ญ
I'm curious if the possibility of creating a compiler that implements this space-saving technique for pre-compiled programs. Or at compile time
Possible use cases are machine learning. Crunching large machine learning models into simple small programs.
Basically any program that can get smaller.
This is potentially a huge result
Call to action
Programmers get on this. I want a program I can enter in my code and it spits out a better smaller compiled program.
Astonishing discovery by computer scientist: how to squeeze space into time
Video created by
Kelsey Houston-Edwards
https://www.kelseyhoustonedwards.com/

Author 
by oran collins
github.com/wisehackermonkey
Super deep dive into the results