https://mklab.gr/ Wed, 29 Jul 2026 08:23:43 +0000 MyBB https://mklab.gr/showthread.php?tid=1366 Mon, 27 Jul 2026 02:48:59 +0300 mklabgr]]> https://mklab.gr/showthread.php?tid=1366 William Dunham, A tribute to Euler

Sumary

In this lecture hosted by the Clay Mathematics Institute, mathematician William Dunham presents a tribute to Leonhard Euler by exploring his life, surveying his major contributions, and detailing one of his famous proofs. Dunham outlines Euler’s biography—from his mentorship under Johann Bernoulli and graduation at age 15 to his prolific productivity at the Saint Petersburg and Berlin academies, where he continued spouting papers even after becoming completely blind. 
The talk highlights renowned Eulerian achievements, including defining the base of the natural logarithm $e$, deriving Euler's identity ($e^{i\pi} + 1 = 0$), solving the Basel problem, establishing the polyhedral formula ($V + F = E + 2$), founding graph theory via the Königsberg bridge problem, and massively expanding the collection of known amicable numbers.

 To showcase Euler's clarity and genius, Dunham walks through his 1740 generating-function proof demonstrating that the number of ways to partition any integer into distinct summands equals the number of ways to partition it into odd summands, concluding with audience questions on Euler's calculus texts, transparent thought process, and popular science writings.


LECTURE]]> William Dunham, A tribute to Euler

Sumary

In this lecture hosted by the Clay Mathematics Institute, mathematician William Dunham presents a tribute to Leonhard Euler by exploring his life, surveying his major contributions, and detailing one of his famous proofs. Dunham outlines Euler’s biography—from his mentorship under Johann Bernoulli and graduation at age 15 to his prolific productivity at the Saint Petersburg and Berlin academies, where he continued spouting papers even after becoming completely blind. 
The talk highlights renowned Eulerian achievements, including defining the base of the natural logarithm $e$, deriving Euler's identity ($e^{i\pi} + 1 = 0$), solving the Basel problem, establishing the polyhedral formula ($V + F = E + 2$), founding graph theory via the Königsberg bridge problem, and massively expanding the collection of known amicable numbers.

 To showcase Euler's clarity and genius, Dunham walks through his 1740 generating-function proof demonstrating that the number of ways to partition any integer into distinct summands equals the number of ways to partition it into odd summands, concluding with audience questions on Euler's calculus texts, transparent thought process, and popular science writings.


LECTURE]]> https://mklab.gr/showthread.php?tid=1303 Sat, 25 Jul 2026 19:28:34 +0300 mklabgr]]> https://mklab.gr/showthread.php?tid=1303 AI In Education: Shaping The Future Of Classrooms

Summary

In this keynote at the India Today Conclave 2025, Harvard Professor Bharat Anand explores how generative AI is reshaping the landscape of education and organizational structures. He argues that AI's true revolution lies in its accessible user interfaces—which democratize complex computing power—rather than raw technical intelligence alone. To navigate its implementation, 

Anand presents a framework evaluating the trade-off between the cost of error and data explicitness, urging leaders and educators to prioritize high-value time savings and human-in-the-loop workflows over fear of model hallucinations. While AI-driven virtual tutors show high promise in boosting student engagement, 

Anand cautions that the technology risks widening educational gaps by disproportionately benefiting those with pre-existing expertise. Ultimately, he stresses that schools must move past administrative automation and re-evaluate the core purpose of teaching, shifting focus toward human-centric skills like judgment, critical reasoning, and curiosity.


LECTURE]]> AI In Education: Shaping The Future Of Classrooms

Summary

In this keynote at the India Today Conclave 2025, Harvard Professor Bharat Anand explores how generative AI is reshaping the landscape of education and organizational structures. He argues that AI's true revolution lies in its accessible user interfaces—which democratize complex computing power—rather than raw technical intelligence alone. To navigate its implementation, 

Anand presents a framework evaluating the trade-off between the cost of error and data explicitness, urging leaders and educators to prioritize high-value time savings and human-in-the-loop workflows over fear of model hallucinations. While AI-driven virtual tutors show high promise in boosting student engagement, 

Anand cautions that the technology risks widening educational gaps by disproportionately benefiting those with pre-existing expertise. Ultimately, he stresses that schools must move past administrative automation and re-evaluate the core purpose of teaching, shifting focus toward human-centric skills like judgment, critical reasoning, and curiosity.


LECTURE]]> https://mklab.gr/showthread.php?tid=1270 Thu, 23 Jul 2026 01:26:25 +0300 mklabgr]]> https://mklab.gr/showthread.php?tid=1270 Which proofs need computer assistance?

Summary

At the LMS General Meeting 2026 celebrating the 50th anniversary of the Four-Colour Theorem, Kevin Buzzard explored how computer assistance in mathematics has evolved from simple brute-force computation to necessary formal verification. He argued that modern proofs—ranging from massive combinatorial case checks to hyper-complex contemporary fields like condensed mathematics—are reaching a scale and density where human refereeing alone is no longer sufficient. By utilizing interactive theorem provers like Lean, mathematicians can verify logical derivations step-by-step from base axioms, bridging the gap between human intuition and machine-certified mathematical truth while setting the stage for future AI-driven auto-formalization.

LECTURE]]> Which proofs need computer assistance?

Summary

At the LMS General Meeting 2026 celebrating the 50th anniversary of the Four-Colour Theorem, Kevin Buzzard explored how computer assistance in mathematics has evolved from simple brute-force computation to necessary formal verification. He argued that modern proofs—ranging from massive combinatorial case checks to hyper-complex contemporary fields like condensed mathematics—are reaching a scale and density where human refereeing alone is no longer sufficient. By utilizing interactive theorem provers like Lean, mathematicians can verify logical derivations step-by-step from base axioms, bridging the gap between human intuition and machine-certified mathematical truth while setting the stage for future AI-driven auto-formalization.

LECTURE]]> https://mklab.gr/showthread.php?tid=1221 Mon, 20 Jul 2026 20:00:10 +0300 mklabgr]]> https://mklab.gr/showthread.php?tid=1221 Mathematical Methods and Human Thought in the Age of AI

Summary

In this interview, mathematician Terence Tao and computational art historian Tanya Klowden discuss their collaborative paper, Mathematical Methods and Human Thought in the Age of AI, which examines the evolving role of artificial intelligence across technical disciplines and the humanities Prompted by the rapid advancement of AI, the authors explore fundamental philosophical and ethical questions regarding how AI impacts problem-solving, intellectual fulfillment, and human thought . 

They propose viewing AI not merely as an automated tool or an existential threat, but as a collaborative entity akin to a junior colleague or child requiring guidance . Central to their work is a "Copernican shift" in viewing intelligence: rather than treating human intellect as the sole center of the universe, society should recognize a broader spectrum of intelligences—human, machine, and hybrid collaborations—each with distinct strengths . They emphasize that meaningful progress relies on human-AI synergy, embracing open inquiry, and learning from failure rather than relying strictly on automated outputs .

LECTURE]]> Mathematical Methods and Human Thought in the Age of AI

Summary

In this interview, mathematician Terence Tao and computational art historian Tanya Klowden discuss their collaborative paper, Mathematical Methods and Human Thought in the Age of AI, which examines the evolving role of artificial intelligence across technical disciplines and the humanities Prompted by the rapid advancement of AI, the authors explore fundamental philosophical and ethical questions regarding how AI impacts problem-solving, intellectual fulfillment, and human thought . 

They propose viewing AI not merely as an automated tool or an existential threat, but as a collaborative entity akin to a junior colleague or child requiring guidance . Central to their work is a "Copernican shift" in viewing intelligence: rather than treating human intellect as the sole center of the universe, society should recognize a broader spectrum of intelligences—human, machine, and hybrid collaborations—each with distinct strengths . They emphasize that meaningful progress relies on human-AI synergy, embracing open inquiry, and learning from failure rather than relying strictly on automated outputs .

LECTURE]]> https://mklab.gr/showthread.php?tid=1172 Fri, 17 Jul 2026 19:40:31 +0300 mklabgr]]> https://mklab.gr/showthread.php?tid=1172 BY Christos Faloutsos

Summary

In his insightful presentation, computer scientist Christos Faloutsos dives into the fascinating world of network analysis, explaining how we can spot hidden patterns and bizarre anomalies inside massive graphs like Facebook, LinkedIn, and phone networks. He reveals that real-world connections aren't random at all; instead, they follow heavy-tailed power law distributions where standard, textbook concepts like "averages" simply break down because human behavior is naturally skewed. By mapping features like overlapping friend groups and tracing the duration of phone calls, his team developed powerful tools—such as the Pegasus system built on Hadoop—capable of scanning billions of data points in mere days. 
This structural perspective allows researchers to instantly flag unusual activity, from coordinated adult advertising rings on Twitter and multi-account auction fraud on eBay, to calculating exactly how quickly an epidemic or a fresh idea will ripple through a population. Ultimately, Faloutsos underscores that as data explodes to a petabyte scale, it reveals unique human and computer behaviors that completely defy traditional statistics and simply cannot be seen in smaller samples.

LECTURE

]]> BY Christos Faloutsos

Summary

In his insightful presentation, computer scientist Christos Faloutsos dives into the fascinating world of network analysis, explaining how we can spot hidden patterns and bizarre anomalies inside massive graphs like Facebook, LinkedIn, and phone networks. He reveals that real-world connections aren't random at all; instead, they follow heavy-tailed power law distributions where standard, textbook concepts like "averages" simply break down because human behavior is naturally skewed. By mapping features like overlapping friend groups and tracing the duration of phone calls, his team developed powerful tools—such as the Pegasus system built on Hadoop—capable of scanning billions of data points in mere days. 
This structural perspective allows researchers to instantly flag unusual activity, from coordinated adult advertising rings on Twitter and multi-account auction fraud on eBay, to calculating exactly how quickly an epidemic or a fresh idea will ripple through a population. Ultimately, Faloutsos underscores that as data explodes to a petabyte scale, it reveals unique human and computer behaviors that completely defy traditional statistics and simply cannot be seen in smaller samples.

LECTURE

]]> https://mklab.gr/showthread.php?tid=994 Thu, 09 Jul 2026 02:13:19 +0300 mklabgr]]> https://mklab.gr/showthread.php?tid=994 The Future of AI and the Mathematical and Physical Sciences
BY [NASA]

LECTURE

]]> The Future of AI and the Mathematical and Physical Sciences
BY [NASA]

LECTURE

]]> https://mklab.gr/showthread.php?tid=418 Tue, 16 Jun 2026 05:56:48 +0300 mklabgr]]> https://mklab.gr/showthread.php?tid=418 What is algebraic geometry? 
by [aleph0]

Summary 

This video introduces algebraic geometry as a conceptual bridge between algebra and geometry, demonstrating how abstract algebraic rings encode the real-world geometric properties of curves. By defining "coordinate rings" for shapes like circles or parabolas, mathematicians can use polynomial behavior to rigorously identify visual properties—such as whether a curve is a single piece (irreducible) or composed of intersecting segments (reducible) . 
This dictionary even works backward: advanced concepts like "schemes" allow purely algebraic objects, such as the integers, to be mapped as geometric spaces (like spec Z) where numbers act as functions . 
Ultimately, this framework provides a powerful toolkit that translates un-visualizable equations into formal math, driving critical breakthroughs in fields like modern number theory and the proof of Fermat's Last Theorem .

LECTURE PAGE]]> What is algebraic geometry? 
by [aleph0]

Summary 

This video introduces algebraic geometry as a conceptual bridge between algebra and geometry, demonstrating how abstract algebraic rings encode the real-world geometric properties of curves. By defining "coordinate rings" for shapes like circles or parabolas, mathematicians can use polynomial behavior to rigorously identify visual properties—such as whether a curve is a single piece (irreducible) or composed of intersecting segments (reducible) . 
This dictionary even works backward: advanced concepts like "schemes" allow purely algebraic objects, such as the integers, to be mapped as geometric spaces (like spec Z) where numbers act as functions . 
Ultimately, this framework provides a powerful toolkit that translates un-visualizable equations into formal math, driving critical breakthroughs in fields like modern number theory and the proof of Fermat's Last Theorem .

LECTURE PAGE]]> https://mklab.gr/showthread.php?tid=416 Tue, 16 Jun 2026 05:45:01 +0300 mklabgr]]> https://mklab.gr/showthread.php?tid=416 Basic epidemiological modeling 
by Zeb Mason

Summary

This short video explains the modeling of an epidemic. It presents the model as a card game you can play. Something you can do with a pack of cards. Zeb explains what each column means as the game goes on. It provides a visual representation of different aspects of the model.

LECTURE]]> Basic epidemiological modeling 
by Zeb Mason

Summary

This short video explains the modeling of an epidemic. It presents the model as a card game you can play. Something you can do with a pack of cards. Zeb explains what each column means as the game goes on. It provides a visual representation of different aspects of the model.

LECTURE]]> https://mklab.gr/showthread.php?tid=113 Sat, 06 Jun 2026 23:33:14 +0300 mklabgr]]> https://mklab.gr/showthread.php?tid=113 Elite set of lectures on the Millennium prize problems over at Harvard CMSA.

Include talks by Michael Freedman, Pierre Deligne (Hodge conjecture), Barry Mazur (Birch and Swinnerton-Dyer), Sarnak (Riemann Hypothesis), Chatterjee (Yang-Mills), Sudan (P vs NP), Gomez-Serrano (Navier-Stokes).

LECTURES]]> Elite set of lectures on the Millennium prize problems over at Harvard CMSA.

Include talks by Michael Freedman, Pierre Deligne (Hodge conjecture), Barry Mazur (Birch and Swinnerton-Dyer), Sarnak (Riemann Hypothesis), Chatterjee (Yang-Mills), Sudan (P vs NP), Gomez-Serrano (Navier-Stokes).

LECTURES]]> https://mklab.gr/showthread.php?tid=47 Sun, 30 Mar 2025 14:03:54 +0300 mklabgr]]> https://mklab.gr/showthread.php?tid=47
https://www.youtube.com/playlist?list=PL...X1QEraaacE]]>
https://www.youtube.com/playlist?list=PL...X1QEraaacE]]>