mathematicians

A video clip of computing pioneer Alan Kay is circulating on Hacker News, in which he discusses Claude Shannon, the mathematician who founded information theory. The snippet shown references Shannon's work on handling noisy communication channels, a foundational idea behind modern digital communication and computing. Commenters appear drawn to Kay's reflections on computing history and theory, though the full context of the discussion is limited to a single post with around 140 points and no visible thread detail.

Villa Europa, the European Union's representation building in Rome, has welcomed Cedric Villani, the French mathematician, Fields Medal winner and former member of the National Assembly who later became involved in European political circles. The European External Action Service flagged his visit, which is being noted among followers of EU affairs as a sign of his continued engagement with European institutions.

Mathematician Terence Tao has written about the formation of an Advisory Group on Mathematics and Artificial Intelligence, in a post dated 21 September 2026 on his personal blog. The group is expected to examine how AI tools relate to mathematical research and practice. Details beyond the announcement itself, including the group's membership and mandate, have not been spelled out in the post's title, and reaction so far consists largely of readers sharing the link and speculating about its aims.

A physicist says he challenged an AI model to tackle a nine-loop calculation, a notoriously difficult problem in theoretical physics, and Claude reportedly solved it. If accurate, it would mark a striking demonstration of AI's ability to handle complex, multi-step scientific reasoning that has traditionally required expert mathematicians and physicists.

Engineer Agost Biro has published a detailed walkthrough dissecting the anatomy of a Lean proof, aimed specifically at software engineers rather than mathematicians. The post breaks down how formal proofs are structured and what working developers can take from the theorem-proving world. Readers in programming communities are sharing the piece as an accessible entry point into formal verification.

Stephen Wolfram has published a long essay asking what role human mathematicians will play as AI systems grow more capable at pure mathematics. He explores whether machine-assisted proof and computation will change how mathematical research is done and what remains distinctively human in the field.

Fast Company argues that AI systems increasingly capable of advanced mathematics could make today's mathematicians the last generation to achieve fame for solving great problems alone. The piece suggests machines will soon rival humans at conjectures and proofs, reshaping a field long celebrated for individual genius and raising questions about the future role of human mathematicians.

A 2011 Columbia University piece on programming the ENIAC, one of the first general-purpose electronic computers, is drawing fresh attention. The article recounts how early programmers, many of them women mathematicians, had to physically rewire the machine rather than write software in the modern sense, offering a rare window into the origins of computing.

Experimental electronic act Math Dealer has released a new track titled 'Pi', tagged as psychedelic, psytrance and experimental music. The release is being shared by Mathematician Records, a label apparently focused on mathematics-themed music. Reaction so far is limited, with only a small amount of early engagement as listeners in the psychedelic and electronic music communities discover the track.

Attention is focused on whether artificial intelligence has cracked one of mathematics' hardest problems. Neil deGrasse Tyson's StarTalk is among the discussions asking if AI has delivered a genuine breakthrough on a long-unsolved challenge, fueling debate over what the achievement would mean for mathematicians and for the future of AI-assisted research.

Anniversary posts mark the death of French mathematician and astronomer François Arago, who died on this day in 1853. Arago is credited with discovering polarized light in the tail of the Great Comet of 1819, among many contributions to optics and astronomy. The mention is tied to travel content about Paris and megaliths in France, where Arago is commemorated.

A group of mathematicians and AI researchers has published a proposal for the responsible release of AI-generated mathematics, outlining standards for how computer-discovered proofs and results should be shared and verified. The guidelines call for transparency about machine involvement and careful review before new mathematical claims enter the public record. The framework is drawing attention as AI systems increasingly contribute to formal mathematical discovery.

Mathematician Maggie Miller explains why human intuition built on three dimensions fails in four, and how she visualizes four-dimensional spaces as a sequence of three-dimensional snapshots, like frames on a reel. Writing in Quanta Magazine, she explores what the fourth dimension actually means, offering accessible ways to think about higher-dimensional geometry that challenge everyday spatial assumptions.

In 1820, mathematician Carl Friedrich Gauss reportedly proposed carving gigantic right-angled triangles or squares into Siberian forests by clearing trees, planting wheat in between, hoping the geometric shapes would be visible from space and signal intelligent life. The anecdote is circulating again on social media, drawing amused and fascinated reactions as an early example of communication with extraterrestrial intelligence, long before modern SETI efforts.

A 1973 essay by mathematician Paul Halmos about John von Neumann is circulating again online, shared as a PDF hosted on Gwern.net. The piece recounts anecdotes and reflections on von Neumann's legendary intellect and personality. Readers are discussing the mathematician's outsized influence on computing, mathematics and game theory, renewing long-standing fascination with one of the twentieth century's most celebrated scientific minds.

Shor's algorithm, developed in 1994 by American mathematician Peter Shor, is a quantum algorithm for finding the prime factors of an integer. Its theoretical power threatens widely used encryption based on factoring difficulty, and its existence has prompted a global shift toward post-quantum cryptography as researchers and governments prepare for future quantum computers.

arXiv, the open-access preprint server widely used by physicists, mathematicians and computer scientists, has introduced a new rate limit allowing each submitter to post a maximum of two papers per month. The policy takes effect immediately. Observers say the change is aimed at curbing a flood of low-quality, AI-generated submissions that has been overwhelming moderators and cluttering the repository.

A Columbia University computing history page on programming the ENIAC has drawn renewed attention. The 2011 piece recounts how the machine, one of the earliest electronic general-purpose computers built at the University of Pennsylvania in the 1940s, was programmed by hand-switching cables and setting switches, work famously carried out by six women mathematicians. Readers are revisiting the story as an early milestone in computing and a notable moment in the history of women in technology.

Quanta Magazine has published a feature exploring what the fourth dimension actually looks like, examining how mathematicians and physicists conceptualize and visualize spaces beyond our familiar three. The piece, filed under science, mathematics and physics, breaks down projection and slicing techniques used to make higher-dimensional objects graspable, and it is being shared and discussed among science readers online.

Mathematician Maggie Miller has published a Quanta Magazine explanation of how to visualise four-dimensional space, describing 4D as a sequence of 3D snapshots, much like frames on a reel of film. The piece walks through why human intuition, built for three dimensions, struggles with 4D objects and how mathematicians work around that limit. It is drawing attention among science readers interested in topology and higher-dimensional geometry.

Mathematician Tristan Buckmaster gives an interview with Numberphile about the Navier-Stokes equations, one of the Clay Millennium Prize problems. The conversation covers progress on understanding fluid equation regularity, an area where Buckmaster has published notable work. Mathematicians on Mathstodon are sharing the video, sparking discussion about the long-standing open problem and recent advances in the field.

Mathematician Tristan Buckmaster has given an interview to the mathematics channel Numberphile about the Navier-Stokes equations, one of the most famous unsolved problems in mathematics. The conversation covers his research on blow-up and singularity formation in fluid equations, a topic he is known for advancing. It is drawing attention from mathematicians and science enthusiasts discussing the state of the Millennium Prize problem.

A 1945 memorandum between mathematician Hermann Weyl and Frank Aydelotte, then director of the Institute for Advanced Study, has been made available through the IAS digital repository and is drawing attention from readers of a technology discussion forum. The document offers a glimpse into the institute's wartime-era intellectual life and Weyl's role there after fleeing Nazi Germany.