Honestly stunned by result 128 Shortest Common Superstring went from 3x optimal to 7/3 over 35 years of human work. OpenAI's model got it to exactly 2. And it didn't use greedy, the algorithm the 1988 conjecture was about. Lean-checked I animated the proof in 6 minutes:

Name: Honestly stunned by result 128 Shortest Common Superstring went from 3x optimal to 7/3 over 35 years of human work. OpenAI's model got it to exactly 2. And it didn't use greedy, the algorithm the 1988 conjecture was about. Lean-checked I animated the proof in 6 minutes:
Channel: Luis Catacora
Description: Honestly stunned by result 128 Shortest Common Superstring went from 3x optimal to 7/3 over 35 years of human work. OpenAI's model got it to exactly 2. And it didn't use greedy, the algorithm the 1988 conjecture was about. Lean-checked I animated the proof in 6 minutes:

@Luis Catacora

1 grabs

Download

Honestly stunned by result 128 Shortest Common Superstring went from 3x optimal to 7/3 over 35 years of human work. OpenAI's model got it to exactly 2. And it didn't use greedy, the algorithm the 1988 conjecture was about. Lean-checked I animated the proof in 6 minutes:

No comments yet