(Roughly) Daily

Posts Tagged ‘G. H. Hardy

“Beauty is the first test: there is no permanent place in this world for ugly mathematics”*…

Is mathematical beauty real? Or is it just a subjective, human ‘wow’ that is becoming redundant in an AI age? Rita Ahmadi explores…

It is a hot July day in London and I take the bus to Bloomsbury. I often come here for the British Library, the British Museum or the London Review Bookshop. More than a location, Bloomsbury feels like stepping into a work of art – maybe one of Virginia Woolf’s stories, or Duncan Grant’s paintings.

This time, I am here for mathematics: the Hardy Lecture at the London Mathematical Society (LMS), named after G H Hardy, a professor of mathematics at the University of Cambridge, a member of the Bloomsbury Group, and a president of the LMS. You may know him from the film The Man Who Knew Infinity (2015), in which he’s played by Jeremy Irons.

The 2025 lecture is by Emily Riehl of Johns Hopkins University in Baltimore, who is talking about a complex mathematical ‘language’ known as infinity category theory: could we teach it to computers so that they could understand it? If successful, computer programs could verify proofs and construct complex structures in this area.

A few seats to my left, I recognise Kevin Buzzard, wearing the multi-coloured, patterned trousers he’s known for among mathematicians. Based at Imperial College London, Buzzard is working on a computer proof assistant called Lean. His interest is personal: after long disputes with a colleague over a flawed proof, he lost trust, as he often puts it, in ‘human mathematicians’. His mission now is to convince all mathematicians to write their proofs in Lean. In the Q&A after one of his talks, he said of the debate between truth and beauty in mathematics: ‘I reject beauty, I want rigour’ – though his vibrant sense of fashion suggests otherwise.

Interest in an AI-driven approach to mathematics has been exponential, and many mathematicians have left traditional academic research to explore its potential. Recently, one group of distinguished mathematicians designed 10 active, research-level questions for AI to tackle. At the time of writing, various AI companies and researchers had claimed to find solutions, which were under evaluation by the community.

Sitting in the room in Bloomsbury, I stared at the Hardy plaque and wondered: would Hardy find proofs generated by AI beautiful? I wasn’t sure. He believed there should be a strong aesthetic judgment in mathematics, drawing parallels with poetry, and argued that beauty is the first test of good mathematics. He went as far as to say that there is no permanent place in the world for ugly mathematics.

If asked, many mathematicians today still talk about the aesthetic appeal of one approach over another.

Yet we live in a different century to Hardy and his Bloomsbury peers, with different technologies and techniques, so perhaps we need a clearer definition of what mathematical beauty actually is. Over the history of mathematics, we can find examples where both rigour and the pursuit of beauty have shaped mathematics itself. So, if we’re completely replacing this with a computer-assisted quest for truth and rigour, we ought to know what we’d be abandoning, if anything. Is mathematical beauty like the beauty in literature and art – or is it something else?…

[Ahmadi explores the idea of “beauty,” generally and in mathematics; traces the rise of AI as a tool, and concludes…]

… my own definition of beauty in mathematics would be as follows:

“Asimplemathematical structure that surprises even the most experienced mathematicians and transfers a sense of vitality.”

But is an AI-assisted proof simple or surprising? How do we define vitality in a machine? On these questions, the jury is out. Myself, I am torn. Maybe models just need more training to match our creativity. But I also wonder whether our limbic system is required. Can we write proofs without emotional kicks? I am also unsure if perfectly efficient brains can come up with novel revolutionary ideas.

Ultimately, this debate is about more than aesthetics; it is closely tied to the development of AI-assisted mathematics. If AI models can produce novel mathematical structures, how should we direct them? Is it a search for beautiful or truthful structures? A question that possibly guides the years to come.

Some mathematicians say they prefer the ‘truth’ and only the ‘truth’. However, my recent discussions with mathematicians showed me that most immediately recognise, enjoy, and even wholeheartedly smile at a beautiful piece of maths. In fact, they spend their whole lives in search of one…

Fascinating: “The eye of the mathematician,” from @ritaahmadi.bsky.social in @aeon.co.

G. H. Hardy

###

As we embrace elegance, we might send garcefully-calculated birthday greetings to Eduard Heine; he was born on this date in 1821. A mathematician, he is best remembered for his introduction of the concept of uniform continuity, for the Mehler–Heine formula, and for the Heine–Cantor theorem… all of them, quite beautiful.

source

Written by (Roughly) Daily

March 16, 2026 at 1:00 am

“The urge to gamble is so universal and its practice so pleasurable that I assume it must be evil”*…

Gambling has existed since antiquity, but in the past 30 years it’s grown at a spectacular rate, turbocharged by the internet and globalisation. Problem gambling has grown accordingly, and become particularly prevalent in the teenage population. Even more troublingly, a study in 2013 reported that slightly over 90 per cent of problem gamblers don’t seek professional help. Gambling addiction is part of a suite of damaging and unhealthy behaviours that people do despite warnings, such as smoking, drinking or compulsive video gaming. It draws on a multitude of cognitive, social and psychobiological factors.

Psychological and medical studies have found that some people are more likely to develop a gambling disorder than others, depending on their social condition, age, education and experiences such as trauma, domestic violence and drug abuse. Problem gambling also involves complex brain chemistry, as gambling stimulates the release of multiple neurotransmitters including serotonin and dopamine, which in turn create feelings of pleasure and the attendant urge to maintain them. Serotonin is known as the happiness hormone, and typically follows a sense of release from stress or fear. Dopamine is associated with intense pleasure, released when we’re engaged in activities that deserve a reward, and precisely when that reward occurs – seeing the ball landing on the number we’ve bet on, or hearing the sound of the slot machine showing a winning payline.

For the most part, gambling addiction is viewed as a medical and psychological problem, though this hasn’t resulted in widely effective prevention and treatment programmes. That might be because the research has often focused on the origins and prevalence of addiction, and less on the cognitive premises and mechanisms that actually take place in the brain. It’s a controversial area, but this arguable lack of clinical effectiveness doesn’t appear to be specific to gambling; it applies to other addictions as well, and might even extend to some superstitions and irrational beliefs.

Can a proper presentation of the mathematical facts help gambling addiction? While most casino moguls simply trust the mathematics – the probability theory and applied statistics behind the games – gamblers exhibit a strange array of positions relative to the role of maths. While no study has offered an exhaustive taxonomy, what we know for sure is that some simply don’t care about it; others care about it, trust it, and try to use it in their favour by developing ‘winning strategies’; while others care about it and interpret it in making their gambling predictions.

Certain problem gambling programmes frame the distortions associated with gambling as an effect of a poor mathematical knowledge. Some clinicians argue that reducing gambling to mere mathematical models and bare numbers – without sparkling instances of success and the ‘adventurous’ atmosphere of a casino – can lead to a loss of interest in the games, a strategy known as ‘reduction’ or ‘deconstruction’. The warning messages involve statements along the lines of: ‘Be aware! There is a big problem with those irrational beliefs. Don’t think like that!’ But whether this kind of messaging really works is an open question. Beginning a couple of decades ago, several studies were conducted to test the hypothesis that teaching basic statistics and applied probability theory to problem gamblers would change their behaviour. Overall, these studies have yielded contradictory, non-conclusive results, and some found that mathematical education yielded no change in behaviour. So what’s missing?…

Catalin Barboianu, a gaming mathematician, philosopher of science, and problem-gambling researcher, asks if philosophers and mathematicians struggle with probability, can gamblers really hope to grasp their losing game? “Mathematics for Gamblers.”

For a deeper dive, see Alec Wilkinson’s fascinating New Yorker piece, “What Would Jesus Bet? A math whiz hones the optimal poker strategy.”

For cultural context (and an appreciation of the broader importance of the issue), see “How Gambling Mathematics Took Over The World.”

And for historical context, see (one of your correspondent’s all-time favorite books) Peter Bernstein’s Against the Gods: The Remarkable Story of Risk.

[image above: source]

* Heywood Hale Broun

###

As we roll the dice, we might spare a thought for Srinivasa Ramanujan; he died on this date in 1920. A largely self-taught mathematician from Madras, he initially developed his own mathematical research in isolation: according to Hans Eysenck: “He tried to interest the leading professional mathematicians in his work, but failed for the most part. What he had to show them was too novel, too unfamiliar, and additionally presented in unusual ways; they could not be bothered.” Seeking mathematicians who could better understand his work, in 1913 he began a postal partnership with the English mathematician G. H. Hardy at the University of Cambridge, England. Recognizing Ramanujan’s work as extraordinary, Hardy arranged for him to travel to Cambridge. In his notes, Hardy commented that Ramanujan had produced groundbreaking new theorems, including some that “defeated me completely; I had never seen anything in the least like them before.”

Ramanujan made substantial contributions to mathematical analysisnumber theoryinfinite series, and continued fractions, including solutions to mathematical problems then considered unsolvable. During his short life, he independently compiled nearly 3,900 results (mostly identities and equations).  Many were completely novel; his original and highly unconventional results, such as the Ramanujan prime, the Ramanujan theta functionpartition formulae, and mock theta functions, have opened entire new areas of work and inspired a vast amount of further research.  Nearly all his claims have now been proven correct.

See also: “Do not worry about your difficulties in Mathematics. I can assure you mine are still greater,” and enjoy the 2015 film on Ramanujan, “The Man Who Knew Infinity.”

source