Mathematics can be codified and compiled exactly into global open resources for all humans and their AIs
The current “AIs” are using lossy, “learn it from bad examples on the web” methods. No verification, no records, no permanent copy of steps to refine and share. Just because there are some good worked out mathematical examples on the free Internet that some AIs are able to plagiarize, does not mean a generative index
Read More »