Comment by azan_

AI agents that can solve frontier math problems, something that few years ago was decades away.