LLM Hacker News Mar 17, 2026 1 min read
2026年3月16日のHacker Newsでは、MistralのLeanstral公開が277 points、49 commentsを集めた。Lean 4 proof engineering向けのApache 2.0 open modelとFLTEval benchmarkが話題の中心になっている。
2026年3月16日のHacker Newsでは、MistralのLeanstral公開が277 points、49 commentsを集めた。Lean 4 proof engineering向けのApache 2.0 open modelとFLTEval benchmarkが話題の中心になっている。