cd/entity/OEIS A306477· home› entities› OEIS A306477
grep -l @oeis a306477 /news/*.json | wc -l → 1

OEIS A306477

mentions 1 type Person feed RSS

// recent coverage 1 mentions

16:51
2026-08-24
gist.github.com
artificial-intelligence

Counterexample to Zhi-Wei Sun's 2-4-6-8 conjecture (OEIS A306477)

A developer has settled Zhi-Wei Sun's 2-4-6-8 conjecture (OEIS A306477) by finding a counterexample and formalizing the disproof in the Lean theorem prover. The work was completed in a Lean 4 project,…

// co-occurs with top 5 entities
Zhi-Wei Sun 1 Lean 1 Mathlib 1 Sage 1 Python 1
// topics top 5 topics
artificial intelligence 1 machine learning 1 ai research 1 ai tools 1 developer tools 1