#mathematicsproofs — Public Fediverse posts

Gowers’s Weblog: What sort of maths are LLMs good at?. “A first remark here is that LLMs are not just good at finding counterexamples: they can find proofs of difficult statements as well. However, it is notable that the most famous problems they have solved have almost all been with counterexamples rather than proofs. That is true of the two problems mentioned above, and also of the Jacobian […]

MIT CSAIL: MIT researchers build the world’s largest collection of Olympiad-level math problems — and open it to everyone. “MathNet is the largest high-quality dataset of proof-based math problems ever created, and it is not close. Comprising more than 30,000 expert-authored problems and solutions spanning 47 countries, 17 languages, and 143 competitions, it is five times larger than the next […]