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