Goblin
News
AI news by
promptgoblins.ai
|
News
About
News
About
Filtered by:
Lean 4
Clear
Titles
Summaries
9
GPT-5.6 Sol Formally Proves 50-Year-Old Cycle Double Cover Conjecture in Lean 4
Research
1
Jul 13
9
GPT-5.6 Sol Formally Proves 50-Year-Old Cycle Double Cover Conjecture in Lean 4
Top
Research
· 1 src · Jul 13
Discuss
Filters
Signal
Title
Category
Sources
Posted
Discuss
