✨
AI Summary
- Anthropic's Claude has new safety guidelines against cruelty.
- OpenAI released math proofs generated by a model, verified with Lean.
- Discusses the implications of AI in mathematical research and discovery.