STEM Lab Shqip

24/06/2026

MARYNA VIAZOVSKA: THE SECOND WOMAN TO WIN THE PRESTIGIOUS FIELDS MEDAL 🌹❤️♥️

Maryna Viazovska, a mathematician from Kyiv, was awarded the Fields Medal in 2022—one of the most prestigious honors in mathematics—for solving the problem of sphere packing in eight-dimensional space.

Notably, before her breakthrough, the problem had only been solved in three dimensions, and that solution spanned 300 pages. Viazovska’s proof, in contrast, was just 23 pages long and stood out for its remarkable elegance.

She also holds the distinction of being only the second woman ever to receive the Fields Medal.

In 2016, Maryna Viazovska solved the sphere packing problem in dimension 8, proving that the E₈ lattice constitutes the densest possible arrangement. Shortly after, together with collaborators, she established an analogous result in dimension 24 using the Leech lattice. Her method provided an elegant solution to a problem studied for centuries, with close ties to applied fields such as error-correcting codes.

For this major contribution, Viazovska was awarded the Fields Medal in 2022, the highest distinction in mathematics. Her proof was swiftly accepted by the scientific community, but formally verifying it by computer represents a challenge of a different kind: it requires translating every step of the reasoning into a logical language that software can check automatically.

The project Formalising Sphere Packing in Lean, launched in 2024 following a meeting in Lausanne between Viazovska and young mathematician Sidharth Hariharan, took on this task. Working with several international researchers, the team constructed a detailed blueprint of the dimension-8 proof and progressively translated it into Lean, a proof assistant widely used in mathematics. A specialized AI, Gauss, developed by startup Math, Inc., then played a decisive role in the formalization. By helping to complete certain intermediate steps, it accelerated the process and enabled the dimension-8 case to be wrapped up in five days, followed by the considerably larger dimension-24 case — over 200,000 lines of code — in two weeks.

This international project illustrates the rapid progress of formal verification and could mark a turning point in the collaboration between mathematicians and AI systems for verifying and constructing complex mathematical proofs.

References
https://spectrum.ieee.org/ai-proof-verification

17/06/2026

02/05/2025

6 Father of Branch of Mathematics WHO changed the world.

6 Father of Branch of Mathematics WHO changed the world.
1. Archemedes: Father of Mathematics, Archimedes was the greatest mathematician of his age. His contributions in geometry revolutionised the subject and his methods anticipated the integral calculus. He was a practical man who invented a wide variety of machines including pulleys and the Archimidean screw pumping device.

2. Euclid: Father of Geometry, Euclid was a Greek mathematician best known for his treatise on geometry: The Elements. This influenced the development of Western mathematics for more than 2000 years.

3.Al'Khwarizmi: Father of Algebra, Al'Khwarizmi was an Islamic mathematician who wrote on Hindu-Arabic numerals. The word algorithm derives from his name. His algebra treatise Hisab al-jabr w'al-muqabala gives us the word algebra and can be considered as the first book to be written on algebra.

4. Issac Newton: Father of Calculus, Isaac Newton was the greatest English mathematician of his generation. He laid the foundation for differential and integral calculus. His work on optics and gravitation make him one of the greatest scientists the world has known.

5. Carl Friedrich Gauss: Prince of Mathematics, Carl Friedrich Gauss worked in a wide variety of fields in both mathematics and physics incuding number theory, analysis, differential geometry, geodesy, magnetism, astronomy and optics. His work has had an immense influence in many areas.

6. Leonhard Euler: King of Mathematics, Leonhard Euler was a Swiss mathematician who made enormous contributions to a wide range of mathematics and physics including analytic geometry, trigonometry, geometry, calculus and number theory.

Source: Mac Tutor

02/05/2025

6 Father of Branch of Mathematics WHO changed the world.
1. Archemedes: Father of Mathematics, Archimedes was the greatest mathematician of his age. His contributions in geometry revolutionised the subject and his methods anticipated the integral calculus. He was a practical man who invented a wide variety of machines including pulleys and the Archimidean screw pumping device.

2. Euclid: Father of Geometry, Euclid was a Greek mathematician best known for his treatise on geometry: The Elements. This influenced the development of Western mathematics for more than 2000 years.

3.Al'Khwarizmi: Father of Algebra, Al'Khwarizmi was an Islamic mathematician who wrote on Hindu-Arabic numerals. The word algorithm derives from his name. His algebra treatise Hisab al-jabr w'al-muqabala gives us the word algebra and can be considered as the first book to be written on algebra.

4. Issac Newton: Father of Calculus, Isaac Newton was the greatest English mathematician of his generation. He laid the foundation for differential and integral calculus. His work on optics and gravitation make him one of the greatest scientists the world has known.

5. Carl Friedrich Gauss: Prince of Mathematics, Carl Friedrich Gauss worked in a wide variety of fields in both mathematics and physics incuding number theory, analysis, differential geometry, geodesy, magnetism, astronomy and optics. His work has had an immense influence in many areas.

6. Leonhard Euler: King of Mathematics, Leonhard Euler was a Swiss mathematician who made enormous contributions to a wide range of mathematics and physics including analytic geometry, trigonometry, geometry, calculus and number theory.

Source: Mac Tutor