In Soviet Union, Optimization Problem Solves <em>You</em>

Equations that demand beauty

The remarkable physics of constraints

The Tiling Tree Method

How to think of every way of solving a problem

An invitation into Droste's Lair

A swords-and-sorcery programming environment for building and counting mathematical structures

OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems

Math is hard.

Timothy Gowers @wtgowers on Twitter / X

AI has now solved a major open problem -- one of the best known Erdos problems called the unit distance problem, one of Erdos's favourite questions and one that many mathematicians had tried.https://t.co/SD1vVPkrHR— Timothy Gowers @wtgowers (@wtgowers) May 20, 2026

Michael Truell on Twitter / X

We believe Cursor discovered a novel solution to Problem Six of the First Proof challenge, a set of math research problems that approximate the work of Stanford, MIT, Berkeley academics. Cursor's solution yields stronger results than the official, human-written solution.…— Michael Truell (@mntruell) March 3, 2026

Your Solution Doesn't Know Your Problem Exists

If your problem is structural, your approach must be radical.

Call for Participation

ACM Conference on Equity and Access in Algorithms, Mechanisms, and Optimization

Przemek Chojecki | PC on Twitter / X

The Growing Map of Open Mathematical Problems.We mapped 15,000+ conjectures from UnsolvedMath to show potential links between concepts.It also shows how under formalized the frontier is (less than 10%). pic.twitter.com/nm0PCpXVPf— Przemek Chojecki | PC (@prz_chojecki) August 28, 2026

Amateur armed with ChatGPT 'vibe-maths' a 60-year-old problem

A ChatGPT AI has proved a conjecture with a method no human had thought of. Experts believe it may have further uses

blackskyweb.xyz/blacksky.community

Mirror — see github.com/blacksky-algorithms/blacksky.community