Showing posts with label history of mathematics. Show all posts
Showing posts with label history of mathematics. Show all posts

Monday, August 31, 2026

Huge Breakthrough in the Math of Imbalance

Recommendable! It took 15 years to refine the algorithm.

"... You can always make [two or more] teams [of extremely different individuals] surprisingly even, according to researchers studying combinatorial discrepancy theory.

Discrepancy theory is a branch of mathematics concerned with allocating resources as evenly as possible. ...

In the early 1980s, the mathematician János Komlós came up with a counterintuitive [conjecture]. He [predicted] that no matter how many objects (your players) or dimensions (... categories [or dimensions, attributes]) you consider, the discrepancy — which you can quantify — will never exceed a constant amount. There will always be a way to divide the teams with a discrepancy below that exact amount. ...

If the Komlós conjecture is true, it could unlock answers to many other problems, both within discrepancy theory and in fields like operations research. ...

Then, in fall 2025, [researchers] announced the first major advance on the problem(opens a new tab) in nearly 30 years. They found a limit that changes so slowly with the dimension that it is only a hair away from constant, even with an astronomical number of dimensions. ...

The Komlós conjecture imagines each person (or object) as an arrow of length 1 called a unit vector. This vector is defined by a list of coordinates, where each coordinate measures how much of a particular attribute that person has. ...

Now assign each vector to a team. If you put a vector in Team A, leave its coordinates alone. If you put it in Team B, multiply each of its coordinates by −1. (This flips the vector around.) ...

If you’re able to make a perfect split, dividing people into two teams so that each team has an equal ..., then all of these vectors should add up to zero. Perfect harmony.

But perfection usually isn’t possible. So the question becomes: How close to zero can you get? ...

Consider one naïve strategy: Simply assign vectors to teams at random. This leads to a discrepancy that skyrockets as the number of vectors, N, increases.
In 1985, Joel Spencer found a better bound, capping discrepancy below the logarithm of N;
in 1998, Wojciech Banaszczyk improved the bound to

, which can also be written as log(N)½. Both were meaningful strides, but the amount of imbalance still grew as the number of vectors did. Komlós’ constant felt out of reach. ...

In 2010, he came up with an idea for an algorithm(opens a new tab). He started by splitting each vector in half. ..."

‘Huge Breakthrough’ in the Math of Imbalance | Quanta Magazine "For the first time in 30 years, computer scientists have found a better way to allocate objects evenly between two groups."


From the abstract







Friday, June 05, 2026

With over 1600 signatories, mathematicians issue a declaration warning of AI. Really!

I bet, some mathematicians were also complaining when the Abacus was introduced more than 4,000 years ago! 😊 Same old story!

Of course, machine learning and AI is coming to mathematics, the queen of sciences (according to a famous quote from Carl Friedrich Gauss). I am already curious what ML & AI will contribute to mathematics. Apparently, it has already provided some proofs to some very old mathematical problems.

It is probably safe to largely ignore these warnings!

"Few communities have felt that pressure more acutely than mathematicians, who have haplessly watched AI get frighteningly smart, frighteningly fast.

Today, 16 math specialists have turned that unease into a public cry for help—and call to action. Part warning, part manifesto, the 11-page Leiden Declaration on Artificial Intelligence and Mathematics cautions that unchecked automation threatens not only how math is practiced, but what the discipline stands for. It also lays out principles for using AI in ways that support, rather than erode, the field. ..."

Mathematicians issue warning as AI rapidly gains ground | Science | AAAS

Leiden Declaration on Artificial Intelligence and Mathematics "This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research. It is the result of a community initiative and is endorsed by the International Mathematical Union (IMU)."

Monday, May 25, 2026

A short biography of mathematician Georg Cantor

Recommendable!

The Man Who Stole Infinity | Quanta Magazine "In an 1874 paper, Georg Cantor proved that there are different sizes of infinity and changed math forever. A trove of newly unearthed letters shows that it was also an act of plagiarism."


Georg Cantor


Thursday, April 16, 2026

Math long resisted a digital disruption. AI is poised to change that

Food for thought! I also had the impression that the queen of science was kind of aloof and resisted machine learning & AI to some extent. However, we may see a revolution in the making!

"Mathematician ... is training computers how to prove one of the most famous problems in math history: Fermat’s last theorem.

Resolving the problem isn’t the point. There’s already an accepted proof that was finalized in 1998. That work is a tortuous maze of mathematics that fills about 130 pages over two papers. It spans mathematical fields and unites abstract ideas that previously seemed to have little to say to one another. ... 

Now, the explosion in artificial intelligence has propelled efforts, spearheaded by technology companies, to combine large language models with theorem provers to develop systems capable of autoformalization. In theory, such systems may ultimately be able to do things that humans can’t. ..."

AI could radically change how math proofs are verified "Modern formalization, supercharged by AI, could radically change the way people do mathematics"

The AI Revolution in Math Has Arrived "AI is being used to prove new results at a rapid pace. Mathematicians think this is just the beginning."




Tuesday, December 09, 2025

AI mathematics startup Axiom proves two longstanding mathematical problems of Paul Erdős

Good news! Math may benefit a lot from ML & AI especially when it comes to complex problems etc.! It will be leaner and meaner!

Unfortunately, neither Google nor Bing search produce relevant news articles on this story. Interestingly, there are apparently some Chinese news outlets which reported on this story, but their articles are in Chinese (see e.g. here). Is this not curious! Maybe another sign that the West is falling behind?

"AI mathematics startup Axiom produced formalized proofs for two open conjectures in the mathematical language Lean. Erdös problem #481 has been open since 1980 and problem #124 has been open for about 30 years.
Prolific mathematician Paul Erdős formulated roughly 1,100 problems, but only 266 have ever been proved. The solutions come weeks after OpenAI claimed GPT-5 solved Erdős problems, only for mathematicians to observe the model had retrieved existing solutions rather than having discovered new proofs."

Data Points: Gemini 3 adds compute-intensive Deep Think


24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Axiom Math (Source)





Sunday, May 25, 2025

Image of the day

If you mention a fancy, new mathematical term like then Lebesgue integral on a park bench and it gets overheard your career in mathematics may just take off. So it happened to Stefan Banach in 1916.

Otto Nikodym and Stefan Banach Memorial Bench in Kraków, Poland



Sunday, January 26, 2025

The Jagged, Monstrous Weierstrass Function of 1872 That Broke Calculus

Recommendable!

The Jagged, Monstrous Function That Broke Calculus | Quanta Magazine "In the late 19th century, Karl Weierstrass invented a fractal-like function that was decried as nothing less than a “deplorable evil.” In time, it would transform the foundations of mathematics."'





Wednesday, June 05, 2024

A Rosetta Stone for Mathematics or was it a philosopher's stone?

Recommendable! What about a philosopher's stone? 😊

"In 1940, from a jailhouse in Rouen, France, André Weil wrote one of the most consequential letters of 20th-century mathematics. He was serving time for refusing to join the French army, and he filled his days in part by writing letters to his sister, Simone, an accomplished philosopher living in London.

In a previous letter, Simone had asked André to tell her about his work. With war all around, André began his reply cautiously, warning his sister that past a certain point “you will understand nothing of what follows.” Over the next 14 pages, he sketched his idea for a “Rosetta stone” for mathematics. ...
Weil’s Rosetta stone linked three fields of mathematics: number theory, geometry, and, in the middle, the study of finite fields.

Other mathematicians had proposed ideas in this direction, but Weil was the first to spell out an exact vision. His letter presaged the Langlands program, a major initiative in contemporary mathematical research. ..."

A Rosetta Stone for Mathematics | Quanta Magazine In 1940 André Weil wrote a letter to his sister, Simone, outlining his vision for translating between three distinct areas of mathematics. Eighty years later, it still animates many of the most exciting developments in the field.

André Weil and his sister Simone pictured when he was 16 and she was 13. Both grew up to become influential intellectuals.


Sunday, August 07, 2022

Klara Dan von Neumann, the wife of John von Neumann

John von Neumann and Klara Dan von Neumann, another couple where both together were engaged in scientific and/or technical research reminiscent of the famous Curie couple.

Wikipedia summarizes: "was a [Jewish] Hungarian-American self-taught computer scientist, noted as one of the first computer programmers. ..."
I am afraid, the Wikipedia entry of her is possibly incomplete.

Her collaboration with Nick Metropolis is not mentioned in her entry, but indirectly in the Wikipedia entry for the MANIAC computer: "... In the 1940’s Nick Metropolis, a young physicist, designed new controls for the state-of-the-art computer (ENIAC) with Klari Von Neumann, John’s wife. He (Nicholas Metropolis) was fascinated with Monte Carlo methods and this new computing device. Soon he designed an improved computer, which he named the MANIAC in the hope that computer scientists would stop using acronyms. ..." (Source)

She lived only 52 years, but she had 4 husbands!

Klára Dán von Neumann - Wikipedia

For attribution of this photo see Wikipedia entry