AI achieves silver-medal standard solving International Mathematical Olympiad problems
AlphaProof and AlphaGeometry teamsdeepmind.google
AI achieves silver-medal standard solving International Mathematical Olympiad problems
But this was something new: a program as good as any human player. And it was entirely “self-taught”: initialized from a random state, and tuned over countless games against itself.
search. It answers complex queries with precision and insight, from mathematical equations to factual questions about the world.
When GPT-4 launched in March 2023, results were again impressive. As with its predecessors, you can ask GPT-4 to compose poetry in the style of Emily Dickinson and it obliges; ask it to pick up from a random snippet of The Lord of the Rings and you are suddenly reading a plausible imitation of Tolkien; request start-up business plans and the output
... See more