En mathématiques, la conjecture de Littlewood est un problème ouvert (en octobre 2022) en approximation diophantienne, proposé par John Edensor Littlewood vers 1930. Il affirme que pour deux nombres réels quelconques α et β, où est la distance à l'entier le plus proche.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).