AxiomProver

AI намери връзка между съвременната геометрия и формули от 19 век

Преди пет години математиците Дауей Чен и Куентин Жандрон работят по предизвикателен проблем в алгебричната геометрия, свързан с диференциали, т.е. инструменти за анализ, които помагат за измерване на „разстояния“ по изкривени повърхности. В един момент те се натъкват на...

Нови ревюта

На вид е Yoga, отвътре е малка работна станция: тествахме Lenovo Yoga Pro 7i Gen 11

Има един много прост тест за лаптоп, който претендира, че е направен за хора, работещи в движение: колко често се налага да правиш компромис,...

Най-четени