Specification-driven development in AI
This describes how to download models from Hugging Face. It has to be done through command line and one has to have a login, which I do.
Whisper is set of speech recognition models that include Czech. It seems to be a sort of standard. Try it on photo keyboard.
OpenCode Is open source AI coding assistant.
Lean is a language that supports theorem prooving. It has, among other features, dependend data types - types that allow to check state transition
This code represents the very core of AI training and inference. All in 200 lines of code.
Mercor is a company that created APEX benchmark for AI models. The benchmark is concentrated on finance.
AI creates proofs of Erdos's theorems
