On: OpenAI withdraws three mathematical results

[measurablefunc]

Everything is a lookup table in non-standard arithmetic but that's not useful for someone writing the code b/c they don't have access to non-standard integers & have to write an algorithm to reconstruct it.