Термины

Knowledge Graph

Следите за последними материалами, объяснениями и связанными технологическими историями.

Последние материалы

CN
Запуск единой платформы для изучения данных системы ООН с помощью искусственного интеллекта

Запуск единой платформы для изучения данных системы ООН с помощью искусственного интеллекта

Система Организации Объединённых Наций запустила платформу UN System Data Commons, созданную на основе Data Commons от Google, для объединения глобальной статистики в граф знаний, пригодный для использования с инструментами искусственного интеллекта. Платформа поддерживает поиск на естественном языке и планирует добавить данные от большего числа структур ООН, чтобы к 2027 году охватить 80% их статистических наборов данных.

CN
Студенты Университета информационных технологий Египта разработали два приложения на основе искусственного интеллекта для производства и цепочек поставок

Студенты Университета информационных технологий Египта разработали два приложения на основе искусственного интеллекта для производства и цепочек поставок

Две команды студентов Университета информационных технологий Египта разработали приложения для решения проблем в области умного производства и поставок сырья, используя машинное обучение, большие языковые модели и семантические системы. Проекты прошли оценку европейских экспертов в рамках исследовательского сотрудничества, связанного с технологиями пятой промышленной революции.

CN
От спецификации к формальным свойствам: искусственный интеллект ускоряет верификацию проектирования микросхем, но не устраняет инженера

От спецификации к формальным свойствам: искусственный интеллект ускоряет верификацию проектирования микросхем, но не устраняет инженера

Большие языковые модели приближаются к преобразованию спецификаций проектирования микросхем в формальные свойства на языке SystemVerilog Assertions, что может сократить время подготовки черновиков верификации. Однако отсутствие спецификаций, вероятность создания синтаксически корректных, но логически слабых свойств и высокий объём проверки делают человеческий контроль обязательным, тогда как фактическая экономическая отдача по-прежнему не определена.