Skip to content
The day in AI
Thu 15 Aug 2024
Thursday 15 August 2024
←
→
No written reading for this day yet. Here is everything that was logged.
Everything from this day
Launches and products
15 Aug 2024
DeepSeek
DeepSeek-Prover-V1.5
Lean 4 prover that adds RL from proof-assistant feedback and an exploration-driven tree search (RMaxTS), reaching 63.5% on miniF2F.