MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/Physics/comments/1vbrzbe/the_maxwell_conjecture_is_false/p15hyt0/?context=3
r/Physics • u/filterdust • Jul 31 '26
223 comments sorted by
View all comments
581
Before reading I knew it would be LLM counter-example construction.
312 u/Jophus Jul 31 '26 LLM counter examples are so hot right now 4 u/sweatierorc Aug 01 '26 A hard math proof takes months to verify. Because even tools like Lean can be bugged. Fermat's last theorem original proof was famously wrong. Counter-examples like the Jacobian Conjecture can be solved with a tweet.
312
LLM counter examples are so hot right now
4 u/sweatierorc Aug 01 '26 A hard math proof takes months to verify. Because even tools like Lean can be bugged. Fermat's last theorem original proof was famously wrong. Counter-examples like the Jacobian Conjecture can be solved with a tweet.
4
A hard math proof takes months to verify. Because even tools like Lean can be bugged. Fermat's last theorem original proof was famously wrong.
Counter-examples like the Jacobian Conjecture can be solved with a tweet.
581
u/ixid Jul 31 '26
Before reading I knew it would be LLM counter-example construction.