Back to home

Categories: Hardware, Modely, Chipy (AI)

15 noviniek

Results

Štvrtok 9. júla 2026

Streda 8. júla 2026

Pondelok 6. júla 2026

Nedeľa 5. júla 2026

Modely ⭐ Notable

Better Models: Worse Tools

Flask author Armin Ronacher documents a troubling paradox: newer Claude models are less reliable at following non-standard tool call schemas, hallucinating extra fields — likely an artifact of RL training locked to Claude Code's native harness schema.

5. júl 2026 lucumr.pocoo.org

Sobota 4. júla 2026

Modely ⭐ Notable

Leanstral 1.5: Proof Abundance for All

Mistral AI releases Leanstral 1.5, an open-source (Apache-2.0) Lean 4 formal proof engineering model with 119B total / 6B active parameters. It saturates miniF2F at 100% and solves 587 of 672 PutnamBench problems.

4. júl 2026 Mistral AI