OpenAI has made the openai/math repository public on GitHub, which includes mathematical manuscripts generated by internal models and Lean formal proofs, covering long-standing unsolved conjectures like Barnette and Unique Games. Community discussions mentioned that the list covers 90 of the top 500 open problems in mathematics, including a polynomial-time algorithm for three-machine unit job scheduling that has remained unsolved since 1979; these contents have not yet been independently verified.