Голос Горизонта

Клод формализовал доказательство Великой теоремы Ферма. Человек, которого финансировали ровно на эту работу, сам всё проверил — и его вывод оказался сложнее, чем пересказывают Кевин Баззард из Imperial College London с 2024 года ведёт сообщество, которое переводит доказательство Великой теоремы Ферма на язык, понятный компьютеру. У него грант британского научного фонда: миллион фунтов на пять лет. О том, что работу сделали за него, он узнал на музыкальном фестивале с плохой связью. Пришло письмо от незнакомца с темой «Сквозная формализация Великой теоремы Ферма на Lean»...

Вы стёрли файл, очистили корзину и для верности затёрли место нулями. Файл всё ещё на диске — и это не баг, а следствие устройства флеш-памяти На жёстком диске всё было понятно: файл лежит в конкретном месте пластины, записали поверх — старого больше нет. Именно на этом построены все привычные утилиты затирания. С твердотельными накопителями эта логика перестала работать, и причина довольно изящная. У NAND-памяти есть неприятная особенность. Читать и записывать её можно страницами по несколько килобайт, а вот стирать — только целыми блоками, в которые входят сотни страниц...

Теория относительности — единственная физика XX века, которая лежит внутри прибора в вашем кармане. И один тумблер на спутнике 1977 года это доказал Навигатор устроен проще, чем кажется. Спутник передаёт сигнал и точное время отправки. Приёмник смотрит, когда сигнал пришёл, умножает задержку на скорость света и получает расстояние до спутника. Четыре спутника — и вы знаете, где находитесь. Вся конструкция держится на одном: часы на спутнике и часы в приёмнике должны считать время одинаково. Вот с этим и проблема...

Как устроен нейрорендеринг, почему претензия к нему принципиально другая, чем к «фейковым кадрам», и что показали первые тесты 3 сентября DLSS 5 официально вышел — вместе с NBA 2K27, для видеокарт GeForce RTX 50-й серии. Скандал вокруг него идёт с марта, когда технологию показали на GTC. Разберёмся сначала, что она делает, а потом уже — почему на неё так реагируют. Все прошлые версии решали, по сути, одну задачу: восстановить информацию, которая в сцене уже есть. Super Resolution собирает кадр высокого разрешения из кадра низкого...