Actual results: https://github.com/openai/math/blob/main/overview.pdf
HTML version, https://github.com/openai/math/blob/main/CONTENTS.md