Problema mathematicum octoginta annos apertum. Optimi mathematici mundi solutionem non invenerunt. Tum machina venit — et solvit.
Non iocus. Non ostentatio. Machina intelligens OpenAI die XX. Maii MMXXVI coniecturam Pauli Erdős mathematici Hungarici refutavit — coniecturam ab anno MCMXLVI insolutam. Demonstratio a mathematicis externis probata et confirmata est.
Quod erat problema Erdős?
Paulus Erdős unus ex mathematicis fecundissimis saeculi XX erat — notus eo quod problemata difficillima posuit aliisque solvenda reliquit. Eius problema de distantiis unitatis (unit distance problem) simplex videtur:
Imagina n puncta in charta posita. Quot paria eorum eandem distantiam inter se habere possunt?
Erdős coniecit: tesseram quadratam (sicut charta millimetrica) fere optimam esse. Nullam aliam dispositionem multo plura paria aequidistantia efficere posse.
Simile aenigmati iucundo videtur. Per octoginta annos insoluta mansit.
Quid machina fecit?
Machina ratiocinans OpenAI coniecturam Erdős refutavit. Dispositionem invenit quae tesseram quadratam superat — ergo coniectura falsa erat.
Admirabile non solum eventus est, sed via qua pervenit. Machina non inquisitionem simplicem fecit. Theoriam numerorum algebraicam profundam adhibuit — campum quem etiam mathematici periti vix noverunt. Demonstratio a Willio Sawin, mathematico Universitatis Princetoniensis, separatim probata et recta confirmata est.
Machina non adiuvit. Solvit.
Cur hoc magni momenti est?
Quia primum est exemplum machinae intelligentis quae problema mathematicum magni ponderis sponte sua solvit.
Machinae et mathematica — hoc iam saepe contigit. Sed semper ita: homo ideam habet, machina probat, ordinat, adiuvat. Hic aliter erat. Machina ipsa viam invenit quam mathematici per octoginta annos omiserunt.
Non victoria auxilii est. Victoria inventionis est.
Iudicium sincerum
Nunc pars sobria — nuntiis de machinis semper examinatione opus est.
Problema Erdős proprietatem habet quae machinis prodest: praecise formulatum est, regulas claras habet, rectum falsumque machinaliter probari potest. Hoc est genus problematis in quo machinae excellunt.
Multa problemata mathematica aperta similia sunt? Minime. Celeberrima — septem problemata Millennii ab Instituto Clay, singula praemio millionis dollariorum ornata — multo minus ordinata sunt. Utrum machinae illic opitulari possint, plane incertum est.
Quid machina hic non fecit: iudicare quae problemata solvi digna sint. Explicare cur eventus momenti sit. Dicere quid deinde quaerendum sit. Hoc opus humanum manet.
Breviter: machina curriculum octoginta annorum vicit. Certamen longum — intuitio, significatio, contextus — nos ipsi adhuc currimus.
Quid hoc nobis significat?
Directe: parum adhuc. Haec est investigatio fundamentalis, non res in usum quotidianum.
Indirecte: multum. Si machinae in scientia investigando autonomae fiunt — non solum adiuvantes —, modus quo investigatur mutatur. Celerius, latius, in campis ubi intuitio humana fines habet.
OpenAI nuntiavit machinam in problemata alia aperta missam iri. Communitas mathematica et expectans et dubitans est — mixtio salubris.
Una res post diem XX. Maii MMXXVI plane falsa est: "Machinae solum textus creare possunt."