3 ms·

There is in fact just such a repo maintained by Terence Tao and other mathematicians [1] who are actively using LLMs to try to find solutions to them. [1] http

There is in fact just such a repo maintained by Terence Tao and other mathematicians [1] who are actively using LLMs to try to find solutions to them. [1] https://github.com/teorth/erdosproblems https://github.com/teorth/erdosproblems

vessenes 6mo ago
…and this problem was in fact sourced directly from that list!