Claude Can (Sometimes) Prove It
2 comments · math, vibecoding
- Comments2
–Rank now
#25Peak rank
1Days on list
–Score · 7d
Oct 30, 2026First seen
On Lobsters
mathvibecoding
- Score
- 16
- Comments
- 2
- Submitted by
- hwayne
- Tags
- math, vibecoding
- Site
- galois.com
Story details from Lobsters ↗ · linked article on galois.com.
Trending history
Claude Can (Sometimes) Prove It was first seen on Lobsters · Hottest on Oct 30, 2026. Since then it has appeared in 1 check on 1 different day. Its best position was #25 of 25, reached on Oct 30, 10:19 UTC. It dropped off the list after Oct 30, 10:19 UTC.
Rank history
Position on Lobsters · Hottest at every check (lower is better).
Last 14 days
Best rank per day (UTC).
25
Oct 26today
From the discussion
A few top-level comments from Lobsters, shortened. Read the full thread on Lobsters.
More specifically, it can read a paper about "Deny-Guarantee Reasoning" and translate it into Lean, with supervision from an expert This seems to take more time than proving it by hand, but the author is optimistic that this will improve, and then theorem proving will be "solved"
I started out deeply skeptical but I am happy they tried this experiment. I think the most interesting part of the formalization effort is the [TODO.md](https://github.com/septract/denyguarantee-v3/blame/main/TODO.md) blame. You can see the plan and the llm keeps it in sync with the commits. What I would be very…
Featured in
Archived daily, weekly and monthly lists that include this entry.
Lobsters 1 day, best #25
Questions
Is Claude Can (Sometimes) Prove It trending on Lobsters right now?
Not at the moment. It was last on the list on Oct 30, 10:19 UTC, after 1 day of trending.
What is the highest rank Claude Can (Sometimes) Prove It reached?
#25 on Lobsters · Hottest, on Oct 30, 10:19 UTC. Trendoday checks this list every 30 minutes.
How long has Claude Can (Sometimes) Prove It been trending?
It was first seen on Oct 30, 2026 and has been on the list on 1 day (1 check) since.