Она же проблема 3n+1. Это, наверное, самая сложная проблема с самой простой формулировкой — условие может понять и ребенок. А вот сложность самой проблемы такова, что великий математик Эрдош сказал, что «математика еще не готова к решению проблем такой…
Математик Паата Иванишвили из Калифорнийского университета в Ирвайне сообщил, что Grok 4.6 в обвязке Grok Build (аналог Claude Code от SpaceXAI) доказал гипотезу Холмса, Холройда и Рамиреса, которую Иванишвили окрестил "Greedy is least speedy" ("жадный — самый медленный"). Модель доказала более сильную комбинаторную Гипотезу 5 из той же статьи — а из нее основное утверждение следует автоматически. Результат оформлен в короткую заметку, соавтором которой стал Шэнтун Чжан из Стэнфорда. Читать далее
Почему мы считаем ту или иную теорию или гипотезу убедительной, а её альтернативы маловероятными? Ответ на этот вопрос волнует философов науки уже много десятилетий: спорам Карла Поппера и Томаса Куна уже больше 40 лет. Относительно свежий пример, на котором можно его обсудить, — развитие представлений о тёмной материи. Признаки её существования обнаружили ещё в 1930–х годах, но только в 1970–х эту гипотезу начали рассматривать как основную. Почему? Читать дальше →
Математики опровергли гипотезу существования сильного принципа космической цензуры. Их работа отвечает на один из наиболее важных вопросов в изучении общей теории относительности и меняет то, как мы рассуждаем о пространстве-времени. Спустя почти 40 лет после его постановки,…