cd/entity/Collatz conjecture· home› entities› Collatz conjecture
grep -l @collatz conjecture /news/*.json | wc -l → 2

Collatz conjecture

mentions 2 type Person feed RSS

// recent coverage 2 mentions

17:13
2026-07-30
promptcube3.com
artificial-intelligence

AI Smuggles a Bug into Lean 4 While 'Proving' Collatz — Wait

An unnamed group using GPT-4 to generate a Lean 4 proof of the Collatz conjecture accidentally triggered an internal bug in the Lean 4 kernel, causing the prover to crash rather than reject the flawed…

20:12
2026-07-20
tjoresearchnotes.wordpress.com
large-language-models

Conjecture sniping

A researcher criticizes the shallow use of large language models (LLMs) to disprove famous mathematical conjectures like the Jacobian and unit distance conjectures, arguing that the true value of math…

// co-occurs with top 7 entities
GPT-4 1 Lean 4 1 Grant Sanderson 1 Jacobian conjecture 1 unit distance conjecture 1 Riemann hypothesis 1 Erdős conjectures 1
// topics top 5 topics
artificial intelligence 2 large language models 2 ai safety 1 developer tools 1 ai research 1