Avaldame hulga uusi matemaatilisi tulemusi, mille on saanud meie ettevõttesisene tipptasemel mudel.
Soovime ühtlustada seda, kuidas jagame tulemusi matemaatikakogukonnaga. Selleks oleme heade tavade väljatöötamisel konsulteerinud sõltumatu Institute for Advanced Study matemaatika ja tehisintellekti nõuanderühmaga(avaneb uues aknas) ning võtame tulemuste avaldamisel arvesse nende nõuandeid ja avalikke soovitusi(avaneb uues aknas).
Seekord avaldame tulemused GitHubi varamus koos artiklite muutmise ja neile viitamise reeglitega. Jätkame ka teiste kogukonna hallatavate avaldamisvõimaluste uurimist, mis vastaksid nõuanderühma suunistele. Edaspidi oleme võtnud sihiks parandada artiklite kvaliteeti veelgi: täiustada viiteid, matemaatilisi selgitusi ja tulemuste esitust, et neid oleks lihtsam mõista.
Jagame oma GitHubi varamus ka paljude tõestuste formaliseeringuid Leanis – programmeerimiskeeles, mis võimaldab matemaatilisi tõestusi arvutiga kontrollida. Lisame varamusse uusi formaliseeringuid, kui need valmivad.
Teaduse läbipaistvuse ja avatuse edendamiseks avaldame varamus ka täpsemat teavet selle kohta, kuidas tulemused saadi. See hõlmab kümmet mudeli arutluse kokkuvõtet, kulutatud arvutusressursi hinnanguid väljendatuna Pro kasutusmahuna ChatGPT‑s ning statistikat selle kohta, mitut probleemi prooviti lahendada. Ühe tulemuse saamiseks kulus keskmiselt sama palju arvutusressurssi kui ChatGPT Pro ligikaudu kolmetunniseks arutlustööks.
Soovime, et need edusammud avardaksid inimteadmiste piire ja aitaksid matemaatikal edasi areneda. Rahastame mitmeid töötubasid, konverentse ja eriprogramme, mis keskenduvad tehisintellekti abil saadud oluliste tulemuste mõistmisele. Jagame selle kohta lähiajal lisateavet.
Soovime anda teadlaste käsutusse uusimad võimalused ja töötame selle nimel, et need tulemused saavutanud mudel vastutustundlikult avalikkusele kättesaadavaks teha. Seetõttu on oluline jätkata meie ettevõttesiseste tipptasemel mudelite hindamist matemaatikas ja teistes teadustes, et saaksime kiiremini välja töötada vahendeid nende valdkondade edendamiseks. Võtame ka edaspidi kogukonna tagasisidet arvesse ning ajakohastame oluliste teadussaavutuste avaldamise põhimõtteid.
