Представљамо напредак вештачке интелигенције у математици

Објављујемо широк спектар нових математичких резултата до којих је дошао интерни гранични модел.

Да бисмо стандардизовали начин на који делимо резултате са математичком заједницом, консултујемо се са независном Саветодавном групом за математику и вештачку интелигенцију при Институту за напредне студије⁠(отвара се у новом прозору) о развоју најбољих пракси. Њихове савете и јавно објављене препоруке⁠(отвара се у новом прозору) примењујемо при објављивању ових резултата.

Овог пута резултате објављујемо у депоу на GitHub-у, уз протоколе за ревизије радова и цитирање. Настављамо да истражујемо и друге могућности за објављивање ових резултата на платформама које води заједница, а које испуњавају смернице саветодавне групе. При будућим објавама настојаћемо да додатно унапредимо квалитет радова кроз цитирање, математичко излагање и приказ резултата, како би били разумљивији.

У нашем депоу на GitHub-у делимо и формализације многих доказа у језику Lean, програмском језику који омогућава рачунарску проверу математичких доказа. У депо ћемо додавати нове формализације како будемо долазили до њих.

Ради подстицања транспарентности и отворености у науци, објављујемо и додатне детаље о томе како смо дошли до резултата представљених у депоу. Они обухватају 10 сажетака резоновања модела, процене утрошених рачунарских ресурса изражене кроз коришћење модела Pro у ChatGPT‑у и статистичке податке о броју проблема чије је решавање покушано. За један резултат у просеку је утрошено онолико рачунарских ресурса колико је потребно за око три сата размишљања у ChatGPT Pro.

Желимо да овај напредак помери границе људског знања и омогући даљи развој математике. Финансираћемо низ радионица, конференција и посебних програма посвећених разумевању значајних резултата до којих је дошла вештачка интелигенција. Ускоро ћемо поделити више информација о томе.

Желимо да научницима омогућимо директан приступ најсавременијим могућностима и радимо на томе да модел који је постигао ове резултате учинимо доступним на одговоран начин. Зато је важно да наставимо да оцењујемо наше интерне граничне моделе у математици и другим наукама, како бисмо убрзали развој алата за унапређење тих области. Наставићемо да поступамо у складу са повратним информацијама заједнице и да ажурирамо стандарде за будуће објављивање значајних научних достигнућа.