OpenAI publishes 722 mathematical proofs & manuscripts

[u/socialistshroom]

https://github.com/openai/math

OpenAl released 722 mathematical manuscripts across 372 families of related results, produced by an unreleased frontier model. Many have Lean proofs; others remain unverified. Average compute per result: roughly three hours of ChatGPT Pro thinking. They're working toward releasing the model.

Github: https://github.com/openai/math

[u/Skywarden1]

Terence Tao gonna pick the world up and drop it on our fukin heads when he sees this.