-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathopenai-article-snapshot.txt
More file actions
735 lines (734 loc) · 41.8 KB
/
Copy pathopenai-article-snapshot.txt
File metadata and controls
735 lines (734 loc) · 41.8 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
- generic [active] [ref=e1]:
- banner:
- generic [ref=e2]:
- link "Skip to main content":
- /url: "#main"
- generic [ref=e4]:
- link "OpenAI Home" [ref=e5] [cursor=pointer]:
- /url: /
- img [ref=e7]
- generic [ref=e9]:
- navigation "Main Navigation" [ref=e11]:
- list [ref=e12]:
- listitem [ref=e13]:
- link "Research" [ref=e14] [cursor=pointer]:
- /url: /research/index/
- generic [ref=e16]: Research
- button "Research menu"
- listitem [ref=e17]:
- button "Products" [ref=e18] [cursor=pointer]:
- generic [ref=e20]: Products
- button "Products menu"
- listitem [ref=e21]:
- link "Business" [ref=e22] [cursor=pointer]:
- /url: /business/
- generic [ref=e24]: Business
- button "Business menu"
- listitem [ref=e25]:
- link "Developers" [ref=e26] [cursor=pointer]:
- /url: /api/
- generic [ref=e28]: Developers
- button "Developers menu"
- listitem [ref=e29]:
- link "Company" [ref=e30] [cursor=pointer]:
- /url: /about/
- generic [ref=e32]: Company
- button "Company menu"
- listitem [ref=e33]:
- link "Foundation (opens in a new window)" [ref=e34] [cursor=pointer]:
- /url: https://openaifoundation.org/
- generic [ref=e36]: Foundation
- generic [ref=e37]: (opens in a new window)
- generic [ref=e39]:
- button "Open Search" [ref=e41] [cursor=pointer]:
- img [ref=e42]
- button "Close Search" [ref=e44] [cursor=pointer]:
- img [ref=e45]
- generic [ref=e48]:
- button "Log in" [ref=e49] [cursor=pointer]:
- text: Log in
- img [ref=e50]
- link "Try ChatGPT (opens in a new window)" [ref=e52] [cursor=pointer]:
- /url: https://chatgpt.com/?openaicom-did=fcf82f34-8acb-45b3-973c-916eaeca64f1&openaicom_referred=true
- text: Try ChatGPT
- img [ref=e53]
- generic [ref=e55]: (opens in a new window)
- generic [ref=e56]:
- main [ref=e57]:
- generic [ref=e58]: An OpenAI model has disproved a central conjecture in discrete geometry | OpenAI
- navigation:
- generic [ref=e60]:
- button "Table of contents" [ref=e61] [cursor=pointer]:
- generic [ref=e62]: Table of contents
- img [ref=e64]
- article [ref=e66]:
- generic [ref=e67]:
- generic [ref=e68]:
- generic [ref=e71]:
- generic [ref=e72]:
- paragraph [ref=e73]: May 20, 2026
- link "Research" [ref=e74] [cursor=pointer]:
- /url: /news/research/
- link "Milestone" [ref=e75] [cursor=pointer]:
- /url: /research/index/milestone/
- heading "An OpenAI model has disproved a central conjecture in discrete geometry" [level=1] [ref=e76]
- generic [ref=e78]:
- link "Read the proof (opens in a new window)" [ref=e79] [cursor=pointer]:
- /url: https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf
- text: Read the proof
- img [ref=e80]
- generic [ref=e82]: (opens in a new window)
- link "Read the companion remarks (opens in a new window)" [ref=e83] [cursor=pointer]:
- /url: https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf
- text: Read the companion remarks
- img [ref=e84]
- generic [ref=e86]: (opens in a new window)
- generic [ref=e95]:
- iframe [ref=e96]:
- button "Pause video" [ref=e97] [cursor=pointer]:
- img [ref=e98]
- generic [ref=e101]:
- button "Pause video" [ref=e103] [cursor=pointer]:
- img [ref=e104]
- paragraph [ref=e107]: 00:00|02:38
- button "Fullscreen" [ref=e109] [cursor=pointer]:
- img [ref=e110]
- button "Video Settings" [ref=e113] [cursor=pointer]:
- img [ref=e114]
- generic [ref=e117]:
- generic [ref=e120]:
- button "Play audio of page text" [ref=e121] [cursor=pointer]:
- img [ref=e122]
- generic [ref=e125]:
- generic [ref=e126]: Listen to article
- generic [ref=e893]: 9:23
- button "Share" [ref=e131] [cursor=pointer]:
- img [ref=e132]
- text: Share
- generic [ref=e135]:
- paragraph [ref=e137]:
- text: "For nearly 80 years, mathematicians have studied a deceptively simple question: if you place"
- generic [ref=e139]:
- math [ref=e141]:
- generic [ref=e144]: "n"
- generic [ref=e146]: "n"
- text: points in the plane, how many pairs of points can be exactly distance
- generic [ref=e148]:
- math [ref=e150]:
- generic [ref=e153]: "1"
- generic [ref=e155]: "1"
- text: apart?
- paragraph [ref=e157]:
- text: This is the planar unit distance problem, first posed by Paul Erdős in 1946. It is one of the best-known questions in combinatorial geometry, easy to state and remarkably difficult to resolve. The 2005 book
- generic [ref=e158]: Research Problems in Discrete Geometry
- text: ", by Brass, Moser, and Pach, calls it “possibly the best known (and simplest to explain) problem in combinatorial geometry.” Noga Alon, a leading combinatorialist at Princeton, describes it as “one of Erdős’ favorite problems.” Erdős even offered a monetary prize for resolving this problem."
- paragraph [ref=e160]: Today, we share a breakthrough on the unit distance problem. Since Erdős’s original work, the prevailing belief has been that the “square grid” constructions depicted further below were essentially optimal for maximizing the number of unit-distance pairs. An internal OpenAI model has disproved this longstanding conjecture, providing an infinite family of examples that yield a polynomial improvement. The proof has been checked by a group of external mathematicians. They have also written a companion paper explaining the argument and providing further background and context for the significance of the result.
- paragraph [ref=e162]: The result is also notable for how it was found. The proof came from a new general-purpose reasoning model, rather than from a system trained specifically for mathematics, scaffolded to search through proof strategies, or targeted at the unit distance problem in particular. As part of a broader effort to test whether advanced models can contribute to frontier research, we evaluated it on a collection of Erdős problems. In this case, it produced a proof resolving the open problem.
- paragraph [ref=e164]: "This proof is an important milestone for the math and AI communities. It marks the first time that a prominent open problem, central to a subfield of mathematics, has been solved autonomously by AI. It also demonstrates the depth of reasoning these systems now support. Mathematics provides a particularly clear testbed for reasoning: the problems are precise, potential proofs can be checked, and a long argument only works if the reasoning holds together from beginning to end. The method by which the problem was solved is also notable. The proof brings unexpected, sophisticated ideas from algebraic number theory to bear on an elementary geometric question."
- paragraph [ref=e166]: Fields medalist Tim Gowers, writing in the companion paper, calls the result “a milestone in AI mathematics.” According to leading number theorist Arul Shankar, “In my opinion this paper demonstrates that current AI models go beyond just helpers to human mathematicians – they are capable of having original ingenious ideas, and then carrying them out to fruition”.
- generic [ref=e169]:
- generic [ref=e170]:
- paragraph [ref=e171]: Mathematicians on the result
- generic [ref=e172]:
- generic [ref=e173]: 1 of 4
- generic [ref=e174]:
- button "Previous testimonial" [ref=e175] [cursor=pointer]:
- img [ref=e176]
- button "Next testimonial" [ref=e178] [cursor=pointer]:
- img [ref=e179]
- generic [ref=e181]:
- figure [ref=e186]:
- blockquote [ref=e187]:
- generic [ref=e188]: “
- text: This has been one of Erdős' favorite problems, I have heard him myself mentioning the problem multiple times in his lectures. I believe it would be fair to say that every mathematician working in Combinatorial Geometry thought about this problem, and lots of mathematicians working in other areas spent at least some time thinking about it… The solution of the problem by the internal model of Open AI is, in my opinion, an outstanding achievement, settling a long-standing open problem. The fact that the correct answer is not
- generic [ref=e190]:
- math [ref=e192]:
- generic [ref=e195]:
- generic [ref=e196]: "n"
- generic [ref=e197]:
- generic [ref=e198]: "1"
- generic [ref=e199]: +
- generic [ref=e200]: o
- generic [ref=e201]: (
- generic [ref=e202]: "1"
- generic [ref=e203]: )
- generic [ref=e206]:
- text: "n"
- generic [ref=e212]: 1+o(1)
- text: is surprising, and the construction and its analysis apply fairly sophisticated tools from algebraic number theory in an elegant and clever way.”
- generic [ref=e217]:
- generic:
- list:
- listitem:
- generic: Noga Alon
- listitem:
- generic: Tim Gowers
- listitem:
- generic: Arul Shankar
- listitem:
- generic: Jacob Tsimerman
- list "Testimonials" [ref=e218]:
- listitem [ref=e219]:
- button "Show testimonial from Noga Alon" [ref=e220] [cursor=pointer]:
- generic [ref=e221]: Noga Alon
- listitem [ref=e222]:
- button "Show testimonial from Tim Gowers" [ref=e223] [cursor=pointer]:
- generic [ref=e224]: Tim Gowers
- listitem [ref=e225]:
- button "Show testimonial from Arul Shankar" [ref=e226] [cursor=pointer]:
- generic [ref=e227]: Arul Shankar
- listitem [ref=e228]:
- button "Show testimonial from Jacob Tsimerman" [ref=e229] [cursor=pointer]:
- generic [ref=e230]: Jacob Tsimerman
- paragraph [ref=e232]:
- text: The proof is available
- link "here (opens in a new window)" [ref=e233] [cursor=pointer]:
- /url: https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf
- text: here
- generic [ref=e234]: (opens in a new window)
- text: . The companion paper by leading external mathematicians is available
- link "here (opens in a new window)" [ref=e235] [cursor=pointer]:
- /url: https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf
- text: here
- generic [ref=e236]: (opens in a new window)
- text: . You can find an abridged version of the model’s chain of thought
- link "here (opens in a new window)" [ref=e237] [cursor=pointer]:
- /url: https://cdn.openai.com/pdf/1625eff6-5ac1-40d8-b1db-5d5cf925de8b/unit-distance-cot.pdf
- text: here
- generic [ref=e238]: (opens in a new window)
- text: .
- generic [ref=e243]:
- img "Dense black network graph with interconnected nodes forming a square pattern." [ref=e248]
- paragraph [ref=e254]:
- generic [ref=e255]: Previously known construction of many unit distances from a rescaled square grid.
- heading "The unit distance problem" [level=2] [ref=e259]
- paragraph [ref=e261]:
- text: Let
- generic [ref=e263]:
- math [ref=e265]:
- generic [ref=e267]:
- generic [ref=e268]: u
- generic [ref=e269]: (
- generic [ref=e270]: "n"
- generic [ref=e271]: )
- generic [ref=e273]: u(n)
- text: be the largest possible number of unit-distance pairs among
- generic [ref=e275]:
- math [ref=e277]:
- generic [ref=e280]: "n"
- generic [ref=e282]: "n"
- text: "points in the plane. Examples attaining linear growth rate are easy to construct: placing"
- generic [ref=e284]:
- math [ref=e286]:
- generic [ref=e289]: "n"
- generic [ref=e291]: "n"
- text: points in a line gives
- generic [ref=e293]:
- math [ref=e295]:
- generic [ref=e297]:
- generic [ref=e298]: "n"
- generic [ref=e299]: −
- generic [ref=e300]: "1"
- generic [ref=e301]:
- generic [ref=e302]: n −
- generic [ref=e303]: "1"
- text: pairs, while a square grid gives about
- generic [ref=e305]:
- math [ref=e307]:
- generic [ref=e309]:
- generic [ref=e310]: "2"
- generic [ref=e311]: "n"
- generic [ref=e313]: 2n
- text: "pairs. The previously best known construction, coming from a rescaled square grid, turns out to give even more:"
- generic [ref=e315]:
- math [ref=e317]:
- generic [ref=e320]:
- generic [ref=e321]: "n"
- generic [ref=e322]:
- generic [ref=e323]: "1"
- generic [ref=e324]: +
- generic [ref=e325]: C
- generic [ref=e326]: /
- generic [ref=e327]: log
- generic:
- generic [ref=e328]: log
- generic:
- generic [ref=e329]: (
- generic [ref=e330]: "n"
- generic [ref=e331]: )
- generic [ref=e334]:
- text: "n"
- generic [ref=e340]:
- text: 1+C/
- generic [ref=e341]: log
- generic [ref=e342]: log
- text: (n)
- text: for a constant
- generic [ref=e344]:
- math [ref=e346]:
- generic [ref=e349]: C
- generic [ref=e351]: C
- text: . Since
- generic [ref=e353]:
- math [ref=e355]:
- generic [ref=e357]:
- generic [ref=e358]: log
- generic:
- generic [ref=e359]: log
- generic:
- generic [ref=e360]: (
- generic [ref=e361]: "n"
- generic [ref=e362]: )
- generic [ref=e364]:
- generic [ref=e365]: log
- generic [ref=e366]: log
- text: (n)
- text: tends to infinity with
- generic [ref=e368]:
- math [ref=e370]:
- generic [ref=e373]: "n"
- generic [ref=e375]: "n"
- text: ", the additional term in the exponent tends to"
- generic [ref=e377]:
- math [ref=e379]:
- generic [ref=e382]: "0"
- generic [ref=e384]: "0"
- text: ", meaning these constructions achieve growth only slightly faster than linear. For decades, it was widely believed that this rate was essentially the best possible, and no construction could improve significantly over the square grid. In technical terms, Erdős conjectured an upper bound of"
- generic [ref=e386]:
- math [ref=e388]:
- generic [ref=e391]:
- generic [ref=e392]: "n"
- generic [ref=e393]:
- generic [ref=e394]: "1"
- generic [ref=e395]: +
- generic [ref=e396]: o
- generic [ref=e397]: (
- generic [ref=e398]: "1"
- generic [ref=e399]: )
- generic [ref=e402]:
- text: "n"
- generic [ref=e408]: 1+o(1)
- text: in which the additional
- generic [ref=e410]:
- math [ref=e412]:
- generic [ref=e414]:
- generic [ref=e415]: o
- generic [ref=e416]: (
- generic [ref=e417]: "1"
- generic [ref=e418]: )
- generic [ref=e420]: o(1)
- text: indicates a term tending to
- generic [ref=e422]:
- math [ref=e424]:
- generic [ref=e427]: "0"
- generic [ref=e429]: "0"
- text: with
- generic [ref=e431]:
- math [ref=e433]:
- generic [ref=e436]: "n"
- generic [ref=e438]: "n"
- generic [ref=e439]:
- text: .
- text: Our new result disproves this conjecture. More precisely, for infinitely many values of
- generic [ref=e441]:
- math [ref=e443]:
- generic [ref=e446]: "n"
- generic [ref=e448]: "n"
- text: ", the proof constructs configurations of"
- generic [ref=e450]:
- math [ref=e452]:
- generic [ref=e455]: "n"
- generic [ref=e457]: "n"
- text: points with at least
- generic [ref=e459]:
- math [ref=e461]:
- generic [ref=e464]:
- generic [ref=e465]: "n"
- generic [ref=e466]:
- generic [ref=e467]: "1"
- generic [ref=e468]: +
- generic [ref=e469]: δ
- generic [ref=e472]:
- text: "n"
- generic [ref=e478]: 1+δ
- text: unit-distance pairs, for some fixed exponent
- generic [ref=e480]:
- math [ref=e482]:
- generic [ref=e484]:
- generic [ref=e485]: δ
- generic [ref=e486]: ">"
- generic [ref=e487]: "0"
- generic [ref=e488]:
- generic [ref=e489]: δ >
- generic [ref=e490]: "0"
- text: . (The original AI proof does not give an explicit
- generic [ref=e492]:
- math [ref=e494]:
- generic [ref=e497]: δ
- generic [ref=e499]: δ
- text: ", but a forthcoming refinement due to Princeton mathematics professor Will Sawin has shown one can take"
- generic [ref=e501]:
- math [ref=e503]:
- generic [ref=e505]:
- generic [ref=e506]: δ
- generic [ref=e507]: =
- generic [ref=e508]: "0.014"
- generic [ref=e509]:
- generic [ref=e510]: δ =
- generic [ref=e511]: "0.014"
- generic [ref=e512]:
- text: .)
- text: The history of the problem helps to see why the result is surprising. The best known lower bound had been essentially unchanged since Erdős’s original 1946 construction. The best upper bound,
- generic [ref=e514]:
- math [ref=e516]:
- generic [ref=e518]:
- generic [ref=e519]: O
- generic [ref=e520]: (
- generic [ref=e521]:
- generic [ref=e522]: "n"
- generic [ref=e523]:
- generic [ref=e524]: "4"
- generic [ref=e525]: /
- generic [ref=e526]: "3"
- generic [ref=e527]: )
- generic [ref=e529]:
- text: O(
- generic [ref=e530]:
- text: "n"
- generic [ref=e536]: 4/3
- text: )
- generic [ref=e537]:
- text: ", dates to work by Spencer, Szemerédi, and Trotter in 1984, and despite later refinements and related structural work by Székely, Katz and Silier, Pach, Raz, and Solymosi and by others, the upper bound has remained essentially unchanged. As evidence in favor of the conjecture, Matoušek and Alon-Bucić-Sauermann studied the problem with non-Euclidean distances in the plane, and proved that \"most\" of these non-Euclidean distances obey the conjecture in some sense."
- text: Surprisingly, the key ingredients of the construction come from a very different part of mathematics known as algebraic number theory, which studies concepts like factorization in extensions of the integers known as algebraic number fields.
- figure [ref=e539]:
- paragraph [ref=e548]:
- generic [ref=e549]: After verifying the initial proof, we investigated the success rate of our models on this problem with varying amounts of test-time compute. The results are shown here.
- heading "New techniques from algebraic number theory" [level=2] [ref=e553]
- paragraph [ref=e555]: At a high level, the proof begins with a familiar geometric idea and pushes it in an unexpected direction.
- paragraph [ref=e557]:
- text: "Erdős’s original lower bound can be understood through the Gaussian integers: numbers of the form"
- generic [ref=e559]:
- math [ref=e561]:
- generic [ref=e563]:
- generic [ref=e564]: a
- generic [ref=e565]: +
- generic [ref=e566]: b
- generic [ref=e567]: i
- generic [ref=e568]:
- generic [ref=e569]: a +
- generic [ref=e570]: bi
- text: ", where"
- generic [ref=e572]:
- math [ref=e574]:
- generic [ref=e577]: a
- generic [ref=e579]: a
- text: and
- generic [ref=e581]:
- math [ref=e583]:
- generic [ref=e586]: b
- generic [ref=e588]: b
- text: are integers and
- generic [ref=e590]:
- math [ref=e592]:
- generic [ref=e595]: i
- generic [ref=e597]: i
- text: is the square root of
- generic [ref=e599]:
- math [ref=e601]:
- generic [ref=e603]:
- generic [ref=e604]: −
- generic [ref=e605]: "1"
- generic [ref=e607]: −1
- text: . The Gaussian integers extend the ordinary integers and, like them, enjoy properties such a unique factorization into primes. Such extensions of the ordinary integers or rationals are known as algebraic number fields. The new argument replaces the Gaussian integers by more complicated generalizations from algebraic number theory with richer symmetries that can create many more unit-length differences.
- paragraph [ref=e609]: The precise argument uses tools such as infinite class field towers and Golod–Shafarevich theory to show the number fields required for the argument actually exist. These ideas were well-known to algebraic number theorists, but it came as a great surprise that these concepts have implications for geometric questions in the Euclidean plane.
- heading "What this means for mathematics" [level=2] [ref=e613]
- paragraph [ref=e615]: "This result marks an important moment in the interaction between AI and mathematics: an AI system has autonomously resolved a longstanding open problem at the center of an active field. It also offers an early glimpse of a new kind of collaboration between AI and human mathematicians. In this case, the companion work by external mathematicians paints a substantially richer picture than the original solution alone."
- paragraph [ref=e617]: "As Thomas Bloom writes in the companion note:"
- paragraph [ref=e619]:
- text: “
- generic [ref=e620]: "When assessing the importance and influence of an AI-generated proof, a question I ask myself is: has this taught us something new about the problem? Do we understand discrete geometry better now? I think the answer is a moderated yes: this shows that there is a lot more that number theoretic constructions have to say about these sorts of questions than we suspected; moreover, that the number theory required can be very deep. No doubt many algebraic number theorists will be taking a close look at other open problems in discrete geometry in the coming months."
- text: ”
- paragraph [ref=e622]: The unexpected connection between algebraic number theory and discrete geometry revealed by the solution is part of what makes the result notable. It does not simply settle a specific conjecture, but may provide mathematicians with a bridge to begin exploring further related problems.
- paragraph [ref=e624]: "Bloom also points toward a broader possibility:"
- paragraph [ref=e626]:
- text: “
- generic [ref=e627]: The frontiers of knowledge are very spiky, and no doubt the coming months and years will see similar successes in many other areas of mathematics, where long-standing open problems are resolved by an AI revealing unexpected connections and pushing the existing technical machinery to its limit. AI is helping us to more fully explore the cathedral of mathematics we have build over the centuries; what other unseen wonders are waiting in the wings?
- text: ”
- paragraph [ref=e629]: "This result provides a promising example: AI contributing not only a solution, but a mathematical discovery whose significance becomes clearer and richer through subsequent human understanding."
- heading "Why this matters" [level=2] [ref=e633]
- paragraph [ref=e635]: "The takeaway is bigger than this particular result. Better mathematical reasoning can make AI a stronger research partner: something that can hold together difficult lines of thought, connect ideas across distant areas of knowledge, surface promising paths experts may not have prioritized, and help researchers make progress on problems that would otherwise be too complex or time-intensive to tackle."
- paragraph [ref=e637]: "Those capabilities matter beyond mathematics. If a model can keep a complicated argument coherent, connect ideas across distant areas of knowledge, and produce work that survives expert scrutiny, those are also useful abilities in biology, physics, materials science, engineering, and medicine, and they are part of our longer-term path toward more automated research: systems that can help scientists and engineers explore more ideas and pursue harder technical questions."
- paragraph [ref=e639]: AI is about to start taking a very serious role in the creative parts of research, and most importantly AI research itself. While this progress is not unexpected, it reinforces the urgency we feel about understanding this next phase of AI development, the challenges of aligning very intelligent systems, and the future of human-AI collaboration.
- paragraph [ref=e641]: That future still depends on human judgment. Expertise becomes more valuable, not less. AI can help search, suggest, and verify. People choose the problems that matter, interpret the results, and decide what questions to pursue next.
- generic [ref=e644]:
- list [ref=e646]:
- listitem [ref=e647]:
- link "2026" [ref=e648] [cursor=pointer]:
- /url: /news/?tags=2026
- generic [ref=e649]:
- heading "Author" [level=2] [ref=e650]
- generic [ref=e651]: OpenAI
- generic [ref=e652]:
- generic [ref=e653]:
- heading "Keep reading" [level=2] [ref=e655]
- link "View all" [ref=e656] [cursor=pointer]:
- /url: /news/
- generic [ref=e659]:
- generic [ref=e661]:
- img "1 1" [ref=e667]
- link "What Parameter Golf taught us - Research - May 12, 2026" [ref=e668] [cursor=pointer]:
- /url: /index/what-parameter-golf-taught-us/
- generic [ref=e669]:
- generic [ref=e670]: What Parameter Golf taught us
- paragraph [ref=e671]:
- generic [ref=e672]: Research
- time [ref=e674]: May 12, 2026
- generic [ref=e676]:
- img "Introducing OpenAI Privacy Filter" [ref=e682]
- link "Introducing OpenAI Privacy Filter - Research - Apr 22, 2026" [ref=e683] [cursor=pointer]:
- /url: /index/introducing-openai-privacy-filter/
- generic [ref=e684]:
- generic [ref=e685]: Introducing OpenAI Privacy Filter
- paragraph [ref=e686]:
- generic [ref=e687]: Research
- time [ref=e689]: Apr 22, 2026
- generic [ref=e691]:
- img "OAI GPT-Rosaling Art Card 1x1" [ref=e697]
- link "Introducing GPT-Rosalind for life sciences research - Research - Apr 16, 2026" [ref=e698] [cursor=pointer]:
- /url: /index/introducing-gpt-rosalind/
- generic [ref=e699]:
- generic [ref=e700]: Introducing GPT-Rosalind for life sciences research
- paragraph [ref=e701]:
- generic [ref=e702]: Research
- time [ref=e704]: Apr 16, 2026
- contentinfo [ref=e705]:
- generic [ref=e707]:
- generic [ref=e708]:
- generic [ref=e709]:
- heading "Our Research" [level=2] [ref=e710]
- list [ref=e711]:
- listitem [ref=e712]:
- link "Research Index" [ref=e713] [cursor=pointer]:
- /url: /research/index/
- listitem [ref=e714]:
- link "Research Overview" [ref=e715] [cursor=pointer]:
- /url: /research/
- listitem [ref=e716]:
- link "Research Residency" [ref=e717] [cursor=pointer]:
- /url: /residency/
- listitem [ref=e718]:
- link "Economic Research" [ref=e719] [cursor=pointer]:
- /url: /signals/
- generic [ref=e720]:
- heading "Latest Advancements" [level=2] [ref=e721]
- list [ref=e722]:
- listitem [ref=e723]:
- link "GPT-5.5" [ref=e724] [cursor=pointer]:
- /url: /index/introducing-gpt-5-5/
- listitem [ref=e725]:
- link "GPT-5.4" [ref=e726] [cursor=pointer]:
- /url: /index/introducing-gpt-5-4/
- listitem [ref=e727]:
- link "GPT-5.3 Instant" [ref=e728] [cursor=pointer]:
- /url: /index/gpt-5-3-instant/
- listitem [ref=e729]:
- link "GPT-5.3-Codex" [ref=e730] [cursor=pointer]:
- /url: /index/introducing-gpt-5-3-codex/
- generic [ref=e731]:
- heading "Safety" [level=2] [ref=e732]
- list [ref=e733]:
- listitem [ref=e734]:
- link "Safety Approach" [ref=e735] [cursor=pointer]:
- /url: /safety/
- listitem [ref=e736]:
- link "Security & Privacy" [ref=e737] [cursor=pointer]:
- /url: /security-and-privacy/
- listitem [ref=e738]:
- link "Trust & Transparency" [ref=e739] [cursor=pointer]:
- /url: /trust-and-transparency/
- generic [ref=e740]:
- generic [ref=e741]:
- heading "ChatGPT" [level=2] [ref=e742]
- list [ref=e743]:
- listitem [ref=e744]:
- link "Explore ChatGPT (opens in a new window)" [ref=e745] [cursor=pointer]:
- /url: https://chatgpt.com/overview?openaicom-did=fcf82f34-8acb-45b3-973c-916eaeca64f1&openaicom_referred=true
- text: Explore ChatGPT
- img [ref=e746]
- generic [ref=e748]: (opens in a new window)
- listitem [ref=e749]:
- link "Business" [ref=e750] [cursor=pointer]:
- /url: https://chatgpt.com/business/business-plan?openaicom-did=fcf82f34-8acb-45b3-973c-916eaeca64f1&openaicom_referred=true
- listitem [ref=e751]:
- link "Enterprise" [ref=e752] [cursor=pointer]:
- /url: https://chatgpt.com/business/enterprise?openaicom-did=fcf82f34-8acb-45b3-973c-916eaeca64f1&openaicom_referred=true
- listitem [ref=e753]:
- link "Education" [ref=e754] [cursor=pointer]:
- /url: https://chatgpt.com/business/education?openaicom-did=fcf82f34-8acb-45b3-973c-916eaeca64f1&openaicom_referred=true
- listitem [ref=e755]:
- link "Pricing (opens in a new window)" [ref=e756] [cursor=pointer]:
- /url: https://chatgpt.com/pricing?openaicom-did=fcf82f34-8acb-45b3-973c-916eaeca64f1&openaicom_referred=true
- text: Pricing
- img [ref=e757]
- generic [ref=e759]: (opens in a new window)
- listitem [ref=e760]:
- link "Download (opens in a new window)" [ref=e761] [cursor=pointer]:
- /url: https://chatgpt.com/download?openaicom-did=fcf82f34-8acb-45b3-973c-916eaeca64f1&openaicom_referred=true
- text: Download
- img [ref=e762]
- generic [ref=e764]: (opens in a new window)
- generic [ref=e765]:
- heading "API Platform" [level=2] [ref=e766]
- list [ref=e767]:
- listitem [ref=e768]:
- link "Platform Overview" [ref=e769] [cursor=pointer]:
- /url: /api/
- listitem [ref=e770]:
- link "Pricing" [ref=e771] [cursor=pointer]:
- /url: /api/pricing/
- listitem [ref=e772]:
- link "API log in (opens in a new window)" [ref=e773] [cursor=pointer]:
- /url: https://platform.openai.com/login
- text: API log in
- img [ref=e774]
- generic [ref=e776]: (opens in a new window)
- listitem [ref=e777]:
- link "Documentation (opens in a new window)" [ref=e778] [cursor=pointer]:
- /url: https://developers.openai.com/api/docs
- text: Documentation
- img [ref=e779]
- generic [ref=e781]: (opens in a new window)
- listitem [ref=e782]:
- link "Developer Forum (opens in a new window)" [ref=e783] [cursor=pointer]:
- /url: https://community.openai.com/
- text: Developer Forum
- img [ref=e784]
- generic [ref=e786]: (opens in a new window)
- generic [ref=e787]:
- generic [ref=e788]:
- heading "For Business" [level=2] [ref=e789]
- list [ref=e790]:
- listitem [ref=e791]:
- link "Business Overview" [ref=e792] [cursor=pointer]:
- /url: /business/
- listitem [ref=e793]:
- link "Solutions" [ref=e794] [cursor=pointer]:
- /url: /solutions/
- listitem [ref=e795]:
- link "Contact Sales" [ref=e796] [cursor=pointer]:
- /url: /contact-sales/
- generic [ref=e797]:
- heading "Company" [level=2] [ref=e798]
- list [ref=e799]:
- listitem [ref=e800]:
- link "About Us" [ref=e801] [cursor=pointer]:
- /url: /about/
- listitem [ref=e802]:
- link "Our Charter" [ref=e803] [cursor=pointer]:
- /url: /charter/
- listitem [ref=e804]:
- link "Foundation (opens in a new window)" [ref=e805] [cursor=pointer]:
- /url: https://openaifoundation.org/
- text: Foundation
- img [ref=e806]
- generic [ref=e808]: (opens in a new window)
- listitem [ref=e809]:
- link "Careers" [ref=e810] [cursor=pointer]:
- /url: /careers/
- listitem [ref=e811]:
- link "Brand" [ref=e812] [cursor=pointer]:
- /url: /brand/
- generic [ref=e813]:
- heading "Support" [level=2] [ref=e814]
- list [ref=e815]:
- listitem [ref=e816]:
- link "Help Center (opens in a new window)" [ref=e817] [cursor=pointer]:
- /url: https://help.openai.com/
- text: Help Center
- img [ref=e818]
- generic [ref=e820]: (opens in a new window)
- generic [ref=e821]:
- generic [ref=e822]:
- heading "More" [level=2] [ref=e823]
- list [ref=e824]:
- listitem [ref=e825]:
- link "News" [ref=e826] [cursor=pointer]:
- /url: /news/
- listitem [ref=e827]:
- link "Stories" [ref=e828] [cursor=pointer]:
- /url: /stories/
- listitem [ref=e829]:
- link "Academy" [ref=e830] [cursor=pointer]:
- /url: /academy/
- listitem [ref=e831]:
- link "Livestreams" [ref=e832] [cursor=pointer]:
- /url: /live/
- listitem [ref=e833]:
- link "Podcast" [ref=e834] [cursor=pointer]:
- /url: /podcast/
- listitem [ref=e835]:
- link "RSS" [ref=e836] [cursor=pointer]:
- /url: /news/rss.xml
- generic [ref=e837]:
- heading "Terms & Policies" [level=2] [ref=e838]
- list [ref=e839]:
- listitem [ref=e840]:
- link "Terms of Use" [ref=e841] [cursor=pointer]:
- /url: /policies/terms-of-use/
- listitem [ref=e842]:
- link "Privacy Policy" [ref=e843] [cursor=pointer]:
- /url: /policies/privacy-policy/
- listitem [ref=e844]:
- link "Other Policies" [ref=e845] [cursor=pointer]:
- /url: /policies/
- generic [ref=e846]:
- generic [ref=e847]:
- link "X" [ref=e848] [cursor=pointer]:
- /url: https://x.com/OpenAI
- img [ref=e849]
- generic [ref=e851]: (opens in a new window)
- link "YouTube" [ref=e852] [cursor=pointer]:
- /url: https://www.youtube.com/OpenAI
- img [ref=e853]
- generic [ref=e855]: (opens in a new window)
- link "LinkedIn" [ref=e856] [cursor=pointer]:
- /url: https://www.linkedin.com/company/openai
- img [ref=e857]
- generic [ref=e859]: (opens in a new window)
- link "GitHub" [ref=e860] [cursor=pointer]:
- /url: https://github.com/openai
- img [ref=e861]
- generic [ref=e863]: (opens in a new window)
- link "Instagram" [ref=e864] [cursor=pointer]:
- /url: https://www.instagram.com/openai/
- img [ref=e865]
- generic [ref=e867]: (opens in a new window)
- link "TikTok" [ref=e868] [cursor=pointer]:
- /url: https://www.tiktok.com/@openai
- img [ref=e869]
- generic [ref=e871]: (opens in a new window)
- link "Discord" [ref=e872] [cursor=pointer]:
- /url: https://discord.gg/openai
- img [ref=e873]
- generic [ref=e875]: (opens in a new window)
- generic [ref=e876]:
- generic [ref=e877]: OpenAI © 2015–2026
- button "Your privacy choices" [ref=e878] [cursor=pointer]:
- text: Your privacy choices
- img [ref=e879]
- generic [ref=e884]:
- button "Change language" [ref=e885] [cursor=pointer]:
- generic [ref=e886]:
- img [ref=e887]
- generic [ref=e890]:
- text: English
- generic [ref=e891]: United States
- generic:
- generic:
- generic:
- generic:
- generic:
- img
- textbox "Search locales by name or region":
- /placeholder: Search
- alert [ref=e892]