AI for math problems, или интересные ссылочки по математике
Я тут несколько дней назад лазил по одной из статей от Терри Тао, где он рассказывал про применение разных AI тузов для решения математических задач (там епсилон коррект просто у себя запостил, и я решил почитать). Из знаете что самое интересное - автор статьи всю это инфу собрал в небольшой гугл-документ, где приложил огромное число ссылок не только на книги, блоги и инструменты, но еще и на разные солверы, поисковые движки и модельки, специально обученные для доказательства и решения математических задачек.
Сегодня еще раз пробежался, и блин понял, какое же там огромное количество информации, так что кому интересно, ловите:
https://docs.google.com/document/d/1kD7H4E28656ua8jOGZ934nbH2HcBLyxcRgFDduH5iQ0/
#math #llm
Post #701
3.58K