AI for math problems, или интересные ссылочки по математике

Я тут несколько дней назад лазил по одной из статей от Терри Тао, где он рассказывал про применение разных AI тузов для решения математических задач (там епсилон коррект просто у себя запостил, и я решил почитать). Из знаете что самое интересное - автор статьи всю это инфу собрал в небольшой гугл-документ, где приложил огромное число ссылок не только на книги, блоги и инструменты, но еще и на разные солверы, поисковые движки и модельки, специально обученные для доказательства и решения математических задачек.

Сегодня еще раз пробежался, и блин понял, какое же там огромное количество информации, так что кому интересно, ловите:

https://docs.google.com/document/d/1kD7H4E28656ua8jOGZ934nbH2HcBLyxcRgFDduH5iQ0/

#math #llm