Reddit
MIT и IMO представили MathNet — крупнейший датасет задач олимпиадной математики
MIT и IMO совместно выпустили MathNet — крупнейший в мире датасет задач и решений Международной математической олимпиады. Набор данных в 5 раз превышает предыдущие аналоги и собран из 40 стран за 40 лет. Это критически важно для улучшения математических способностей и логического вывода языковых моделей.
score 33r/LocalLLaMA