A user challenges AI labs to find a short proof of the four-color theorem
The appeal names OpenAI, Anthropic and Google DeepMind, arguing that mathematicians would unanimously welcome such a result.
TLDR
A user is urging frontier AI labs to find a short proof of the four-color theorem, calling that prospective achievement “historic.” Addressing OpenAI, Anthropic and Google DeepMind, the user predicts a unanimously positive reception from the mathematical community.
Combined views
20.8K
2 Sources, first seen ago