ohmancer

iconic_admin@lemmy.world

0 posts
1 comment

Joined 3 years ago

Cake day: June 12th, 2023

You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.

Technology@lemmy.world•OpenAI Says Astra Solved 10 Open Math Problems With Lean Proofs: The proof files are public, but the new model is still private.byohmancer@lemmy.worldEnglish
3 days
I agree with you. If it solved it, it solved it. The title is an odd phrasing.