I rivali dell'IA puntano al problema di Yang-Mills in fisica
OpenAI e un team legato ad Anthropic riferiscono progressi su una delle questioni matematiche più profonde della fisica
Squadre concorrenti nel campo dell'intelligenza artificiale stanno indirizzando i propri strumenti verso la fisica teorica. Ricercatori di OpenAI e un gruppo associato ad Anthropic hanno compiuto progressi misurabili sul problema dell'esistenza di Yang-Mills, secondo quanto riportato da [Science](https://www.science.org/content/article/ai-rivals-tackle-one-physics-deepest-mathematical-challenges).
I team di OpenAI e Anthropic affrontano un enigma fondamentale
Il lavoro sulle fondamenta matematiche della moderna teoria di gauge ha attirato l'interesse dei principali sviluppatori di intelligenza artificiale. Come riportato da Science, OpenAI e un team di ricerca collegato ad Anthropic hanno entrambi documentato progressi sul problema dell'esistenza di Yang-Mills. Il problema è tra le sfide irrisolte più famose della fisica matematica.
I metodi computazionali incontrano la fisica teorica
Il duplice sforzo mostra come i principali laboratori stiano mettendo alla prova i loro sistemi su dimostrazioni matematiche rigorose anziché sui consueti benchmark software. Secondo il resoconto pubblicato da Science, entrambi i gruppi rivali si sono concentrati sui criteri di esistenza della teoria di Yang-Mills, portando innovazione computazionale su un problema che impegna i ricercatori dalla metà del Novecento.
Che cosa significa questa ricerca per la verifica futura
I progressi documentati da Science suggeriscono che modelli automatici avanzati potrebbero presto svolgere un ruolo regolare nella verifica di equazioni fisiche complesse. Gli osservatori aspettano di vedere se i team pubblicheranno manoscritti formali o strumenti software che verifichino il loro lavoro, il che potrebbe influenzare futuri depositi di brevetti e software relativi al ragionamento matematico automatizzato.
Leggi anche su The Patent: GAO avverte che gli obiettivi dell'arretrato USPTO rischiano il fallimento sotto la pressione del personale · Un acceleratore laser compatto genera raggi X brillanti nella finestra dell'acqua nei modelli computerizzati
Tradotto automaticamente dall’originale inglese. Leggi l’originale
