Open AI has uploaded 372 families of mathematical results. A step towards progress of humanity. P vs NP next ??? Golden age of mathematics is here!!!
Several open mathematic problems results have been uploaded on GitHub by OpenAI. This is overwhelmingly awesome, we have more mathematics work done than any amount of humans can manually solve in several centuries. Lean solution are also published for some results. Below is the link of the GitHub r…
Read the full story at r/agi ↗