Tag

#Automatyczne dowodzenie twierdzeń

1 artykuł z tym tagiem

Mistral AI prezentuje Leanstral 1.5: Model agenta kodu dla Lean 4 rozwiązujący 587 problemów PutnamBench

Mistral AI wprowadził Leanstral 1.5, model agenta kodu dla Lean 4, który znacząco poprawia automatyczne dowodzenie twierdzeń i inżynierię dowodów, osiągając imponujące wyniki w benchmarkach.

Redakcja Aigest20 godz. temu

#sztuczna inteligencja #Mistral AI

Powiązane tagi

#AI #sztuczna inteligencja #podstawy AI #LLM #OpenAI #agenci AI #Anthropic #bezpieczeństwo AI #praktyka #Google DeepMind #automatyzacja #open source