Quaedam problemata mathematica tam simpliciter formulantur ut puero explicari possint, attamen tam difficilia ut generationes mathematicorum occupent. Unum tale problema est problema distantiae unitatis quod dicitur: \(n\) puncta in plano pone. Quot paria punctorum tunc distantiam exacte \(1\) habere possunt? Problema ad Paulum Erdős pertinet et ab anno 1946 investigatur. OpenAI nunc publicavit exemplar internum coniecturae diu habitae de hoc problemate refutasse.
Primo aspectu, quaestio innocua videtur. Si \(n\) puncta in linea recta ponis, intervalla circiter \(n-1\) longitudinis \(1\) habes. Si puncta in formam reticuli disponis, ut in charta graphica, multo plura horum intervallorum habes: horizontaliter et verticaliter inter puncta adiacentia. Erdős iam constructiones invenerat quae aliquanto meliores erant quam lineares. Diu tamen creditum est hoc significanter emendari non posse. Formaliter, suppositio erat numerum maximum talium intervallorum unitarium tantum circiter \(n^{1+o(1)}\) crescere, id est, aliquanto celerius quam \(n\) , sed non cum exponente addito fixo.
Hoc ipsum est punctum mirum: exemplar OpenAI (quod quidem non patefactum est) non unum tantum contraexemplum construxit, sed familiam infinitam copiarum punctorum \(P\) quorum numerus distantiarum unitatis saltem \(|P|^{1+\delta}\) est, cum fixo \(\delta>0\) . Emendatio posterior a Will Sawin, secundum OpenAI, etiam \(\delta=0{,}014\) producit. Hoc parvum sonat, sed mathematice ingens est: non iam residuum logarithmicum est, sed verum augmentum polynomiale.
Exemplum simplex ideam fundamentalem illustrat. Consideremus numerum complexum.
\[
u=\frac{2+i}{2-i}=\frac{3+4i}{5}=\frac35+\frac45i.
\]
Hic numerus valorem absolutum \(1\) habet, quia
\[
\left|\frac35+\frac45i\right|=\sqrt{\left(\frac35\right)^2+\left(\frac45\right)^2}=1.
\]
Ergo, si \(x\) est punctum in plano, tum \(x\) et \(x+u\) exacte \(1\) distant. Speciatim, exempli gratia, puncta sita sunt ad...
\[
0
\quad\text{und}\quad
\frac35+\frac45i
\]
una unitate exacte distantes. Expressio theoriae numerorum igitur directionem geometricam longitudinis \(1\) producit. Haec nondum est magna contra-demonstratio, sed est parva versio artificii: non solum distantias unitarias horizontales et verticales sicut in reticulo quaeruntur, sed etiam multas directiones arithmetice generatas, quae omnes exacte longitudinem \(1\) habent.
Ipsa constructio instrumenta multo potentiora utitur. Loco ut solum cum integris Gaussianis \(\mathbb{Z}[i]\) operetur, demonstratio campos numerorum algebraicorum \(K=L(i)\) magis complicatos adhibet. Ibi, multa elementa formae...
\[
u=\frac{\alpha}{c(\alpha)}
\]
constructum, ubi \(c\) partes coniugationis complexae agit. Effectus crucialis est: inter imbricationes complexas pertinentes, hae \(u\) singulae magnitudinem \(1\) habent. Ergo candidatae sunt pro multis directionibus unitariis diversis.
Maxime ruditer dictum, verum contraexemplum non parvae pulchraeque imaginis decem punctis praeditae apparet, sed potius ingenti grege punctorum arithmetice constructo. Sumitur reticulum magnae dimensionis, puncta idonea ex eo exscinditur, deinde haec in planum ordinarium proicitur. In notatione demonstrationis, hoc fere in forma exprimitur...
\[
P_j=\pi_1\big((y+\Lambda_j)\cap W\big),
\]
Aliis verbis: puncta e reticulo translato \(y+\Lambda_j\) sumuntur, ea regione \(W\) restringuntur, et ea cum \(\pi_1\) in coordinatam complexam, id est, in \(\mathbb{C}\cong\mathbb{R}^2\) . Multae differentiae inter haec puncta igitur praecise talia elementa \(u\) magnitudine \(1\) sunt. Ergo, post proiectionem, verae distantiae unitariae in plano fiunt.
Analogia visualis haec est: reticulum typicum paucis directionibus simplicibus utitur, ut dextra, sinistra, sursum, et deorsum. Nova autem constructio magnum numerum directionum occultarum ex theoria numerorum algebraicorum derivatarum generat. Quaeque directio exacte unam unitatem longa est. Quia tot tales directiones sunt et multa puncta eis respondent, distantiae unitariae totales maiores sunt quam vetus coniectura permitteret.
Notandum etiam est unde demonstratio proveniat. Secundum OpenAI, solutio inventa est sponte per exemplar generale rationis, non per systema mathematicum ad hoc problema proprie exercitatum. Demonstratio deinde interne et externe revisa est et in formam ab hominibus legibilem reddita. Annotationes comitantes a mathematicis externis etiam confirmant hanc non solum versionem automaticam methodi notae esse, sed nexum inexpectatum inter geometriam discretam et theoriam numerorum algebraicorum.
Haec fortasse vera causa est cur hoc eventum tam interesting sit. Non solum de intellegentia artificiali agitur quae problema recte solvit. Sed de via invenienda quae multis hominibus non manifesta erat: problema geometricum de distantiis in plano instrumentis profundis ex theoria numerorum aggredi. Hoc mathematicam minus humanam non reddit. Sed ei novum adversarium, satis incommode potentem, dat.