AI
AI-generated, Lean-verified proof of Collatz conjecture exploits Lean kernel bug
Article URL: https://infosec.exchange/@0xabad1dea/117002106099986943
Comments URL: https://news.ycombinator.com/item?id=49110494
Points: 9
# Comments: 1
Read the full discussion on HackerNews
This article was aggregated from HackerNews. Click to join the conversation.
View on HackerNews