Изследователският екип на ByteDance за Seed официално пусна Seed Prover 1.5, модел, специално създаден за формални математически разсъждения. Новата версия бележи голям скок в решаването на проблеми на ниво олимпиада.
Според екипа, Seed Prover 1.5 генерира пълен, компилируем Lean proof код за първите пет проблема от Международната математическа олимпиада (IMO) през 2025 г. в рамките на 16,5 часа. Когато се преобразува в точковата система на IMO, моделът постигна 35 от 42 точки, отговаряйки на историческото ограничение за златен медал.
В сравнение с предшественика си, Seed Prover 1.5 показва значително подобрение в обработката на сложни формални доказателства. Екипът публикува публично техническия доклад и обяви планове за отваряне на достъп до API, като покани изследователи в областта на математиката и изкуствения интелект да тестват модела и да усъвършенстват допълнително пресечната точка на формалната математика и изкуствения интелект.
Източник: AI daily
Source link
Like this:
Like Loading…
Източник https://bccci.net/bg/feed/