goldenbug

goldenbug@fedia.io

0 Posts
1 Comment

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.

OverviewCommentsPosts

goldenbug@fedia.iotoTechnology@lemmy.world•OpenAI posts 700 maths preprints online: mathematicians are up in arms
link
fedilink
arrow-up
8·
24 hours ago
https://mathoverflow.net/questions/513540/should-we-trust-ai-generated-formal-proofs-in-lean-4

link
fedilink