Social Media Ideas for Mathematics And Computation

Nature Needs Mathematics for Its Rigorous Description But is Computation at the Root of Nature

Feynman’s made a lecture and book that mathematics is needed to describe nature. It (in The Relation of Mathematics to Physics) is descriptive and he is slightly awestruck. The fun...

Mathematical Experiments Are Becoming Abundant Through Human-Machine Teaming

Two open problems, exact-arithmetic checking and a proof assistant, over a single weekend. The post Mathematical Experiments Are Becoming Abundant Through Human-Machine Teaming app...

OpenAI's Astra Solved 10 Open Math Problems — and the Price Tag Is the Real Story

Every once in a while an AI announcement lands that isn't about a chat UI or a new benchmark, but about the actual substance of what these systems can now do. OpenAI's announcement...

Big Math Achievement By AI – Resolves 87 Year Old Problem

A PHD in math disproved an 87 year old math problem with about two hours of working with Anthropic Fable. The Jacobian conjecture (JC) has been disproved in dimension 3 (and thus a...

OpenAI Next Major Model Astra Solves Major Math Problems

Sebastien Bubeck of OpenAI says “yes, nonsofic groups exist”—as an example of “many new beautiful results” from Astra, next major OpenAI model. OpenAI published a page and PDF deta...

Are We Forgetting Our Mathematical Roots?

Every day, when we write code, build new software, and train ML models, they demand a good level of logic. We successfully apply our logic…Continue reading on Medium »

Mathematicians still don’t know the fastest way to multiply numbers

A 23-year-old student overturned an ancient conjecture about one of math’s simplest operations

数学ABC予想の証明に「ギャップ」？　続く検証、コード化道半ば

AI Helps Crack an 87-Year-Old Math Conjecture With One Tiny Formula

An AI-assisted counterexample disproves the Jacobian conjecture above two dimensions while leaving its original two-dimensional form open. A formula short enough to fit inside a si...

AI and human ingenuity may be bringing a new golden age of math

In May 2026, OpenAI released a new math result that sent shock waves throughout the world of mathematical research. A major unsolved problem called the “unit distance conjecture” h...

The physics of novel computation: beyond bits and chips to spikes and spins

Sidney Perkowitz looks into alternative computing methods inspired by physics to improve computational efficiency and power The post The physics of novel computation: beyond bits a...

AI Doesn’t Mean the End of Mathematics—at Least Not Yet

This essay was written with Kasra Rafi, and originally appeared in The Guardian. Earlier this month, about 40 top mathematicians gathered at OpenAI’s offices to discuss the future...

OpenAI’s internal model solves 10 long-standing math problems, and the implications reach far beyond academia

AI's ability to solve complex math problems could revolutionize fields like cryptography, impacting digital security and blockchain technology. The post OpenAI’s internal model sol...

Surprising AI breakthroughs raise soul-searching questions for mathematicians | Letter

Whether mathematics thrives or perishes in the age of AI depends on what it is that society values in the human intellect, writes Dr Henry Bradford I share Kasra Rafi and Bruce Sch...

Top Mathematician Announces New Institute for A.I. Safety

Jacob Tsimerman, a recent recipient of the Fields Medal, believes that higher mathematics can help curb the dangers of runaway artificial intelligence.

More math breakthroughs from GPT models

The cost of generating the proofs for all 10 of these breakthroughs combined was under $2,000 at Sol API prices. We’re excited to see what scientists and researchers are able to cr...

[Перевод] Математика в эпоху ИИ: публичная лекция Теренса Тао на Международном конгрессе математиков 24 июля 2026

Сейчас математика вступает в свой второй (после появления в 1931 году теоремы Геделя о неполноте) кризис (или драматический период), связанный с активным проникновением в математик...

Deep Math

Matemática de Machine Learning, Deep Learning e Inteligência Artificial explicada de forma intuitiva, formal e gráfica.Continue reading on Medium »

[Перевод] ИИ использовали для проверки самого сложного на сегодняшний день математического доказательства

Важной вехой в математических исследованиях с использованием ИИ стал пример команды компании Axiom Math, которая впервые автоматически проверила доказательство теоремы, касающейся...

Can AI make mathematics more human?

Mathematician Yang-Hui He explains why artificial intelligence is fundamentally transforming mathematical work—and that's a good thing

No, AI doesn’t mean the end of mathematics – at least not yet | Bruce Schneier and Kasra Rafi

Mathematicians are raising concerns that the technology could kill their profession. But they still have abilities AI doesn’tEarlier this month, about 40 top mathematicians gathere...

Democracy Has a Math Problem No Country Can Fully Solve

Mathematics shows that every electoral system must compromise among proportionality, local representation, and parliament size. Denmark’s 2022 national election came down to a sing...

The real math crisis isn’t the test scores. It’s the test

This past school year, Cambridge, Massachusetts, placed every eighth grader in Algebra I. It didn’t go well. Ultimately, more than 60% of rising ninth graders will repeat the cours...

Mathematicians grapple with a ‘very rapid and very unsettling change’ as AI cracks yet another century-old problem

Anthropic's Levant Alpöge, a former Harvard valedictorian, used Claude's Fable 5 to find something that mathematicians have failed to since 1939.