The AI Future of Math, Logic, and Humanity AITP-2019 Assume a - - PowerPoint PPT Presentation

▶

$the ai future of math logic and humanity$

Oct 14, 2022 448 likes •530 views

The AI Future of Math, Logic, and Humanity AITP-2019 Assume a future where AI does (human-level) math, but 1M times faster. What we be the short/long-term consequences? 10 6 Assume a future where AI does (human-level) math, but 1M

SLIDE 1

The AI Future of Math, Logic, and Humanity

AITP-2019

SLIDE 2

◮ Assume a future where AI does (human-level)

math, but 1M times faster. What we be the short/long-term consequences?

×106

SLIDE 3

◮ Assume a future where AI does (human-level)

math, but 1M times faster. What we be the short/long-term consequences?

◮ Will the demand for human mathematicians increase or decrease? ◮ Will this translate to a similar effect in math-heavy sciences (e.g. physics, computer science)? ◮ How fast will we reach the singularity?

×106

SLIDE 4

◮ What are the limits of machine learning

techniques for learning very hard properties?

SLIDE 5

◮ What are the limits of machine learning

techniques for learning very hard properties?

◮ How far can we approximate undecidable questions? ◮ How far can we approximate complex algorithms and reasoning? ◮ How well can we emulate computationally expensive algorithms?

SLIDE 6

◮ After we “solve” math, how much harder is

common-sense reasoning?

SLIDE 7

◮ After we “solve” math, how much harder is

common-sense reasoning?

◮ Is this an inference problem or a modelling problem? ◮ What are the effects on society and how can we manage them?