mastodon — John Carlos Baez — 7 Oct 2026
As threatened, OpenAI dropped a shitload of math papers. 722 to be precise: https://github.com/openai/math/blob/main/ove…
#mathematical-research #machine-learning-research #algebraic-topology
As threatened, OpenAI dropped a shitload of math papers. 722 to be precise: https://github.com/openai/math/blob/main/overview.pdf None solve Millennium Prize Problems or other ultra-famous conjectures. Paper number 312 proves a version of the Homotopy Hypothesis, one of my favorite math problems. I guess I was the first to call it the homotopy hypothesis. It says homotopy types are "the same&…