Как математика станвоится главным полигоном для создания AGI
Исследователи OpenAI Себастьян Бубек и Эрнест Рю рассказали, почему математика стала главным полигоном для обучения нейросетей логическому мышлению и создания AGI.
Наука
Революция искусственного интеллекта в научных исследованиях. От предсказания структуры белков до поиска новых лекарств. Машинное обучение в физике, химии, биологии, астрономии. Автоматизация научных экспериментов, анализ больших данных, открытия с помощью ИИ. Междисциплинарные проекты и прорывные результаты.
Возвращение к нейросимволическиому ИИ может стать способом избавиться от галлюцинаций
Статья рассматривает преимущества нейросимволического ИИ как гибридного подхода, сочетающего гибкость нейросетей и надежность экспертных систем для медицинских консультаций.
WP пишет про эру пост-LLM: «модели мира» могут стать следующим технологическим скачком
Переход от больших языковых моделей к «моделям мира», способным понимать физику реальности, и анализирует роль ОАЭ в глобальном технологическом противостоянии.
OpenAI запускает GPT-Rosalind — особую ИИ-модель для биологии и медицины
OpenAI выпустила специализированную модель GPT-Rosalind для ускорения фармацевтических исследований и биохимических разработок.
Математики нашли способ приручить LLM через символьную верификацию
Современные математики активно внедряют большие языковые модели (LLM) в свои рабочие процессы, используя их как генераторы идей для доказательств. Эти идеи затем строго проверяются символьными вычислениями и SAT-солверами, превращая вероятностные догадки в математически верифицированные факты.
При помощи машинного обучения удалось найти тысячи неизвестных иммунных систем у бактерий
Две группы исследователей применили машинное обучение для поиска новых антивирусных механизмов у бактерий, обнаружив тысячи неизвестных ранее систем.
