SP
поинт это ньютайп от Coordinate и надо искать для координаты
Size: a a a
2020 September 07
SP
следовательно имплементация вот https://github.com/georust/geo/blob/9d8a1c3c6921c645b8ed9ba66e07cc461480dbc2/geo/src/algorithm/contains.rs#L212
SP
оказалось мне нужно просто https://stackoverflow.com/a/37865332
T1
Blocking waiting for file lock on package cache
T1
мне карго такую хуету выводит
T1
чё делать?
NL
чё делать?
Убей конкурирующий процесс карго где-то, у тебя или в intellij, или в другой консоли.
b
b
Переслано от badtrousers
This paper presents the first use of graph neural networks (GNNs) for higher-order proof search and demonstrates that GNNs can improve upon state-of-the-art results in this domain. Interactive, higher-order theorem provers allow for the formalization of most mathematical theories and have been shown to pose a significant challenge for deep learning. Higher-order logic is highly expressive and, even though it is
well-structured with a clearly defined grammar and semantics, there still remains no well-established method to convert formulas into graph-based representations. In this paper, we consider several graphical representations of higher-order logic and evaluate them against the HOList benchmark for higher-order theorem proving.
well-structured with a clearly defined grammar and semantics, there still remains no well-established method to convert formulas into graph-based representations. In this paper, we consider several graphical representations of higher-order logic and evaluate them against the HOList benchmark for higher-order theorem proving.
r
Языковая модель есть, эпизодическую память и интеграцию с визуальным восприятием к ней прикрутили. Модуль математической интуиции вот появился. Еще аналог мозжечка нужен для быстрого обучения действиям в action-space высокой размерности. А то у RL с этим пока проблемы.
r
AGI в 2030-х уже не выглядит совсем безосновательным.
b
угу
NL
red75prime
AGI в 2030-х уже не выглядит совсем безосновательным.
General?
r
Artificial general intelligence, да
NL
red75prime
Artificial general intelligence, да
Не знаю, что-то мне доводы Пенроуза кажутся более убедительными. Разве что китайскую комнату удастся сделать.
r
Не знаю, что-то мне доводы Пенроуза кажутся более убедительными. Разве что китайскую комнату удастся сделать.
У Пенроуза аксиома - математики не ошибаются. А что может следовать из ложных посылок? Китайская комната - это кривой философский мысленный эксперимент. Человек там никаких функций не выполняет (которые нельзя было бы заменить механическим устройством) и его понимание или непонимание никакого отношения к происходящему в комнате не имеет. Так - red herring.
NL
red75prime
У Пенроуза аксиома - математики не ошибаются. А что может следовать из ложных посылок? Китайская комната - это кривой философский мысленный эксперимент. Человек там никаких функций не выполняет (которые нельзя было бы заменить механическим устройством) и его понимание или непонимание никакого отношения к происходящему в комнате не имеет. Так - red herring.
Ну ладно, посмотрим 😏
r
Да, из ложных посылок можно получить верные выводы. Но то, что мозг использует суперпозиции конфигураций пространства-времени для выполнения своих функций, не подтверждается вообще никакими данными.
DF
А как это можно подтвердить?
r
Dollar Føølish
А как это можно подтвердить?
Тут скорее, "откуда это вообще может взяться, исходя из современных представлений о физике?" Чайник Рассела тоже сложно подтвердить