Skip to content
The day in AI
Thu 23 May 2024
Thursday 23 May 2024
←
→
No written reading for this day yet. Here is everything that was logged.
Everything from this day
Launches and products
23 May 2024
Anthropic
Golden Gate Claude
For 24 hours the public could chat with a Claude whose Golden Gate Bridge feature was turned up, a live demo that features steer behavior.
Research
23 May 2024
DeepSeek
DeepSeek-Prover (V1)
Lean 4 theorem prover trained on 8M synthetic formal statements with proofs, reaching 52% cumulative on miniF2F versus GPT-4's 23%.