146

(I am posting this in my capacity as chair of the ICM programme committee.)

ICM 2022 will feature a number of "special lectures", both at the sectional and plenary level, see last year's report of the ICM structure committee. The idea is that these are lectures that differ from the traditional ICM format (author of a recent breakthrough result talking about their work). Some possibilities are

  • a Bourbaki-style lecture where a recent breakthrough result (or series of results) is put into a broader context,
  • a "double act" where related results are presented by two speakers,
  • a survey lecture on a subfield relevant for some recent development,
  • a lecture that doesn't fit into any of the existing sections,
  • a lecture creating new connections between different areas of mathematics,

but these are not meant to be exhaustive in any way. So what special lecture(s) would you like to see at the next ICM?

(Unless it is self-evident, please state what makes the lecture you would like to see "special". If you would like to nominate someone for an "ordinary" plenary lecture instead, please do so by sending me an email.)

Martin Sleziak
  • 4,608
Martin Hairer
  • 8,969
  • 87
    How about a presentation of twenty three or so open problems to guide the next century of mathematics research. :) – Sam Hopkins Aug 06 '20 at 12:56
  • 24
    Although not directly a "research question", I think this is a great use for mathoverflow! – Theo Johnson-Freyd Aug 06 '20 at 12:56
  • 17
    @SamHopkins We're 20 years late for this century ;-) More seriously, assuming we do have an "open problems" lecture, would you have someone in mind for delivering it? – Martin Hairer Aug 06 '20 at 14:13
  • 5
    Great question. I think having a lecture on crisp, un-hyped research questions at the interface of math+AI, math+quantum computing, math+X in general will be quite valuable. Math+AI may be too broad and diffuse to be useful, so being more focused, e.g., on math+optimization-in-AI (my personal bias) could be more broadly useful. Similarly, topics such as: the role of "geometry of polynomials" and its wider connections can be a great topic. Perhaps, injecting "diversity" not only of people but of topics is going to be very helpful. – Suvrit Aug 06 '20 at 14:14
  • 3
    Part of the Bourbaki style is that the recent breakthrough is not presented by the author(s), and sometimes describes several related works, or the emergence of a new subdomain. – YCor Aug 06 '20 at 17:54
  • 6
    @Sam my understanding is that Hilbert only presented ten problems at the meeting. The other thirteen were included in his write-up. – Gerry Myerson Aug 06 '20 at 22:45
  • 5
    I think that an important debate should be if there is a crisis in physics what importance have this for the mathematics (I've read a book, I disagree with part of content but it seems to me very valuable and brave; my belief is that there is a crisis in theoretical physics): I would like to know if one or two physicists could explain if there is a crisis in physics and if mathematicians can help about it (these talks / conferences can be also inspiring as reflections for mathematicians, because maybe it can be also a subtle crisis in mathematics in relation to the cited crisis in physics). – user142929 Aug 07 '20 at 10:37
  • 2
    @user142929 What book? – Monroe Eskew Aug 07 '20 at 13:15
  • 5
    The Spanish edition of the book Lost in Math: How Beauty Leads Physics Astray by professor Sabine Hossenfelder , @MonroeEskew – user142929 Aug 07 '20 at 13:21
  • 3
    @user142929 My understanding is that physicists who believe there is a crisis in physics tend to have very diverging views about what the solution is, which I think lead to even more divergent views of what mathematicians could do to help. So there would be a big issue of who to pick for such a talk - choosing the most respected / distinguished physicist would seem to mean choosing whoever's ideas are already the most influential, which would be against the spirit. – Will Sawin Aug 08 '20 at 02:05
  • 3
    @user142929 I imagine Sabine Hossenfelder, who as the title suggests things theoretical physicists rely on math too much, would not think there is much we can do to help and probably would not want to give such a talk. But certainly others with a similar view on the existence of a crisis might. – Will Sawin Aug 08 '20 at 02:08
  • 8
    I can’t imagine it would be helpful to have a talk about purported or potential crises in physics at a math conference, particularly so for the ICM. – Aaron Bergman Aug 08 '20 at 02:41
  • 3
    @user142929 what can mathematicians do really? We discovered Lie groups, Calabi-Yau manifolds etc. and then quantum theorists apparently misapplied these notions. Einstein's elegant mathematical guess was experimentally confirmable with relative ease and turned out to be correct. So far these guesses don't seem to be. –  Aug 08 '20 at 05:08
  • Many thanks @crispr I appreciate your comment and the feedback of previous professors in comments. I do not have much more to say (I'm not a professional mathematician), if ICM-MathOverflow wants to consider my question as a proposal or modulate this in the future I'm agree (it's in their hands). – user142929 Aug 08 '20 at 06:34
  • 5
    Sabine Hossenfelder is criticizing certain physical theories motivated by recent math, not the math behind them. While she has interesting things to say (and I greatly enjoy her writing), I don't see how ICM would be the right venue for this. "See how your research is getting misapplied" is a dog-bites-man story to us mathematicians. – darij grinberg Aug 09 '20 at 17:42
  • 3
    @MartinHairer thank you for asking this question here. I'm not game enough to suggest n answer, and it would be buried in the scores of comments on the existing answer most related. But I offer to the committee something along the lines of what is covered in this review. It seems more constructive than the discussion below. – David Roberts Aug 10 '20 at 10:49
  • 2
    Other idea could be a lecture about the site MathOverflow itself: brief history with comments/anecdotes/curiosities from senior users, papers that born/inspired in MathOverflow, Mathoverflow's community, statistics about the site, MathOverflow in social network, extracts (if it's possible) about answers and/or unsolved problems and a selection of extracts, importance of Meta, a call to recruit more new contributors, future perspective or projects ... I don't know what of these could be suitable and legitimate, if some professor wants to edit a post with this proposal I accept it. Best week – user142929 Jul 20 '21 at 18:35
  • Other brave critics that I know, were by Renate Loll from last section of the article George Musser, La paradoja más famosa de la física se acerca a su fin, Investigación y Ciencia ( the journal Investigación y Ciencia is the Spanish edition of Scientific American), Febrero 2021, Nº 533. The article was also published in Quanta Magazine, but I know the Spanish edition of the cited article. – user142929 Feb 08 '22 at 17:06

18 Answers18

137

How about a lecture on proof assistants/formal proofs?

Most mathematicians are still skeptical of the value of proof assistants, and it's certainly true that proof assistants are still very difficult for the average mathematician to use. However, I think that much of the skepticism stems from a lack of understanding of what proof assistants have to offer. A popular misconception is that proof assistants just give you a laborious way of increasing your certainty of the correctness of a proof from 99% to 99.9999%. But that's not where their primary value lies, IMO.

For example, having a large body of formalized mathematics available could help machine learning algorithms figure out what constitutes "interesting" mathematics and help them autonomously discover interesting new definitions and concepts—something that seems beyond what computers can do now. For another example, there are increasingly many cases where editors can't find a referee for a complicated and potentially important paper because the referees are skeptical and don't want to waste time studying something that might be wrong. If proof assistants become sufficiently easy to use that authors are routinely required to formally verify their proofs before submission, then referees can focus on the more rewarding work of assessing whether a result is interesting and important instead of spending the bulk of their time checking correctness.

A good lecture on this topic could give the subject a valuable boost. Incidentally, if you want to poll people to assess interest, I would recommend polling younger people. This is one topic where I would value the opinion of younger mathematicians and students more than the opinion of senior mathematicians.

EDIT: Kevin Buzzard ended up giving precisely such a talk at ICM 2022: The rise of formalism in mathematics.

Timothy Chow
  • 78,129
  • 38
    Personally I would love to see an interactive session with a proof assistant. I think few mathematicians have ever used one (I haven't). This might help in explaining why and how proof assistants can be useful to the mathematical community. – François Brunault Aug 06 '20 at 18:16
  • 12
    @FrançoisBrunault If you want to watch such an interactive session now, you can choose a lecture here: https://www.youtube.com/playlist?list=PLVZep5wTamMmvdvczjrLctDM9T4nBse1M (Of course such a session designed for the ICM would be a bit different). – Will Sawin Aug 06 '20 at 19:03
  • @WillSawin So great, thanks! On a more general note, computers are used more and more to prove theorems but we don't really "see it" during the talks. – François Brunault Aug 06 '20 at 21:27
  • 6
    "If proof assistants become sufficiently easy to use that authors are routinely required to formally verify their proofs before submission"? And that such a requirement would not be considered inhumanely cruel by those authors? This would be great but are there many mathematicians expecting this to happen in, say, half a century? Personally, I am not among them. – Alex Gavrilov Aug 07 '20 at 09:42
  • 4
    @AlexGavrilov : I don't know, but a lot can happen in half a century. In 1960, it might have been considered inhumanely cruel to expect authors to produce camera-ready copy of their papers, but by 2010 pdflatex was standard. – Timothy Chow Aug 07 '20 at 17:57
  • 2
    Assia Mahboubi and Enrico Tassi just published a very relevant book. From their intro: Mathematical Components is the name of a library of formalized mathematics for the Coq system. It covers a variety of topics, from the theory of basic data structures to advanced results in various flavors of algebra. This library constitutes the infrastructure for the machine checked proofs of the Four Color Theorem and of the Odd Order Theorem. I think Assia and Enrico would both be terrific candidates for a lecture on proof assistants for mathematics. – Clément Aug 08 '20 at 02:04
  • 2
    Prof. Kevin Buzzard has been working on bringing the Lean proof assistant to the mathematics community, and has already given a lecture on proof assistants for mathematics at Microsoft Research: https://www.youtube.com/watch?v=Dp-mQ3HxgDE. I think he would also be an excellent candidate for such a lecture at ICM. – Tej Chajed Aug 08 '20 at 14:36
  • 3
    Speaking as a young mathematician, this kind of topic worries me. Aside from the obvious issues that can come with automation, an important part of doing mathematics is that the ideas are actually understandable to other mathematicians, and it’s not clear to me that: 1) if we make program that can infallibly verify a sequence of mathematical ideas, then there won’t be a trend toward just showing that the program says it works and not actually explaining (giving intuition, etc.) and 2) if we make a program that can prove things for us, then the proofs will be comprehensible to a human being. – Robin Goodfellow Aug 09 '20 at 15:22
  • 9
    @RobinGoodfellow : Your concerns are legitimate. But regarding #1, I think proof assistants will actually help, for 2 reasons. First, they'll force the author to understand the proof well enough to explain it to a computer. You'd be surprised how often authors don't completely grasp their own proofs, yet get away with it. I expect a decrease in excessively sketchy and vague papers. Second, if the computer is checking correctness, I expect increased social pressure on the humans to explain their proofs. What use is the human otherwise? – Timothy Chow Aug 09 '20 at 16:57
  • 4
    (continued) As for #2, this is already a problem with more conventional computer-assisted proofs, but I don't think that this is the fault of technology. Rather, it's just a fact of life that some theorems are probably only provable by means of a long and not particularly enlightening computation. Surely we'd rather have a computational proof than no proof at all? I also think that it's human nature to seek conceptual proofs, and I don't see human nature changing just because our ability to find computational proofs increases. – Timothy Chow Aug 09 '20 at 17:00
  • 3
    @RobinGoodfellow: Computer-verified proofs still require a human to come up with the proof. This might change somewhat with AI, but probably not in foreseeable time to an extent that would uproot mathematical practice (more likely, AI will play the role of a better Omega tactic, unpacking "straightforward induction" or "analogous to the previous proof" arguments that commonly get left to the reader to unpack). As to intuition or explaining why a proof works: I'd struggle to do that with my own (non-formalized) proofs, so I think that ship has already sailed. Mathematics is weird. ... – darij grinberg Aug 09 '20 at 18:03
  • 6
    ... John von Neumann said 70 years ago that "in mathematics, you don't understand things; you get used to them". Much of the time, you discover a new phenomenon by experimentation, then get used to it, and the habits you form become a kind of intuition that you cannot explain to someone who hasn't done comparable work. What is the intuition behind the tensor product being left-exact? Behind the Schur functions being symmetric? Behind the Witt vectors existing and classifying various things? Behind the RSK correspondence for semistandard tableaux? – darij grinberg Aug 09 '20 at 18:06
  • 1
    @TimothyChow — There is wisdom in what you are saying, though (regarding your last point) I think that the human tendency toward laziness may overcome the human inclination toward conceptual proofs. We already often use theorems in the literature that we don’t ourselves know how to prove, so it isn’t entirely inconceivable that we could end up moving toward just asking software to prove everything for us without ourselves understanding (if research-level mathematics continues at all) after proof-making is automated. – Robin Goodfellow Aug 10 '20 at 00:48
  • 1
    @darijgrinberg — I think this might be more of a field-dependent thing. In topology and geometry (especially in low-dimensions), intuition tends to play a more important role. – Robin Goodfellow Aug 10 '20 at 01:01
  • @darijgrinberg you explained why I do/did (non-algebraic) combinatorics! – mathworker21 Aug 11 '20 at 00:39
  • 1
    It would be great to have Dr Z. – Gil Kalai Aug 12 '20 at 18:27
  • 1
    @GilKalai : Who is Dr Z? – Timothy Chow Aug 12 '20 at 19:04
  • 2
    I imagine it's Doron Zeilberger. – Ryan O'Donnell Aug 13 '20 at 03:22
  • 2
    I always enjoy Doron Zeilberger's talks, but I wasn't aware that he knew much about proof assistants. – Timothy Chow Aug 13 '20 at 12:34
  • @TimothyChow, Dear Tim, I suppose I consider the larger area of computerized proofs and computer assisted proofs that may include or relate to your suggestion of proof assistants/formal proofs (I am not sure what precisely you refer to). In any case it will be great to have Dr. Z.! – Gil Kalai Aug 14 '20 at 15:56
  • I think this would be a great topic for a special lecture. Perhaps there is also a case for a session in which this is explored in greater depth. – Lasse Rempe Aug 23 '20 at 15:27
82

I suggest lectures on big and transformative ideas. For example, it would be great to have a lecture by Tim Gowers about the future of mathematics publishing, and getting away from the issues with our current model. He has spoken and written on topics like this before, e.g., in this blog post. Another option in the same vein might be an update on the Polymath project.

David White
  • 29,779
  • 21
    I'd too love to hear from Gowers about publishing, but my impression is that a panel would be even better, since the experience is currently distributed across various people (e.g., the editorial board of Algebraic Combinatorics will have something to say about zombie journals; whoever is behind fixing the K-Theory fiasco will probably know a lot about good and bad contracts; I'd also like to hear some failures, like OA journals folding, as told by their participants). – darij grinberg Aug 07 '20 at 14:41
  • 6
    One of the tangible outcomes of Gowers’ foray into the crisis in publication was the creation of two journals (Sigma, Pi) where the author (or their grant/university) pays a publisher in order to have their article appear. I’m not convinced that this is a desirable outcome. – Gordon Royle Aug 08 '20 at 02:34
  • 4
    @Gordon that was merely the first stage. Gowers' more recent, arXiv-overlay, efforts, Algebraic Combinatorics and Advances in Combinatorics, would be more to your liking perhaps. Check this blog post for more recent comments about FofM https://gowers.wordpress.com/2018/06/04/a-new-journal-in-combinatorics/ – David Roberts Aug 08 '20 at 05:40
  • 3
    @DavidRoberts Thanks for that link, pretty much exactly mirrors how I feel about it. Although small fry in the journal world, I was an editor of the Australasian Journal of Combinatorics when we decided to go electronic with a free-to-write, free-to-read model. With APC there is always an obvious potential conflict of interest. – Gordon Royle Aug 08 '20 at 08:01
  • 1
    @GordonRoyle I'd go further and say I am convinced that this is not a desirable outcome (Speaking as someone working in the UK, which produced the Finch report, and who has his name on a paper that appeared in Sigma for reasons not of his choosing) – Yemon Choi Aug 10 '20 at 19:29
67

A topic worthy of a special lecture, and with no obvious other place to go, is ways we as mathematicians can make our field more diverse, equitable, and inclusive. As we know, women and minorities are underrepresented in math. This has less to do with differences in talent and more to do with structural inequality in society, different access to mathematics as students, and perceptions from individuals in underrepresented groups that the mathematical community is not welcoming to them. A special lecture at ICM, drawing attention to these issues and including concrete suggestions for improving the situation, might go a long way towards making math more diverse in the future.

In addition to being the ethically correct thing to do (as being a mathematician is generally among the top jobs in terms of life satisfaction, and hence should be open to all), making math more diverse would also lead to better mathematics, as a diversity of thought and background will lead to new approaches to problems we care about. For example, lack of diversity has contributed to bad and biased algorithms, e.g., in mathematics related to criminal justice. There is already a large literature about concrete strategies to make math more diverse, including work of Uri Treisman, the book Whistling Vivaldi, the book Successful STEM Mentoring Initiatives for Underrepresented Students, and the Harvard implicit bias research. Sadly, many mathematicians are unaware of this body of research, and it doesn't neatly "fit" within our existing silos.

A great speaker for such a special lecture would be Francis Su, who has served in the leadership of both the AMS and MAA, who has worked on these issues for years, and who recently published Mathematics for Human Flourishing, a book which describes itself as "An inclusive vision of mathematics—its beauty, its humanity, and its power to build virtues that help us all flourish." Another great speaker would be Dave Kung.

In the same vein, one could imagine a special lecture on how to use mathematics for social good. Several texts and resources have recently appeared on this topic, including this book, this compendium, and these curricular guides. Mathematicians might appreciate a survey of work in this direction, including pointers on how to pivot their research and/or teaching in a direction of social justice.

David White
  • 29,779
  • This response has produced an extended discussion - the comments have been moved to chat. – S. Carnahan Aug 13 '20 at 20:38
  • Additional discussion is active at a different chat room: https://chat.stackexchange.com/rooms/111634/discussion-about-suggestion-of-icm-talk-focusing-on-making-math-more-diverse-inc Sorry about the potential confusion! – S. Carnahan Aug 13 '20 at 20:41
39

The Weapons of Math Destruction would make an interesting and timely topic for such a lecture.

Hailong Dao
  • 30,261
32

I think one lecture topic should be devoted to (some aspects of) the communication and dissemination of mathematics. Even though it is like fitting a mini conference into one hour, aspects of bringing the subject to more people is important and current practitioners and presenters should be made aware of good practices in communication.

It might be useful to invite Matt Parker or Kelsey Houston-Edwards to speak about some of their process for emphasizing and explaining a topic. We as a group might shift our perspective on what goals are important to present (by lecture, Youtube video, blog post, or preprint) a subject. Even if we cannot all become great communicators, we can try to make our areas of study accessible to those who are.

Gerhard "Is My Point Coming Across?" Paseman, 2020.08.06.

Gerhard Paseman
  • 12,968
  • 7
    Great idea. It strikes me that the communication of current research in mathematics to the general public is light years behind that which is taking place in theoretical physics and cosmology for example. – D.S. Lipham Aug 08 '20 at 22:47
28

Especially since we lost Michael Atiyah in 2019, I would like to see a talk dedicated to the unity of mathematics. The idea of addressing the "tower of Babel" tendency of increased specialization is always needed, I think. This can be accomplished in several ways already suggested. Perhaps by giving an overview, or a list of visionary questions, or imagining new ways to accomplish a sense of unity in the diversity of the subject. Maybe a lecture entitled "the unity and diversity of mathematics". Such a title may even bring in topics mentioned such as inclusiveness, etc.

Jon Bannon
  • 6,987
  • 6
  • 68
  • 110
  • 3
    Just as aside comment (I hope don't disturb) I add the following reference. The article (in Spanish) La joven promesa española de las Matemáticas by Laura Moreno from the web page of the newspaper El Mundo (date 2 OCT. 2017) refers in its third paragraph a quote of the words that Sir Michael Atiyah provided as advice to Ismael Sierra. – user142929 Aug 09 '20 at 06:35
24

Particularly in memory of John Conway, whose creations were mathematically interesting and nontrivial, while of potential appeal to a wide audience: a lecture on developments in accessible mathematics. The idea would be to present progress in solving old problems and new challenges in areas that could be reported by the nonspecialist media, to give the public a taste of what mathematicians do.

John Bentin
  • 2,427
23

I'd suggest a lecture discussing when and how a computer can be useful to prove or disprove conjectures. As a first example, think about Euler's sum of powers conjecture. In 1769, Euler proposed a generalisation of Fermat's last theorem: for all integers $n$, $k$ greater than $1$, the equation $$ a_1^k + a_2^k + \cdots + a_n ^k = b^k $$ implies that $n \geq k$. The conjecture is true for $k=3$ (this follows from Fermat's last Theorem). However, it has been first disproven for $k=5$ in 1966 via a direct computer search by L. J. Lander and T. R. Parkin. The couterexample they found was: $$ 27^5 + 84^5 + 100^5 + 133^5 = 144^5 $$ Moreover, combining some results on elliptic curves, N. Elkies restricted the variables in the case $k=4$ and was able to find a counterexample using a computer: $$ 2682440^4 + 15365639^4 + 18796760^4 = 20615673^4 $$ Here, it is intersting to notice that a computer search had not been able to find it (this is due to the fact that many parameters were involved): it was also necessary some work to restrict the situation to a more suitable case.

As a second example, consider the search for some kinds of primes: it has been conjectured that there exist infinitely many Wall-Sun-Sun primes; however, thanks to some computer searches, we now know that, if any such a prime exists, it must be bigger than $9.7 \cdot 10^{14}$.

As a third example, I will cite the search for lower bounds of de Bruijn–Newman constant: before the proof by Brad Rodgers and Terence Tao that $\Lambda \geq 0$, computer searches had established some bounds on this constant. Note also the relation with the searches for counterexamples to Riemann Hypothesis.

EDIT: Some examples of important results whose proofs required, at some steps, the help of a computer can be found, for instance, here. In some cases (e.g. Erdos discrepancy problem), a first (partial) proof involved the use of a computer, but later the conjecture has been completely proven without it. I think it may be also interesting to discuss the fact that many mathematicians, at least when the first cases of computer-assisted proofs appeared, did not accept the solutions as they were 'infeasible for a human to check by hand'.

Denis Serre
  • 51,599
Manuel Norman
  • 1,165
  • 2
  • 6
  • 13
  • 7
    I like the idea, however I don't particularly like your examples. Sure there was some interesting work involved in reducing the search space, but this still comes down to just checking if solutions in this space work. I feel similarly about the Wall-Sun-Sun primes - has the computer work brought us any results of theoretical interest, or just told us some finite set doesn't work? The last example seems more interesting - it is by no means obvious any of this can be achieved with a finite computation, and yet here we are. – Wojowu Aug 06 '20 at 17:06
  • Nice point. I have added a link with some examples of conjectures whose proofs required, at some point, the use of a computer. In these cases, a computer has indeed led to results of theoretical interest. – Manuel Norman Aug 06 '20 at 17:30
  • 3
    In my opinion some examples like the Erdos discrepancy problem and the de Bruijn-Newman constant essentially form arguments against the importance of computers, because the eventual proofs did not use any ideas generated by the computer experiments but instead totally different ones. Of course there are other areas where computers have been helpful (either in the sense of helping proofs, or in providing information about areas where proofs are not likely to be forthcoming) but one has to be careful in choosing examples. – Will Sawin Aug 07 '20 at 01:17
  • 3
    A recent case where computer calculations were helpful to an eventual non-computerized proof is the recent proof of the sphere packings in dimension 24 https://arxiv.org/abs/1603.06518 where IIRC computer calculations that had been previously been done by Cohn and Elkies, Cohn and Kumar, Cohn and Miller, ... suggested properties of the key function used in the proof, which were used to rapidly find the right function once the general principles for how to construct such a function were found by Viazovska. (These works were discussed at the 2018 ICM.) – Will Sawin Aug 07 '20 at 01:27
  • 2
    Similar is the progress on expressing numbers as sums of three cubes. There's a lot of work to trim down the search space and be clever about the algorithm. – David Roberts Aug 07 '20 at 03:50
  • 8
    A great recent example of a computer-assisted proof is the Kaluba--Kielak--Nowak proof that $\mathrm{Aut}(F_n)$ has Kazhdan's property (T) for $n\geq 5$. This seemingly completely abstract statement relies on an intensive computer calculation, but this came as a complete surprise to the community. – HJRW Aug 07 '20 at 15:06
  • 1
    There are also examples where the computer plays a decisive role in finding the statement of the theorem (or the conjecture). This is different from computer-aided proofs. – François Brunault Aug 07 '20 at 21:20
  • 1
    I agree with @Wojowu -- this needs better examples. I think significant parts of the classification of finite simple groups (including, as I've learnt today, the first construction of the Janko group $J_4$!), rely on computer calculations. I'd love to know how often computer-relying proofs appear these days, and how often they get replaced by human-readable proofs within 10 years of their publication, ideally with a comparison between mathematical disciplines. – darij grinberg Aug 09 '20 at 17:58
  • @WillSawin If we didn't have computers, people would still think there are sequences with discrepancy at most $2$. – mathworker21 Aug 11 '20 at 01:25
  • @mathworker21 This is not true at all. The proof that there are no sequences with discrepancy at most $n$ for any $n$ would still have been found (except for the importance of computers in email, blogging, etc. to its proof). – Will Sawin Aug 11 '20 at 01:59
  • @WillSawin You can't say that. There probably wouldn't have been so much attention placed on the problem if people thought there were sequences with discrepancy at most $2$ (which they would have thought -- you need to go up to length 1161 for heaven's sake!). – mathworker21 Aug 11 '20 at 02:06
  • @mathworker21 This is not true. There was interest before 2014 - there was a Polymath in 2010, and at the time I believe most people believed the discrepancy was infinite. Why would someone believe there is a long discrepancy 2 sequence without finding one? – Will Sawin Aug 11 '20 at 02:25
  • @WillSawin ok, you win. I am curious why people didn't think there would be an infinite sequence with discrepancy $2$. Like, who would have expected $L(d)$, the largest sequence with discrepancy at most $d$, to grow so quickly!! – mathworker21 Aug 11 '20 at 02:30
  • @mathworker21 I'm not sure. An easy argument shows it grows at least exponentially, and you might expect that if an easy argument attains a certain growth then cleverer constructions can attain much higher growth. Anyways, I think we still don't know if the overall growth is asymptotically exponential. – Will Sawin Aug 11 '20 at 12:14
20

During the lockdown I've seen an online talk by Pierre Pansu about persistent homology. Roughly (I'm not the right person to explain it) this is a robust and recent computational way to compute homology, at several scales, with the aim to ignore "noise". It's for instance used in shape recognition. Pansu's talk (which was in a geometric group theory seminar) was explicitly to advertise its used in pure math, and precisely in geometric topology / group theory, where it ought to bring new computational methods, more powerful than naives ones (e.g., if one wishes to under the shape, e.g., computing homological invariants, of small pieces of Cayley graphs). The talk was great and motivating (more than my poor summary!)

PS MathSciNet search for "persistent homology" (anywhere) yields papers: 0 in years $\le 2004$, 25 in 2005-2010, 100 in 2010-2015, and 200 in 2015-2020.

YCor
  • 60,149
  • 4
    Absolutely agree that we need to focus on the pure-math applications, particularly after seeing the applied-math applications being hyped to death. – darij grinberg Aug 07 '20 at 11:42
  • 6
    I didn't claim that we need to focus on the pure math applications, and even less said anything negative about the applied math applications. Pansu advertised the applied math applications, and suggested possible new uses in pure math. He was then talking to an audience in pure math and more specifically in geometric group theory. I'm not suggesting one should do exactly the same. Actually these two aspects address respectively "a survey lecture on a subfield relevant for some recent development and a lecture creating new connections between different areas of mathematics. – YCor Aug 07 '20 at 11:54
  • Was it this talk? https://www.youtube.com/watch?v=XMrsMlF73jc – JCK Aug 07 '20 at 22:52
  • 2
    @JCK no this was in April 2020, but the second half of the talk was close to your link. The first half of the talk was really a quick introduction to persistent homology. His slides (in French) are here. – YCor Aug 07 '20 at 23:11
  • I thought "pure math" when applied becomes applied math, no ? – Piyush Grover Aug 08 '20 at 05:32
  • 1
    @PiyushGrover you're playing with the word "applied", and I actually rather said "use". One might use/apply/adapt methods coming from rather applied math (traditionally applied, say, image recognition), to, say, compute Betti numbers of some manifolds defined by arithmetic means. – YCor Aug 08 '20 at 08:15
17

Maybe a panel lecture on tools for online collaboration.

A lot of people now know about and attend online seminars (as listed on researchseminars.org), and there has been some panel discussions already (e.g. this one). But as time goes by, probably more maturity is developing.

One could also be insterested by other aspects:

  • Machine-Learning-inspired live subtitles, which could help Alice and Bob collaborate when neither speak well enough the languages that the other speaks ;
  • prospects for automatic speech-to-$\LaTeX$ for taking live notes, or writing a draft
  • ordering equipement for a whole bunch of universities together, to get a better deal from providers

Indeed, these tools make positions at smaller universities perhaps more attractive than they used to, since daily collaboration/interactions is not restricted to departmental colleagues. They even make collaboration between academics and people from other places more possible (e.g. people working in public agencies, or the private sector).

Thomas Sauvaget
  • 2,861
9

How about a survey lecture on the impact of algebraic geometry in mathematical physics? Second proposal: A survey about the impact of mathematical algorithms for computational simulation in science and engineering.

Martin Peters
  • 1,161
7

In their recent ICM paper, Numbers, germs and transseries, Proceedings of the International Congress of Mathematicians, Rio de Janeiro, 2018, Volume 2, edited by B. Sirakov, P. N. de Souza and M. Viana, World Scientific Publishing Company, Singapore, pp. 19-42, Aschenbrenner, van den Dries and van der Hoeven discussed the ambitious program they are engaged in for extending asymptotic differential algebra to all of the surreals. During the last decade, there have been a wide array of advances in the theory of surreal numbers. I'd like to see a talk discussing those advances as well as the future prospects of Conway's theory.

Rodrigo de Azevedo
  • 1
Philip Ehrlich
  • 5,915
  • 1
    Some meager developments on this theme can be found in the articles Surreal substructures, especially Section 8, and Defining a surreal hyperexponential. – nombre Oct 21 '20 at 10:23
4

Empirical processes are key to certain subfields such as high dimensional statistics, compressed sensing,... Even though the field of empirical processes is far from being new, I believe that presenting recent results by Naor, Latawa, van Handel or others, while having a view on recent applications could be beneficial to many.

Further, challenges arise both in applications and in theory and a talk (with two speakers?) could have its place at the ICM. It could either be a survey lecture or a lecture presenting connections, or even a survey of the connections. It could help more 'applied people' dig into some theoretical aspects or the other way round.

Gilles Mordant
  • 545
3

A lecture by Ken Ribet similar to his talk as the outgoing AMS president, updating the work on the Taniyama-Shimura-Weil and Serre conjectures, and modern proofs of Fermat’s Last Theorem.

https://youtu.be/mq9BS6S2E2k

Ian Agol
  • 66,821
  • 1
    Frank Calegari gave a (wonderful!) special lecture entitled "30 years of modularity: number theory since the proof of Fermat's Last Theorem" which very much fits with your suggestion. See https://www.youtube.com/watch?v=L0Z4Ng6ZJbY for the recording. – Sam Hopkins Jul 30 '22 at 02:18
  • 1
    @SamHopkins this version has better audio https://youtu.be/HDRqU6oW--4 – Ian Agol Jul 30 '22 at 02:42
0

Other idea could be a lecture about the site MathOverflow itself. This is my proposal for a special lecture, the slides could be about

  • presentation and what's MathOverflow;

  • brief history with comments/anecdotes/curiosities from senior users;

  • papers that were borned/inspired in MathOverflow;

  • MathOverflow's community;

  • statistics about the site;

  • MathOverflow in social networks;

  • extracts (if it's possible) about answers and/or unsolved problems;

  • importance of Meta and critics;

  • a call to joint/recruit more new contributors;

  • perspectives or future projects...

  • underrepresented subcategories of mathematics;

  • policy of moderation (adding a greeting/thanking for the moderator team from the community of users of MathOverflow;

  • inherent problems of the site, for example downvotes without comments/feedback;

I don't know what of these could be suitable and legitimate for the owners of the site, moderators and community of the site.

I would like to dedicate with all respect this proposal to the Ukrainian casualties of the war started previous week.

user142929
  • 1
  • I hope that this post is nice for all professors and users here, and I hope that in some ICM in next years, could be a talk/lecture about the importance of the site for professional mathematicians and other persons. If my post is suitable as answer in this thread of posts, feel free to add comments about improvements/critics of my proposal of special lecture for a ICM – user142929 Feb 08 '22 at 17:11
  • 2
    This is already an answer. – Carl-Fredrik Nyberg Brodda Feb 08 '22 at 17:27
  • Many thanks for your feedback @Carl-FredrikNybergBrodda I didn't known/remembered the answer that you mention (I see now the content and the dates of the cited answer and my comments), I think that my proposal is much more general (with all respect to the cited post that I've upvoted), but if there are more comments in the same way than yours I can to delete my answer in next few days Many thanks again. – user142929 Feb 08 '22 at 18:16
  • Other: underrepresented subcategories of mathematics; policy of moderation (adding a greeting/thanking for the moderator team from the community of users of MathOverflow; downvotes without comments/feedback. – user142929 Feb 21 '22 at 16:41
  • I would like to dedicate with all respect this proposal to the ukrainian casualties of the war started today (I think that isn't polite edit this dedicatory in these moments and situation, and I don't know what is the prespectives of next ICM) – user142929 Feb 24 '22 at 14:19
  • @user142929: Just letting you know: I upvoted, because I share your views. – Jose Arnaldo Bebita Dris Apr 30 '23 at 01:14
-3

It may we worthwhile for the community to debate the following.

Do either (or both) of the following tend to diminish the importance of aesthetics in mathematics?

  • The "unreasonable" usefulness of mathematics in "real" life.
  • The pursuit of mathematical research as a career.

In particular, as a consequence, has the overall aesthetic quality of mathematics diminished over the last century or so? One could make the case that the aesthetic quality of mathematical work has become inaccessible, not only to the common man, but also to the lay man and (to a surprising degree) to the working mathematician from a different area of mathematics.

The former influences mathematics by defeating Weyl's famous claim that given a choice between what is useful and what is beautiful, he would choose the second.

The latter leads mathematicians to relentlessly tunnel down rabbit holes and not come out to meet and to exchange notes with other rabbits!

Of course, there are counterpoints! (Else this would not be worth debating.)

Kapil
  • 1,546
  • 4
    Weyl's quote is about truth and beauty. Not utility and beauty. – Lucia Aug 07 '20 at 18:24
  • @Lucia Thanks for the correction. I will leave it as it is begging poetic licence since looking for truth is halfway to looking for utility! – Kapil Aug 08 '20 at 04:56
  • 5
    No; I don't think you capture Weyl's meaning at all with that misquote. Weyl certainly did not have applications in mind. More relevant would be to quote Oscar Wilde from "The picture of Dorian Gray": "We can forgive a man for making a useful thing as long as he does not admire it. The only excuse for making a useless thing is that one admires it intensely." – Lucia Aug 08 '20 at 05:00
  • 2
    @Kapil I just wanted to say, I like your suggestion. I agree that the need to get a job, and to be seen as doing "useful" work (grant organizations might be to blame here) has probably reduced the amount of mathematics done for aesthetic reasons. But, there are also WAY more mathematicians now than 50 years ago, so we probably haven't seen a drop in aesthetic quality, at least for the papers that "rise to the top." Still, I like that you draw attention to this issue. You might enjoy the Journal of Humanistic Mathematics. – David White Aug 09 '20 at 12:23
  • @DavidWhite Thanks for the suggestion of reading JHM. – Kapil Aug 10 '20 at 01:33
-5

An expository debate between Peter Scholze and Shinichi Mochizuki on the veracity of the latter's claimed proof of the abc conjecture.

Jens Reinhold
  • 11,914
Claudio Paganini
  • 31
  • 59
    Why debate? A fistfight would probably be more fun for the spectators? – Jens Reinhold Aug 07 '20 at 09:37
  • 1
    A public debate is probably not the best way to go about this. However, I would like to hear a talk outlining Mochizuki's proof and its criticisms, specifically on whether the doubts expressed by Schloze have been explained away in the version of the paper which will be published soon. – D.S. Lipham Aug 13 '20 at 00:53
  • 8
    @D.S.Lipham to my knowledge, and I have been following rather closely, Mochizuki's papers have not changed in any substantial way. He has been updating them continuously on his website and providing close commentary on the changes (from saying when italics have been removed from a single word, to when specific subsubsections have been "clarified"). Nothing has been done about the complaints of the community as focused through Scholze and Stix, apart from saying on his blog they don't get basic logic. – David Roberts Aug 14 '20 at 02:13
-8

I would suggest a short lecture on the usefulness of MathOverflow in Mathematical Research. The very question is indicative of the importance that ICM has given to MO. It would be better if some great problems and answers of MO and their impact in the larger body of Mathematics be lectured upon.

In addition, I suggest a lecture on Influence of Combinatorics in Mathematics. This is on the basis of my observation that recently the number of papers on arXiv is maximum in Combinatorics (the second is, I think Number Theory). Along with this, there are several papers in other topics wich crosslist to Combinatorics as a secondary topic. This clearly shows the wide influence of Combinatorics on all of Mathematics.

vidyarthi
  • 2,027
  • 2
    why the downvotes? – vidyarthi Aug 06 '20 at 16:59
  • 15
    How does "most arXiv papers are in combinatorics" show the "wide influence of combinatorics on all of mathematics"? For all I know from this it could equally be the case that combinatorics is a very large but very isolated field of maths. (Of course I know this is not the case, but again, I don't see how cited arXiv data support that) – Wojowu Aug 06 '20 at 17:10
  • @Wojowu I mean several papers in other fields are also crosslisted in combinatorics along with their primary subject ( like many number theory papers are also cross listed in math.CO tag along), and number theory is as usual widely regarded as the'queen of mathematics' – vidyarthi Aug 06 '20 at 17:29
  • 15
    Different fields have different publishing habits. – François Brunault Aug 06 '20 at 18:00
  • @FrançoisBrunault yes, but why not combinatorics wield an influence on Mathematics (and Mathematicians)? – vidyarthi Aug 06 '20 at 18:02
  • I see your point, but I don't find this to be a particularly strong case in this point. Anyway, if there is much to be said in how combinatorics impacts other areas, I would be interested in it, since combinatorics doesn't usually strike me as a thing with terribly many connections to other things. – Wojowu Aug 06 '20 at 18:03
  • @Wojowu you mean, would something like category theory be good? – vidyarthi Aug 06 '20 at 18:05
  • I hope you are in good health, I've edited a closely related proposal than yours, let me to know if it is a problem. I think that my proposal is more general. Any case feel free to edit my post to edit to add your post as reference or adding improvements of my proposal. Many thanks. – user142929 Feb 09 '22 at 18:54