Современ математиканын алдыңкы саптарынын бири болуп эсептелген Теренс Тао «Математика 2.0» деген концепцияны сунуштады. Анын айтымыша, далилдерди издөө маселеси акырындап адамдын негизги интеллектуалдык милдетинен чыгып кетирүүдө. ЖИнин жогорку ылдамдыгы, илим айыл чарбасынын далилдерди текшерүү ылдамдыгынан ашып кетирүүдө.
ЖИнин таасири жана жаңы маалыматтардын агымы
Бул дискуссиянын күчөп келе жаткан себеби OpenAI компаниясынын чоң маалыматты камтышы. 6-октябрда компания 722 математикалык маселелерди камтыган, 372 бири-бирине байланышкан топко бөлүнгөн маалыматтарды ачыкка берди. Бул материалдар ачыкко чыгарылган, бирок алардын тууралыгын, оригиналдуулугун жана маанисин илимий коомчулук дагы эле тастыктаган эмес.
Теренс Тао Калифорния технологиялык институтунда (Caltech) өткөн лекциясында, мурунку математикалык изилдөө системасы ЖИнин мүмкүнчүлүктөрүнө туура келбей калып жатканын эскерткен. Ал распирида, далилдердин ар бир жаңы далилинин артынан атышы, ал тургай илимдин өнүгүшүнө зыян келтириши мүмкүн деп айткан.
Контекст
OpenAI компаниясы 2015-жылдын 8-декаברים күнү негизделген жана штаб-квартирасы Сан-Францискода жайгашкан.
