17·
30 days agoExactly. This is how I find out people bring their phones into the shower.
goldenbug
- 0 Posts
- 3 Comments
Joined 3 years ago
Cake day: March 3rd, 2024
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
3·2 months agoForsaken is still doing rounds on my playlists
https://mathoverflow.net/questions/513540/should-we-trust-ai-generated-formal-proofs-in-lean-4