Il risultato ottenuto da un chatbot riguardo a una congettura di 80 anni fa costituisce la prima dimostrazione basata sull’IA che verrebbe probabilmente pubbli…
Dopo 80 anni di vani tentativi da parte dei matematici umani, un’importante congettura geometrica è stata finalmente risolta grazie a una semplice domanda posta a un chatbot.
L’azienda OpenAI, creatrice di ChatGPT, ha annunciato il risultato, accompagnato dai commenti di numerosi esperti, i quali hanno definito il metodo dell’intelligenza artificiale (IA) “ingegnoso” ed “elegante”.
L'IA di OpenAI risolve un enigma matematico aperto da 80 anni
AI just solved an 80-year-old ‘Erdős problem,’ and mathematicians are amazed
OpenAI ha risolto in poco più di un'ora un enigma matematico aperto da 80 anni
Un modello di OpenAI risolve un problema matematico (difficile) vecchio di 80 anni
OpenAI smonta una congettura geometrica di 80 anni, ma Google risolve 9 problemi di Erdős con meno clamore
OpenAI dice di aver risolto un problema matematico aperto da ottant’anni
OpenAI makes breakthrough on 80-year-old maths problem
Mathematicians stunned by AI's biggest breakthrough in mathematics yet
Un chatbot di OpenAI ha risolto il problema della distanza unitaria di Erdős, irrisolto dal 1946. I matematici sono stupiti.
A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in math’s…
OpenAI smentisce una congettura di Erdős sul problema delle distanze unitarie: l’AI entra nella matematica avanzata.
OpenAI ha annunciato un ulteriore progresso nella capacità di ragionamento dei suoi modelli linguistici, uno dei quali ora ha…
La risoluzione improvvisa di una nota congettura mette in luce il crescente ricorso all'intelligenza artificiale come strumento…
Circa 1,5 milioni di conversazioni finite sotto la lente di ingrandimento per capire come le persone interagiscono con la chatbot…
