LINUXTALKS.CO

LLEMMA: Языковая модель, которая переписывает правила игры в математике

 , ,

L


0

1

Недавно группа ученых из Принстонского университета, EleutherAI и Университета Торонто представила миру LLEMMA — языковую модель нового поколения, специализирующуюся на математике. Этот проект стал результатом работы с уникальным набором данных, Proof-Pile-2, в котором собраны научные статьи, програмные реализации математических методов и другие материалы. И самое интересное: LLEMMA превзошла все ожидания, показав впечатляющие результаты на тесте MATH.

LLEMMA не просто умеет считать и решать уравнения. Эта модель способна анализировать и интерпретировать математические законы, что открывает новые горизонты для математического анализа и исследований. В отличие от многих других проектов в этой области, LLEMMA — это открытый исходный код.

LLEMMA не ограничивается теоретическими расчетами. Модель может взаимодействовать с различными вычислительными инструментами, включая интерпретаторы Python и формальные доказатели теорем.

Где это можно применить?

  • Автоматизация доказательств: LLEMMA может значительно ускорить процесс доказательства сложных теорем, сделав его более доступным.
  • Образование: Эта модель может стать отличным помощником для студентов, помогая разобраться в сложных математических задачах.
  • Аналитика данных: В сфере больших данных LLEMMA может стать незаменимым инструментом для более точного и глубокого анализа.
  • Финансы: В рискованных финансовых операциях LLEMMA может предложить новые методы оценки и минимизации рисков.
  • Научные исследования: В физике, инженерии и других научных областях LLEMMA может стать ключом к новым открытиям.

Github

Примеры

Модель 34Б параметров

Модель 7Б параметров

>>> Подробности

★★★★★★★★★★

Интересно другое, когда наши депутаты разработают формальный язык написания документов и на его основе начнут применять для написания законов все разработанные программистами методы коллективной отладки программ и багтрекинга ошибок?

Но сами математики молодцы, вперёд к новым знаниям!

torvn77    
★★
Последнее исправление: torvn77 (всего исправлений: 2)

Linux / Chrome
Ответ на: комментарий от Minona

Какие-то может и умеет, потому как человечество не раз показывало что может не видеть деревьев в лесу.

torvn77    
★★
Linux / Chrome
Ответ на: комментарий от odalist

пока весь опенсорс сотрясался от хохота из-за назначения новой главы Gnome Foundation, сосиска продолжал постить новости про языковые модели.

crypt    
★★☆☆☆
Последнее исправление: crypt (всего исправлений: 1)

FreeBSD / Chrome

@cocucka, я правильно понимаю что она умеет только в формулы записанные на текстовых языках, а в графические олдскульные формулы она не умеет?

torvn77    
★★
Последнее исправление: torvn77 (всего исправлений: 1)

Android / Chrome
Ответ на: комментарий от torvn77

Она умеет только в текст, но всегда можно перед входом к этой модели поставить другую, которая натренирована на распознавание графики. Вон, гопатыч уже умеет диаграмы читать и капчу для бабушки разгадывать.

cocucka    
★★★★★★★★★★
Linux / Firefox
Ответ на: комментарий от crypt

пока весь опенсорс сотрясался от хохота из-за назначения новой главы Gnome Foundation

Ты про Robert McQueen? Что с ним не так?

odalist    
★★★★★★
Linux / Firefox
Ответ на: комментарий от cocucka

можно перед входом к этой модели поставить другую

Это плохо, так как первая нейросетка может не увидеть И НЕ ПЕРЕДАТЬ то, что увидела бы при прямом просмотре вторая.
В общем будет испорченный телефон

torvn77    
★★
Android / Chrome
Ответ на: комментарий от JamesHolden

Это так тонко, что аж толсто!

да) не хочу портить новый технический ресурс Сосиски оффтопом, так что ответил почтой.

crypt    
★★☆☆☆
FreeBSD / Chrome
Ответ на: комментарий от ashot

Транспидор какой-нибудь

Я так и думал…

odalist    
★★★★★★
Linux / Firefox

ждём ебилдов

Harald    
★★★★★★
Linux / Firefox
Ограничение на отправку комментариев: только для зарегистрированных пользователей, score>=90