Humans beat AI at annual math Olympiad, but the machines are catching up

Humans beat AI programs made by Google and OpenAI at an international mathematics competition, but the technology shows some "very exciting" progress.