@mevenlennonbertrand@lipn.info
Post #4256560
2026-07-28 13:55 UTC
I'm not very good at this, am I?
Replies (1)
-
@totherme@tech.lgbt 2026-07-28 19:00
@mevenlennonbertrand@lipn.info Perhaps: """ Using LLMs and the Lean Proof Assistant for maths makes it hard to tell if you've discovered new maths or a bug in Lean. """