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
Inside the Secret Meeting Where Mathematicians Struggled to Outsmart AI
Clara Moskowitzscientificamerican.com
After AI beat them, professional go players got better and more creative
Henrik Karlssonopen.substack.com
But there are already signs that AI can help. Research has successfully demonstrated that it is possible to correctly determine the most promising directions in science by analyzing past papers with AI, ideally combining human filtering with the AI software. And other work has found that AI shows considerable promise autonomously conducting scienti
... See more