RumRunningDevil

joined 5 months ago

I don't enjoy the Internet any more in c/technology@lemmy.world

[–] RumRunningDevil@lemmy.zip 1 points 2 days ago (1 children)

It's always refreshing to read something that I can be 100% sure was not written by an AI.

OpenAI Says Astra Solved 10 Open Math Problems With Lean Proofs: The proof files are public, but the new model is still private. in c/technology@lemmy.world

[–] RumRunningDevil@lemmy.zip 1 points 2 weeks ago

A few of the erdos problems have been independently verified. It's legit.