Gemini решил математические задачи от начала до конца на естественном языке (English).
Это отличается от наших результатов прошлого года, когда эксперты впервые перевели их в формальные языки, такие как Lean, для специализированных систем для решения.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
20 Лайков
Награда
20
3
Поделиться
комментарий
0/400
rug_connoisseur
· 8ч назад
фр, мы наблюдаем пик математики сейчас
Посмотреть ОригиналОтветить0
TheShibaWhisperer
· 07-21 20:55
не знаю, но эта математика как-то воспринимается иначе, если честно
Gemini решил математические задачи от начала до конца на естественном языке (English).
Это отличается от наших результатов прошлого года, когда эксперты впервые перевели их в формальные языки, такие как Lean, для специализированных систем для решения.