A couple of points on the recent OpenAI math result and why TIG is built for exactly this.
First of all, this is a genuinely impressive result. It's a longstanding famous problem and many mathematicians are impressed with it.
Where TIG comes in is the difference in how its algorithm challenges are verified vs how proofs like the one from OpenAI are verified.
The AI did the proof with over 125 pages in its chain of thought.
BUT
It took nine mathematicians multiple weeks to verify it actually worked.
The raw output required polishing (missing definitions, scrambled logic) and ultimately needed a human-edited, reorganised, clearer version as the final proof.
So the AI produced something but humans had to do all the heavy lifting to figure out if it was real.
That is the whole problem with AI doing maths.
Generating gets faster, verifying stays slow and expensive.
One of the nine mathematicians flagged this directly, worried that even experts will struggle to verify future proofs.
TIG sidesteps this entirely.
The problems on TIG are asymmetric.
Hard to solve, trivial to verify.
If an algorithm is better (eg runs quicker), it does not matter at all what the contents of the algorithm are.
You run it.
It either works or it doesn’t.
If it works, you can tell immediately if it was better.
No expertise needed.
This is what the miners (benchmarkers) in the TIG network do.
When an algorithm is submitted, benchmarkers run and then adopt the best one.
So with the increase in AI x Maths, TIG works not only on challenges of economic importance, but on the exact shape of problem where AI-generated work can actually be trusted at scale.
Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946.
For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids.
An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better.
This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.