tgoop.com/gonzo_ML/2888
Create:
Last Update:
Last Update:
DeepMind продолжают в математику
https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/
AlphaProof доказывает математические утверждения на языке Lean (https://lean-lang.org/). Зафайнтюненная Gemini переводит описание с человеческого языка на Lean, а дальше RL механизм на базе AlphaZero ищет шаги доказательства.
AlphaGeometry 2 обучена на гораздо большем объеме задач, чем её предшественница и имеет на два порядка более быстрый символьный движок.
Сообща эти две системы решили 4 из 6 задач математический олимпиады этого года, получив результат на уровне серебряного медалиста.
BY gonzo-обзоры ML статей
![](https://photo2.tgoop.com/u/cdn4.cdn-telegram.org/file/IbUP6e9SzB9FkgRxm52k2kO1N95nGRp4XVNwp4dOzFYaRG99O8EpMMChL5tGrj_KRJgShyCR-ocmAb7rWWjujjzz7JxOjxWiJIvUGvLwlOH4ukkGHDIXXswE0INJp5yWJOdHQtKDcHyWA3KNV5GPJR8rnjM9BcZkoHztj-ToidVr1ZpFM7_DEfP1xZ3-wgIIq8hadT4qSVN3IILkBtCN9fyE5W6Xr6wVm64sskxEjPAi77ch0ipx3sF0bmIn5Qy1loMAO131ysZi_P16zZkokkuzYhwzNoFRtU4On5qnyr98a3YZ_I5nAnMxT1bfQHoTOAhkXuRT8N4A7r1CKe6umQ.jpg)
Share with your friend now:
tgoop.com/gonzo_ML/2888