Leanstral 1.5 от Mistral: не просто умная, а ещё и внимательная
🤖 Leanstral 1.5 от Mistral: не просто умная, а ещё и внимательная
Mistral AI выкатили новую версию своей модели Leanstral 1.5, и она не только решает сложные математические задачи, но и находит баги там, где их не ждали. Работая в среде Lean 4, этот открытый алгоритм продемонстрировал свои способности, отыскал пять ранее не известных ошибок в 57 репозиториях с открытым исходным кодом и тем самым удивил своих создателей.
◾️ Версия: Leanstral 1.5
◾️ Среда: Lean 4
◾️ Найдено багов: 5
◾️ Проанализировано репозиториев: 57
> "Leanstral 1.5 — ваш новый лучший друг в мире кода, который не даёт мелким ошибкам остаться незамеченными."
Когда алгоритмы начинают видеть то, что скрыто от глаз человека, пора задуматься: а не пора ли им доверить проверку домашки?
Подписаться на «Нейро Пульс»
Первоисточник ↗
Mistral AI выкатили новую версию своей модели Leanstral 1.5, и она не только решает сложные математические задачи, но и находит баги там, где их не ждали. Работая в среде Lean 4, этот открытый алгоритм продемонстрировал свои способности, отыскал пять ранее не известных ошибок в 57 репозиториях с открытым исходным кодом и тем самым удивил своих создателей.
◾️ Версия: Leanstral 1.5
◾️ Среда: Lean 4
◾️ Найдено багов: 5
◾️ Проанализировано репозиториев: 57
> "Leanstral 1.5 — ваш новый лучший друг в мире кода, который не даёт мелким ошибкам остаться незамеченными."
Когда алгоритмы начинают видеть то, что скрыто от глаз человека, пора задуматься: а не пора ли им доверить проверку домашки?
Пока нет комментариев — будьте первым.