Math AGI
topic on 1 show · 2 statements across 2 episodes
2 statements about Math AGI, every show
Hong: Informal math systems will not achieve math AGI
“I'm going to say on the record, we do not believe that an informal math system is going to be the math AGI solution.”
Math AGI requires solving open problems and winning a Fields Medal
“The next step is trying to solve some open problems. That's like open for 30 years, 50 years. And then I think the ultimate goal is to Solve like a very challenging problem. I create a new theory and then win a field medal. That's how, how I define a math AGI …”