Breakthroughs

• OpenAI's unreleased AI writes 722 math papers

  OpenAI posted 722 math papers from an unreleased model on GitHub on the 6th of October and withdrew 3 in a change log dated the 7th. About 42 in every 100 main results come with a proof a computer has checked, the company says.