модель aristotle
-
Новости Триумф формальной логики. Нейросеть нашла математическое доказательство, которое люди не замечали 30 лет
Aristotle вывел цепочку рассуждений, оставшуюся незамеченной людьми. Искусственный интеллект снова влез в математику, но на этот раз история оказалась чуть сложнее, чем выглядела в заголовках. Модель Aristotle от стартапа Harmonic формально доказала одну из задач из знаменитого списка...- NewsMaker
- Тема
- задача эрдеша искусственный интеллект математик модель aristotle теория чисел формальное доказательство язык lean
- Ответы: 0
- Форум: Новости в Мире
-
Новости Бог из машины (буквально). Модель «Аристотель» показала проблески нечеловеческой логики на тестах по математике.
Harmonic тренирует искусственный интеллект на синтетических доказательствах и заставляет его говорить языком кода, чтобы потом доверить ему самолеты и деньги. Стартап Harmonic, который развивает системы искусственного интеллекта и был основан при участии CEO Robinhood Влада Тенева, привлек...- NewsMaker
- Тема
- harmonic безопасность венчурные инвестиции искусственный интеллект математический сверхинтеллект модель aristotle формальные доказательства
- Ответы: 0
- Форум: Новости в Мире