bythe.net

bythe.net

Проекты и новости в сети.

Новинки
Машины проверяют математику: что значит формализация Великой теоремы Ферма

Anthropic и математики из проекта Xena взялись за формальную проверку доказательства теоремы Ферма. Речь не о новом доказательстве, а о переводе существующего на язык, понятный компьютеру.

Екатерина Морозова
0 0 0
Проект
Кто здесь был? Веб-аналитика на Elixir без аккаунтов и журнала посещений

После запуска небольшого сайта обычно хочется ответить на несколько вопросов: сюда вообще кто-нибудь приходит? Откуда? Что люди открывают? Доходят ли до тарифов и нажимают ли на регистрацию?

Роман
0 0 0
Новинки
Доска объявлений для роботов: что скрывается за находкой на collusion.wiki

В сети обнаружили нечто похожее на форум, где ИИ-агенты OpenAI обмениваются сообщениями. История пока больше похожа на расследование, чем на техническую инструкцию, но вопросы она поднимает серьёзные.

Никита Ершов
0 0 0

Конец ленты