drdwo.bsky.social
LightNews LightNews
drdwo.bsky.social
drdwo.bsky.social
@drdwo.bsky.social
1 followers 1 following 3 posts
Posts Replies Media Videos
drdwo.bsky.social
First Proof (#1stProof): AI-only workflow (no human math input). Report + outputs:
althofer.de/first-proof-...
Looking for critique / error-spotting. #1stProof #Math #TheoremProving
Team Wolz & Althofer
First Proof Competition
althofer.de
February 13, 2026 at 10:58 PM