YouTube2Text

You Truly Don't Understand What Just Happened to Mathematics — Transcript

by Prof Gio | Giordano Scarciotti · 2,125 words · 372 segments · language en · Watch on YouTube

Full transcript

  1. 0:00Imagine that tomorrow morning you wake
  2. 0:01up to the news that an American flag has
  3. 0:04appeared on Mars. There is a photograph
  4. 0:06and newspapers around the world are
  5. 0:07announcing it as our biggest
  6. 0:09achievement.
  7. 0:10Except there is one small tiny problem.
  8. 0:13No one built a rocket. No one invented
  9. 0:16new propulsion systems, developed new
  10. 0:18materials, or figured out how to keep
  11. 0:20astronauts alive on the journey. The
  12. 0:22flag just magically appeared. Now, would
  13. 0:25that be an achievement? Well,
  14. 0:28technically yes, there is a flag on
  15. 0:29Mars, but would humanity be any closer
  16. 0:32to becoming a spacefaring civilization?
  17. 0:35I'm not sure about that. And this is
  18. 0:37exactly the mistake I think we're making
  19. 0:40with mathematics. Most people that think
  20. 0:42that mathematical research is about
  21. 0:44solving problems. The harder the
  22. 0:46problem, the greater the achievement
  23. 0:48when somebody finally solves it. But
  24. 0:51that's a fundamental misunderstanding of
  25. 0:53how mathematics advances. Over the next
  26. 0:5510 minutes, I want to challenge the way
  27. 0:58you think about mathematics and explain
  28. 1:00why this misunderstanding could have two
  29. 1:03serious consequences for the future of
  30. 1:05science. Artificial intelligence is
  31. 1:07solving hundreds of problems that have
  32. 1:09resisted the world's greatest
  33. 1:10mathematicians for decades. OpenAI
  34. 1:13recently announced a solution to one of
  35. 1:15the famous Millennium Prize problems,
  36. 1:17followed by hundreds of other
  37. 1:18mathematical results. And mathematicians
  38. 1:20are upset.
  39. 1:22Why so? Isn't solving problems exactly
  40. 1:25what mathematicians are supposed to do?
  41. 1:27If you read the comments online, the
  42. 1:29explanation is apparently very simple.
  43. 1:31Mathematicians are terrified because AI
  44. 1:34is coming for their jobs. And frankly, I
  45. 1:36find this explanation deeply concerning
  46. 1:39because it is missing something
  47. 1:41enormously important.
  48. 1:43Let me tell you a story. In 1736, a
  49. 1:46mathematician called Leonhard Euler
  50. 1:48investigated what may be one of the most
  51. 1:50pointless problems in the history of
  52. 1:52mathematics. In the city of Königsberg,
  53. 1:55there was a river with two islands and
  54. 1:57seven bridges connecting the different
  55. 1:59parts of the city. And people wondered
  56. 2:01whether it was possible to take a walk
  57. 2:03across all seven bridges without
  58. 2:05crossing any bridge more than once.
  59. 2:08That's it. That was the problem. And
  60. 2:10Euler, one of the greatest
  61. 2:12mathematicians who ever lived, decided
  62. 2:14to investigate it. He eventually proved
  63. 2:16that that the answer was no, but you
  64. 2:19cannot do it.
  65. 2:20Well, that's fantastic. One of the
  66. 2:22greatest minds in human history had
  67. 2:24established that you couldn't take a
  68. 2:26particular walk around a particular
  69. 2:28city. An achievement that was, for all
  70. 2:30practical purposes, completely useless.
  71. 2:33But that's not the point. To solve this
  72. 2:35ridiculous problem, Euler realized that
  73. 2:38he could ignore almost everything about
  74. 2:40the city. He didn't need to know how
  75. 2:42long the bridges were, where the roads
  76. 2:44went, and even the shape of the river.
  77. 2:46All that mattered was how the different
  78. 2:48pieces of land were connected. So, he
  79. 2:51developed a mathematical way of
  80. 2:53representing those connections,
  81. 2:54stripping away all the irrelevant
  82. 2:56details.
  83. 2:58And that idea helped establish an
  84. 3:00entirely new branch of mathematics,
  85. 3:01graph theory.
  86. 3:03Today, graph theory is fundamental to
  87. 3:05computer networks, internet routing,
  88. 3:07logistics, transportation systems, and
  89. 3:10countless algorithms that we rely on
  90. 3:12every single day. All of this can trace
  91. 3:15part of its mathematical history back to
  92. 3:17a man wondering whether he could cross
  93. 3:19seven bridges without repeating one.
  94. 3:22Now, imagine Euler had access to an
  95. 3:24incredibly powerful AI. He types in the
  96. 3:27question, "Can I cross all seven bridges
  97. 3:29without repetitions?" And the AI
  98. 3:31immediately responds, "No, it's not
  99. 3:34possible." Well, that's brilliant.
  100. 3:36Problem solved. Except, would we have
  101. 3:38discovered graph theory?
  102. 3:40Maybe, or maybe not. Because the
  103. 3:42important thing Euler produced was not
  104. 3:44the answer. It was the mathematics he
  105. 3:46developed while searching for it. And
  106. 3:48this is something about mathematical
  107. 3:49research that I think is rarely
  108. 3:51explained to the public.
  109. 3:53Mathematics is really weird. A huge part
  110. 3:56of mathematical research is not about
  111. 3:58finding answers. It's about developing
  112. 4:01new mathematics in the process of
  113. 4:03looking for them.
  114. 4:04Mathematicians spend years investigating
  115. 4:07questions with no obvious practical
  116. 4:09application. And sometimes, in the
  117. 4:11struggle to answer them, they discover
  118. 4:13ideas that turn out to be far more
  119. 4:15important than the original problem.
  120. 4:17Which brings me back to the flag on
  121. 4:19Mars. Think about the Apollo program.
  122. 4:22What was the objective? Well, definitely
  123. 4:24put a human on the moon. But, in working
  124. 4:27towards that objective, humanity made
  125. 4:29enormous scientific and engineering
  126. 4:31progress. Computers, guidance systems,
  127. 4:34new materials, propulsion, manufacturing
  128. 4:36techniques, medical discoveries, all
  129. 4:38sorts of technologies that have uses
  130. 4:41well beyond putting someone on the moon.
  131. 4:44Now, imagine we could achieve the same
  132. 4:46objective by simply teleporting Neil
  133. 4:48Armstrong on the lunar surface.
  134. 4:50We would have reached moon, but missed
  135. 4:52out much of the technological
  136. 4:54development that made the mission so
  137. 4:56valuable. And this is the danger of
  138. 4:58treating mathematical problems like a
  139. 5:00gigantic checklist. One problem solved,
  140. 5:03another achievement unlocked. Look at
  141. 5:05how much science we're doing. Except,
  142. 5:07are we?
  143. 5:08Recently, OpenAI announced the a
  144. 5:10solution to the Navier-Stokes Millennium
  145. 5:12Prize Problem. Now, the Navier-Stokes
  146. 5:14equations are incredibly useful. They
  147. 5:16describe how fluids move, and we use
  148. 5:19them for everything from designing
  149. 5:21airplanes to predicting the weather.
  150. 5:23But, what about the Navier-Stokes
  151. 5:25Millennium Prize Problem? Practically,
  152. 5:27that problem is useless. Utility was not
  153. 5:31the reason this problem was selected as
  154. 5:33a Millennium Prize Problem. The reasons
  155. 5:36were its ability to stimulate deep
  156. 5:38mathematical research and its potential
  157. 5:40to advance mathematical understanding.
  158. 5:43The point was never simply to get the
  159. 5:45answer. In fact, the problem asks a very
  160. 5:47abstract mathematical question. Can
  161. 5:50these equations develop singularities,
  162. 5:52which are points where the mathematical
  163. 5:54description breaks down? OpenAI
  164. 5:56constructed a very particular example
  165. 5:59where this happens by applying a
  166. 6:00carefully constructed external force to
  167. 6:02a fluid initially at rest.
  168. 6:05That's an impressive demonstration of
  169. 6:07what AI can do, but that does not
  170. 6:09automatically make it an important
  171. 6:11advance in mathematics. In fact, what we
  172. 6:14have actually gained from it? Can we now
  173. 6:16design better airplanes, predict the
  174. 6:18weather more accurately, understand how
  175. 6:20real fluids behave in ways we couldn't
  176. 6:22before?
  177. 6:24No.
  178. 6:24What we have is an incredibly
  179. 6:26complicated mathematical construction
  180. 6:28that proves that something about a very
  181. 6:29particular, rather artificial scenario.
  182. 6:32And don't misunderstand me, there is
  183. 6:34nothing wrong with investigating
  184. 6:36abstract mathematical questions. That's
  185. 6:38precisely what mathematicians have been
  186. 6:40doing for centuries. But remember Euler
  187. 6:43and his seven bridges. The answer to
  188. 6:45that problem was completely useless.
  189. 6:48What made Euler's work extraordinary was
  190. 6:50graph theory, the new mathematics that
  191. 6:52came out of it. So, the question is,
  192. 6:55where is the graph theory of OpenAI's
  193. 6:57Navier-Stokes solution? Perhaps there
  194. 6:59are some generally useful mathematical
  195. 7:00ideas deep inside the proof, which
  196. 7:03others will eventually discover and
  197. 7:05develop. But right now, we're
  198. 7:07celebrating the fact that an AI has
  199. 7:09apparently solved a famous problem
  200. 7:11without having established the whether
  201. 7:13the solution has given us anything
  202. 7:15valuable. The point is that mathematics
  203. 7:17is not like other research fields. There
  204. 7:19is a fundamental difference between
  205. 7:21solving an abstract mathematical problem
  206. 7:23and solving a practical scientific
  207. 7:26challenge. If an AI discovers a cure for
  208. 7:28cancer or makes a nuclear fusion
  209. 7:31commercially viable, that's an
  210. 7:32extraordinary achievement with immediate
  211. 7:35implications for society. But most pure
  212. 7:38mathematical problems don't work like
  213. 7:39that. The history of mathematics is full
  214. 7:42of seemingly pointless questions that
  215. 7:44ended up changing the world. Not because
  216. 7:46somebody finally answered them, but
  217. 7:48because of the mathematics developed
  218. 7:50along the way. Sometimes becoming useful
  219. 7:53centuries after the mathematicians who
  220. 7:55developed it were dead. And while we are
  221. 7:58celebrating all these problems being
  222. 8:00solved, there is an even more
  223. 8:02fundamental and important problem.
  224. 8:04Imagine you are a 17 years old. You are
  225. 8:07exceptionally good at mathematics. You
  226. 8:09love solving problems. You love the
  227. 8:11challenge. And you are thinking about
  228. 8:13becoming a mathematician. You know, it's
  229. 8:16going to take years of studying, a
  230. 8:18university degree, a PhD, maybe several
  231. 8:21years as a post-doctoral researcher. And
  232. 8:23after all that, if you're talented, hard
  233. 8:26working, and a little lucky, perhaps you
  234. 8:29will eventually make some important
  235. 8:31mathematical discoveries of your own.
  236. 8:33But then, you open your phone, and every
  237. 8:35week there is another headline. AI
  238. 8:37solves a problem mathematicians couldn't
  239. 8:39crack for decades. AI discovers hundreds
  240. 8:42of new theorems. Another mathematical
  241. 8:43problem solved in hours that may have
  242. 8:46taken humans years. And you're sitting
  243. 8:48there, age 17, wondering what the world
  244. 8:51is going to look like by the time you
  245. 8:53finish your PhD. Perhaps another 10
  246. 8:56years from now.
  247. 8:57Would you still want to become a
  248. 8:58mathematician?
  249. 9:00I'm not sure about that.
  250. 9:02And before somebody says, "Well, people
  251. 9:04will study mathematics before they enjoy
  252. 9:06it." Yes, of course, but let's be
  253. 9:08serious for a moment. Research is not an
  254. 9:10hobby that people do for a couple of
  255. 9:13hours on Sunday afternoon. It takes
  256. 9:15years of enormous personal commitment,
  257. 9:17often with considerably uncertainty
  258. 9:19about your career. And one of the
  259. 9:21biggest motivations for becoming a
  260. 9:23researcher is the possibility of
  261. 9:25contributing something genuinely new to
  262. 9:27human knowledge. Now, imagine growing up
  263. 9:30in a world where you are constantly
  264. 9:31being told that whatever problem you're
  265. 9:33working on, an AI will probably solve it
  266. 9:36before you even start understanding it.
  267. 9:39What does that do to your motivation? I
  268. 9:41supervise PhD students and I can tell
  269. 9:43you that doing research is hard. You can
  270. 9:45spend months, sometimes years working on
  271. 9:48something and make no visible progress.
  272. 9:51Sometimes you begin to wonder whether
  273. 9:53you are capable of solving the problem
  274. 9:55at all. What keeps you going is the
  275. 9:57possibility that eventually you will
  276. 9:58understand something nobody understood
  277. 10:00before. Now, imagine that in the middle
  278. 10:03of all the struggle you discover that
  279. 10:05some AI has already solved your problem
  280. 10:07and then the next one and then the next.
  281. 10:10How many times does that need to happen
  282. 10:12before you begin to wonder whether you
  283. 10:14are dedicating your life to a race you
  284. 10:16have already lost?
  285. 10:18And the consequence wouldn't be
  286. 10:19immediate. Mathematicians don't just
  287. 10:22appear out of nowhere. Mathematics
  288. 10:24depends on an entire ecosystem of
  289. 10:26students, researchers, and professors
  290. 10:29built up over generations. Now, imagine
  291. 10:32that over the next 20 years a
  292. 10:33significant number of talented students
  293. 10:36decide not to enter that ecosystem. Not
  294. 10:38because they dislike mathematics, but
  295. 10:40because they have been convinced that
  296. 10:42there is no future in contributing to
  297. 10:44it.
  298. 10:45Initially, nothing dramatic happens. The
  299. 10:47existing professors are still there.
  300. 10:49Universities continue publishing a
  301. 10:52research. AI keeps producing more
  302. 10:54mathematical results than ever before.
  303. 10:57Everything looks fantastic.
  304. 10:59Except that slowly the community of
  305. 11:01people capable of independently
  306. 11:03understanding advanced mathematics
  307. 11:06begins to shrink and eventually we could
  308. 11:08find ourselves in a rather awkward
  309. 11:10situation. We have access to more
  310. 11:12mathematical knowledge than any
  311. 11:14generation in human history, but fewer
  312. 11:16and fewer humans are capable of
  313. 11:18understanding it. And at this point you
  314. 11:20may say, "So what? If AI can do
  315. 11:23mathematics better than humans, why do
  316. 11:25we need mathematicians at all?"
  317. 11:28Well, imagine an AI designs a completely
  318. 11:30new airplane. It produces an incredibly
  319. 11:32sophisticated mathematical analysis
  320. 11:34demonstrating that the design is safe.
  321. 11:37Except that the mathematics is so
  322. 11:38complicated that nobody really
  323. 11:40understands it. So, we ask another AI to
  324. 11:42check the calculation and well,
  325. 11:44everything looks good. Everything looks
  326. 11:46correct. But what if the original model
  327. 11:48was wrong? What if an important physical
  328. 11:50effect that was missing from the
  329. 11:52equations? The calculation could be
  330. 11:54flawless, but the aircraft could still
  331. 11:57be unsafe. And we need people who
  332. 11:59understand mathematics deeply enough to
  333. 12:02recognize those problems. People who can
  334. 12:04question assumptions, challenge
  335. 12:07established methods, and develop
  336. 12:09entirely new ways of thinking when the
  337. 12:11existing ones aren't good enough. That
  338. 12:14expertise takes years to develop. If we
  339. 12:16stop developing it, we may eventually
  340. 12:18become completely dependent on systems
  341. 12:21we can no longer challenge. And I find
  342. 12:23that prospect generally frightening.
  343. 12:26This is actually why I decided to make
  344. 12:28this video. This morning I opened Reddit
  345. 12:31and I saw yet another comment dismissing
  346. 12:33mathematicians as a bunch of people
  347. 12:35terrified of losing their jobs. And
  348. 12:38frankly, it made me angry because this
  349. 12:40is so much bigger than that. Reducing
  350. 12:42these concerns to mathematicians
  351. 12:44protecting their jobs is incredibly
  352. 12:46short-sighted. Of course, some
  353. 12:48mathematicians will be worried about
  354. 12:50their careers. Despite what one may
  355. 12:52think, they are human beings and they
  356. 12:55have every right to worry about their
  357. 12:57livelihoods. But the much bigger issue
  358. 12:59is what happens to mathematics itself.
  359. 13:01Mathematics has given us an
  360. 13:03extraordinary ability to understand and
  361. 13:05transform the world. And that didn't
  362. 13:07happen because somebody handed us a long
  363. 13:10list of correct answers. It happened
  364. 13:12because generations of researchers
  365. 13:14developed new mathematical ideas
  366. 13:16building on the work of those who came
  367. 13:18before them. And because new generation
  368. 13:20of students kept joining that process.
  369. 13:23And those are the two things we cannot
  370. 13:25afford to lose. Thank you for watching.
  371. 13:30>> [music]
  372. 13:42[music]

About this transcript

This page contains the full transcript of You Truly Don't Understand What Just Happened to Mathematics by Prof Gio | Giordano Scarciotti, generated from the public captions YouTube serves with the video. The transcript has 2,125 words across 372 segments, with the original timestamps preserved so you can click any line to jump to that moment in the embedded player.

What you can do with it

Use the transcript to take notes, quote the speaker, build a study guide, generate a summary with ChatGPT or Claude via the YouTube Summary tool, or export it as a timed subtitle file with YouTube to SRT. You can also re-open it in the transcriber to translate the transcript into 100+ languages.

Free YouTube transcript tool

YouTube2Text is a free YouTube transcript generator — no signup, no daily limit. Paste any YouTube link and get the full transcript instantly, with timestamps, click-to-jump, translation to 100+ languages, AI prompts for ChatGPT, Claude, and Gemini, and exports to TXT, SRT, VTT, or Markdown.