erdos

Tag

Cards List
#erdos

@FinanceYF5: OpenAI's model just accomplished a major feat: independently solving the plane unit distance problem posed by Erdős in 1946. For 80 years, the best known solution was thought to be a grid-like structure, but AI found a better new construction. This marks the first time AI has independently solved a core open problem in mathematics—a historic breakthrough.

X AI KOLs Following · 2026-05-21 Cached

OpenAI's model independently solved the plane unit distance problem posed by Erdős in 1946, marking the first time AI has autonomously solved a core open problem in mathematics—a historic achievement.

0 favorites 0 likes
#erdos

@wjmzbmr1: 1/ Today, an internal @OpenAI model has refuted Erdős’s unit distance conjecture — a research result that one could rec…

X AI KOLs Following · 2026-05-21 Cached

An internal OpenAI model has disproved Erdős's unit distance conjecture, solving a famous open problem in mathematics and demonstrating AI's potential to contribute to high-level research.

0 favorites 0 likes
← Back to home

Submit Feedback