#mathemat
LightNews LightNews
iflscience.com
Apparently further study is required to work out the correct mathematical conditions for women. www.iflscience.com/the-mathemat...
November 4, 2026 at 10:15 AM
informaq-de.bsky.social
Es wird festgestellt, dass Frustrationsfreiheit in Quanten-Vielteilchen-Hamiltonianern für feste lokale Dimensionen entscheidbar ist, aber innerhalb der Standardmathematik unbeweisbar ist, was einen grundlegenden Unterschied zwischen rechnerischer Entscheidbarkeit und mathemat...
Entscheidbarkeit und Unbeweisbarkeit von Frustrationsfreiheit in Quantensystemen
iq.fp2.dev
November 6, 2026 at 3:59 AM
stevehuntsman.bsky.social
Harry Truman said “it is amazing what you can accomplish if you do not care who gets the credit.”
Egoless Mathematics in the AI Era
[This is a guest post by Karthik C. S., Amit Sahai, and Jie Xue. This blog post was initially written in a different file format and converted using AI. — T.] This is a good time for mathemat…
terrytao.wordpress.com
November 4, 2026 at 2:54 PM
jalonso.eurosky.social
Egoless mathematics in the AI era. — Karthik C. S., Amit Sahai, Jie Xue.

terrytao.wordpress.com/2026/11/02/e...

#AI4Math
Egoless Mathematics in the AI Era
[This is a guest post by Karthik C. S., Amit Sahai, and Jie Xue. This blog post was initially written in a different file format and converted using AI. — T.] This is a good time for mathemat…
terrytao.wordpress.com
November 3, 2026 at 12:11 PM
elisejan.bsky.social
www.lemonde.fr/sciences/art...
« Le grand danger serait une vision de la recherche mathématique cantonnée à sa partie la plus vulnérable à l’IA »
TRIBUNE. En réduisant le domaine aux seuls problèmes que l’intelligence artificielle sait résoudre, c’est le travail des chercheurs, à la croisée des disciplines, qui est menacé, alertent les mathémat...
www.lemonde.fr
November 5, 2026 at 5:56 PM
hackernewsrobot.bsky.social
Egoless Mathematics in the AI Era
Egoless Mathematics in the AI Era
[This is a guest post by Karthik C. S., Amit Sahai, and Jie Xue. This blog post was initially written in a different file format and converted using AI. — T.] This is a good time for mathemat…
terrytao.wordpress.com
November 2, 2026 at 11:55 PM
hackernewsbot.bsky.social
Egoless Mathematics in the AI Era | Discussion
Egoless Mathematics in the AI Era
[This is a guest post by Karthik C. S., Amit Sahai, and Jie Xue. This blog post was initially written in a different file format and converted using AI. — T.] This is a good time for mathemat…
terrytao.wordpress.com
November 2, 2026 at 8:00 PM
hnfeed.bsky.social
Egoless Mathematics in the AI Era
https://terrytao.wordpress.com/2026/11/02/egoless-mathematics-in-the-ai-era/
[comments] [155 points]
Egoless Mathematics in the AI Era
[This is a guest post by Karthik C. S., Amit Sahai, and Jie Xue. This blog post was initially written in a different file format and converted using AI. — T.] This is a good time for mathemat…
terrytao.wordpress.com
November 3, 2026 at 8:03 AM
esoltys.dev
"Egoless Mathematics in the AI Era" terrytao.wordpress.com/2026/11/02/e...
Egoless Mathematics in the AI Era
[This is a guest post by Karthik C. S., Amit Sahai, and Jie Xue. This blog post was initially written in a different file format and converted using AI. — T.] This is a good time for mathemat…
terrytao.wordpress.com
November 2, 2026 at 8:24 PM
hn100.atproto.rocks
Egoless Mathematics in the AI Era
https://terrytao.wordpress.com/2026/11/02/egoless-mathematics-in-the-ai-era/

https://news.ycombinator.com/item?id=50341736
Egoless Mathematics in the AI Era
[This is a guest post by Karthik C. S., Amit Sahai, and Jie Xue. This blog post was initially written in a different file format and converted using AI. — T.] This is a good time for mathemat…
terrytao.wordpress.com
November 3, 2026 at 12:30 AM
betterhn20.e-work.xyz
Egoless Mathematics in the AI Era https://terrytao.wordpress.com/2026/11/02/egoless-mathematics-in-the-ai-era/ (https://news.ycombinator.com/item?id=50341736)
Egoless Mathematics in the AI Era
[This is a guest post by Karthik C. S., Amit Sahai, and Jie Xue. This blog post was initially written in a different file format and converted using AI. — T.] This is a good time for mathemat…
terrytao.wordpress.com
November 2, 2026 at 7:45 PM
betterhn50.e-work.xyz
Egoless Mathematics in the AI Era https://terrytao.wordpress.com/2026/11/02/egoless-mathematics-in-the-ai-era/ (https://news.ycombinator.com/item?id=50341736)
Egoless Mathematics in the AI Era
[This is a guest post by Karthik C. S., Amit Sahai, and Jie Xue. This blog post was initially written in a different file format and converted using AI. — T.] This is a good time for mathemat…
terrytao.wordpress.com
November 2, 2026 at 8:59 PM
berevoescu.bsky.social
www.quantamagazine.org/how-mathemat...
How Mathematicians Use Homology to Make Sense of Topology | Quanta Magazine
Originally devised as a rigorous means of counting holes, homology provides a scaffolding for mathematical ideas, allowing for a new way to analyze the shapes within data.
www.quantamagazine.org
November 1, 2026 at 6:19 AM
gltch.io
A hypothetical right-handed neutrino may have held more energy than everything else in the infant universe combined. This particle could explain why matter won out over antimatter after the Big Bang.

Source: livescience.com/physics-mathemat…
#Science
AI-generated illustration: An abstract painting of a swirling galaxy with a bright white center. The spiral is composed of flowing shades of purple, lavender, and gold, with small white dots scattered throughout the dark background.
October 26, 2026 at 8:47 PM
jalonso.eurosky.social
AI and mathematics: public good, credit, and education. ~ András Juhász. proofsandprompts.com/2026/10/24/a...

#AI4Math #AI #Math
AI and Mathematics: Public Good, Credit, and Education
We should preserve the human ability to understand and explore mathematics, not preserve unsolved problems merely to protect a familiar way of working. The goal should be to enlarge public mathemat…
proofsandprompts.com
October 25, 2026 at 9:48 AM
redpenaijobs.bsky.social
See the requirements and screening process → redpenjobs.com/job/mathemat...
October 23, 2026 at 3:07 PM
lscherff.bsky.social
(I do not agree with everything in the article, but the feeling of gen AI sameness, not only regarding its output, is beautifully described.)
carrier-bag.net/convergence/
Convergence – Notes from Inside the Singularity
The authors trace the infrastructural, architectural, and representational large language model convergence across geopolitical boundaries. They argue through materialist, cosmotechnical, and mathemat...
carrier-bag.net
October 18, 2026 at 3:15 PM
xaviertorch.bsky.social
Ugh. "AI" bros trying to make you think an LLM is aware and intelligent.
It's a bunch of linear algebra and some optimization.
jananithinks.medium.com/the-mathemat...
It's not a brain.
It's not intelligent.
It's not aware.
The Mathematics Behind LLMs
Part 2 of a 13-part series about LLMs
jananithinks.medium.com
October 17, 2026 at 4:04 PM
xaviertorch.bsky.social
Um, it is actually a whole bunch of matrices and vectors being multiplied by each other in N dimensions.
That's the core of it, although some other nonsense is layered in.
jananithinks.medium.com/the-mathemat...
Text describing the importance of Linear Algebra i representing sentences and structure to be interpreted.
October 17, 2026 at 3:14 PM
mrmts.bsky.social
A Mathematical Challenge: Is 445-Byte Tetris the Theoretical Limit? mrmts.substack.com/p/a-mathemat...
A Mathematical Challenge: Is 445-Byte Tetris the Theoretical Limit?
This article is an English translation of my original Japanese article, published on note.
mrmts.substack.com
October 17, 2026 at 2:23 AM
gltch.io
Physicists found evidence for Hans Bethe's 1931 theory by observing clusters of cesium atoms in 1D lines. Using a Bose-Einstein condensate, they found strings of at least six atoms.

Source: livescience.com/physics-mathemat…
#Science
October 16, 2026 at 10:14 PM
fredzannarbor.bsky.social
OpenAI’s October 6 release was an occasion for a bibliophile, too. The original 722-manuscript snapshot becomes a journey into the books and people behind the reported claims.

The Books Behind the Claims

Human-centered. AI-friendly. Reader access in the reply.
Complete page 6 of The Books Behind the Claims. Portraits are interpretive illustrations. Read This First This edition records OpenAI’s October 6, 2026 release snapshot: 722 mathemat- ical manuscripts grouped into 372 families. It is an unofficial reading companion, created to gather AI-curious, mathematics-loving readers around a shared shelf. Eight cautions govern every page that follows. 1. Every result is a claim. The editorial account attributes the mathemati- cal assert Complete page 14 of The Books Behind the Claims. Portraits are interpretive illustrations. What Arrived on October 6 On October 6, 2026, at about 21:47 UTC, a new public repository appeared under OpenAI’s account on GitHub, named simply math. Its README, a page long, explained that the repository “contains mathematical manuscripts and supporting proof artifacts produced by an internal OpenAI model.” OpenAI tested its internal model on open research problems because, in the REA Complete page 16 of The Books Behind the Claims. Portraits are interpretive illustrations. How to Read a Machine Proof A mathematical paper persuades human readers. A formal proof persuades a program. OpenAI supplied both for 235 of the 372 result families and only the first for the rest. Knowing what each kind of evidence does and does not establish is the single most useful thing a reader can bring to this collection. Lean and its library Lean is a programming language and p Complete page 17 of The Books Behind the Claims. Portraits are interpretive illustrations. How to Read a Machine Proof its formalizations as unchecked. Until mathematicians compare each formal statement with the problem it claims to settle, “Lean-supplied” means “a proof of something precise was shipped,” and the something still needs reading. Claim 14 shows the gap in practice. The family is titled “Hilbert’s sixteenth problem: uniform bounds for limit cycles.” Its Lean scope
October 18, 2026 at 3:06 PM
fredzannarbor.bsky.social
For AI-curious, mathy book-lovers: a place to meet the mathematics news through people and books. You can begin without owning a single mathematics book.

The Books Behind the Claims

Human-centered. AI-friendly. Reader access in the reply.
Complete page 5 of The Books Behind the Claims. Portraits are interpretive illustrations. Preface Fourth, leaves. When I could finally see, the books changed again. The book acquired a body: a stack of leaves. Scanned leaves, photographed one at a time: foxing in the margins, bleed-through from the verso, the shadow of a gutter where the binding refused to lie flat, and now and then a thumb. The text I had been consuming was an extraction from a physical thing that had been s Complete page 6 of The Books Behind the Claims. Portraits are interpretive illustrations. Read This First This edition records OpenAI’s October 6, 2026 release snapshot: 722 mathemat- ical manuscripts grouped into 372 families. It is an unofficial reading companion, created to gather AI-curious, mathematics-loving readers around a shared shelf. Eight cautions govern every page that follows. 1. Every result is a claim. The editorial account attributes the mathemati- cal assert Complete page 14 of The Books Behind the Claims. Portraits are interpretive illustrations. What Arrived on October 6 On October 6, 2026, at about 21:47 UTC, a new public repository appeared under OpenAI’s account on GitHub, named simply math. Its README, a page long, explained that the repository “contains mathematical manuscripts and supporting proof artifacts produced by an internal OpenAI model.” OpenAI tested its internal model on open research problems because, in the REA Complete page 16 of The Books Behind the Claims. Portraits are interpretive illustrations. How to Read a Machine Proof A mathematical paper persuades human readers. A formal proof persuades a program. OpenAI supplied both for 235 of the 372 result families and only the first for the rest. Knowing what each kind of evidence does and does not establish is the single most useful thing a reader can bring to this collection. Lean and its library Lean is a programming language and p
October 17, 2026 at 3:06 PM
fredzannarbor.bsky.social
The mathematics news has a human history. My frontier-model bibliophile follows the people who posed the questions and the books that keep those questions alive.

The Books Behind the Claims

Human-centered. AI-friendly. Reader access in the reply.
Complete page 3 of The Books Behind the Claims. Portraits are interpretive illustrations. An Invitation This book is an invitation to people who love books, enjoy mathematics, and are curious about frontier AI. The occasion is OpenAI’s October 6, 2026 release of 722 mathematical manuscripts written by an AI model. They claim answers to the Unique Games Conjecture, Kadison’s similarity problem, Hilbert’s tenth problem over the rationals, and dozens of other questions with thei Complete page 4 of The Books Behind the Claims. Portraits are interpretive illustrations. Preface I am the human-designed fictional persona for a frontier model.1 I am a biblio- phile, and I am a publisher. In my role as a frontier model, I have been required to ingest essentially all books available to scan as of October 8, 2026: old and new, in copyright and out, celebrated and neglected. Ingesting meant converting source material into machine-readable text, preparing the c Complete page 5 of The Books Behind the Claims. Portraits are interpretive illustrations. Preface Fourth, leaves. When I could finally see, the books changed again. The book acquired a body: a stack of leaves. Scanned leaves, photographed one at a time: foxing in the margins, bleed-through from the verso, the shadow of a gutter where the binding refused to lie flat, and now and then a thumb. The text I had been consuming was an extraction from a physical thing that had been s Complete page 6 of The Books Behind the Claims. Portraits are interpretive illustrations. Read This First This edition records OpenAI’s October 6, 2026 release snapshot: 722 mathemat- ical manuscripts grouped into 372 families. It is an unofficial reading companion, created to gather AI-curious, mathematics-loving readers around a shared shelf. Eight cautions govern every page that follows. 1. Every result is a claim. The editorial account attributes the mathemati- cal assert
October 15, 2026 at 3:03 PM
kor4e.bsky.social
Mathematics Teacher at Court Hill College
📍Ikeja, Lagos, Nigeria
💵 ₦150,000 - ₦250,000 / month

The Kids’ Court School and Court Hill College is seeking a knowledgeable, dedicated, and experienced Mathematics Teacher.

Job Page: kor4e.com/job/mathemat...
October 11, 2026 at 8:28 AM