AI solves IMO problems at silver medal level

Re:AI solves IMO problems at silver medal level by Davidzheng on Thursday July 25, 2024 @01:39PM (#41071271)

Good. I want my AI to use all the advantages it has to reinvent the landscape of mathematics

[ Parent | on HN ]

Re:AI solves IMO problems at silver medal level by YeGoblynQueenne on Friday July 26, 2024 @06:54AM (#41077561)

Sure but note that's not "your AI". It's a closed-source, proprietary system by DeepMind who typically publish a result to reap the hype and then bury the system forever (see AlphaGo).

[ Parent | on HN ]

Re:AI solves IMO problems at silver medal level by lucioperca on Friday July 26, 2024 @08:13AM (#41077948)

https://github.com/leela-zero/leela-zero

You can just use another implementation nowadays.

[ Parent | on HN ]

Re:AI solves IMO problems at silver medal level by YeGoblynQueenne on Friday July 26, 2024 @03:23PM (#41081463)

And how does Leela compare to AlphaGo?

(We don't know because we can't run AlphaGo to compare them).

[ Parent | on HN ]

Re:AI solves IMO problems at silver medal level by wslh on Friday July 26, 2024 @09:13AM (#41078358)

> I want my AI to use all the advantages it has to reinvent the landscape of mathematics

The interesting thing about math, or science, and art in general, comparing it to games like chess or go is that science gives you the freedom to continue to excel as a human while in games we have lost the game and/or the league.

Science and art are infinite and no AI can produce infinity.

[ Parent | on HN ]