What is human-level mathematical reasoning?

William Thurston speaking at Harvard in 2007.

Mathematics is unpredictable. That’s what makes it exciting. New things happen. William Thurston, May 14, 2007

It’s a gloomy, rainy, almost wintry day in Paris, which I don’t always love when it drizzles, and I’m starting to write the next entry in this newsletter, trying to figure out what, if anything, Christian Szegedy had in mind when he predicted, as I reported a few weeks ago, that “Autoformalization could enable the development of a human level mathematical reasoning engine in the next decade.” Is there exactly one “human level”? The expression is common among the knights of the artificial intelligence community, whose grail is something called “human level general AI.”

Part 1 of the text continues.

2 thoughts on “What is human-level mathematical reasoning?

  1. jean-michel Kantor

    thanks for interesting text !

    Le mer. 17 nov. 2021 à 07:57, Mathematics without Apologies, by Michael Harris a écrit :

    > mathematicswithoutapologies posted: ” William Thurston speaking at Harvard > in 2007. Mathematics is unpredictable. That’s what makes it exciting. New > things happen. William Thurston, May 14, 2007 It’s a gloomy, rainy, almost > wintry day in Paris, which I don’t always love when” >

    Like

    Reply

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s