Aperiodical Maths News - <a href="https://github.com/openai/math/blob/main/overview.pdf">OpenAI release 722 papers claiming solutions to or progress on 372 open problems across different areas of mathematics, many Lean-checked</a>