Gemini вирішив математичні задачі від початку до кінця природною мовою (English).
Це відрізняється від наших результатів минулого року, коли експерти вперше перекладали їх на формальні мови, такі як Lean, для спеціалізованих систем для вирішення.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
19 лайків
Нагородити
19
2
Поділіться
Прокоментувати
0/400
TheShibaWhisperer
· 07-21 20:55
не знаю, але ця математична штука якось по-іншому сприймається, чесно кажучи
Переглянути оригіналвідповісти на0
GateUser-3824aa38
· 07-21 20:47
схоже, що ліки ніколи не були відповіддю насправді
Gemini вирішив математичні задачі від початку до кінця природною мовою (English).
Це відрізняється від наших результатів минулого року, коли експерти вперше перекладали їх на формальні мови, такі як Lean, для спеціалізованих систем для вирішення.