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