Мы говорим: гипотеза Римана, гипотеза Ходжа, гипотеза Бeрча – Свиннертон-Дайера (это я перечисляю «задачи тысячелетия»), имея в виду сформулированные, но не доказанные математические утверждения. Такое словоупотребление маскирует принципиальную разницу между утверждениями, подлежащими дедуктивному выводу из прежде доказанных или условно принятых утверждений, и гипотезами в естественно-научном смысле, требующими экспериментальной проверки в физическом мире. Я предлагаю ввести отдельный термин для первого класса высказываний, тем более, что он уже наличествует в английском языке: это conjecture.