Shayne Lu

[OpenAI @OpenAI]

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.

[Elon Musk @elonmusk]

Grok Build improving every day, 7 days a week

[Sav Shawz @shawzsav]

really depressing to think I was gonna grow up in a society that favors education and empathy but instead we got maga and mass environmental wipeouts

[Stephen Haney @stephenhaney]

We just added Grok's new imagine model in Paper so you can explore images even faster.

Here's what we found:
- Super fast generations for the quality
- Saves details when editing
- Perfect for 30 rapid experiments or chains of edit prompts

Available today, check it out!