01Entry
Sharing AI Progress in Mathematics
OpenAI's post on AI progress in mathematics, 244 points / 190 comments on HN; links an openai/math repo whose preprints include a proof of Barnette's Conjecture.
01Entry
OpenAI's post on AI progress in mathematics, 244 points / 190 comments on HN; links an openai/math repo whose preprints include a proof of Barnette's Conjecture.