Do you have any response to the Jacobian conjecture? Any of the Erdos problems, graph optimizations, or further things?
Do you have any response to the Jacobian conjecture? Any of the Erdos problems, graph optimizations, or further things?
Bob has been cranking out proofs of Erdos problems though, dunno what’s gotten into him
Bob has been cranking out proofs of Erdos problems though, dunno what’s gotten into him
TY @enbyemu.bsky.social for the rec. I LOVED it! I LOVE the art style, all the colours, the ADORABLE expressions, the characters, the friendships, young love, the plot, the humour, the world building, everything! What a treat!
TY @enbyemu.bsky.social for the rec. I LOVED it! I LOVE the art style, all the colours, the ADORABLE expressions, the characters, the friendships, young love, the plot, the humour, the world building, everything! What a treat!
The LLM/agent could not have picked up on syntax/grammar/vocabulary here in lieu of theory and analysis. It required building & applying intermediate steps that did not yet exist.
The LLM/agent could not have picked up on syntax/grammar/vocabulary here in lieu of theory and analysis. It required building & applying intermediate steps that did not yet exist.
E = 6
-> Richard M. Myers -> Kelly Williams -> Peter Kogge -> Jack Snoeyink -> Janos Pach -> Paul Erdos
B = 4
-> Rob Cantor -> Shia LaBeouf -> Kevin Dunn -> Kevin Bacon
S = 5
-> Rob Cantor -> Shia LaBeouf -> Sia -> Beck -> Ozzy Osbourne
= 15 at most
@gregegansf.bsky.social -> John Baez -> Bertram Konstant -> Fan Chung -> Paul Erdos for 4
E = 6
-> Richard M. Myers -> Kelly Williams -> Peter Kogge -> Jack Snoeyink -> Janos Pach -> Paul Erdos
B = 4
-> Rob Cantor -> Shia LaBeouf -> Kevin Dunn -> Kevin Bacon
S = 5
-> Rob Cantor -> Shia LaBeouf -> Sia -> Beck -> Ozzy Osbourne
= 15 at most
Opus 5.5 and GPT-6 Sol evaluations are ongoing.
Opus 5.5 and GPT-6 Sol evaluations are ongoing.
That's fine, you do you, but they have improved
That's fine, you do you, but they have improved
Erdos unit distance: 1-20 steaks
ζ 41.6% → 67.2%: probably considerably <1 steak
Navier-Stokes: hundreds of steaks
Erdos unit distance: 1-20 steaks
ζ 41.6% → 67.2%: probably considerably <1 steak
Navier-Stokes: hundreds of steaks
#abstract #ai #artificialintelligence #algorithm #ai #mathematics
#abstract #ai #artificialintelligence #algorithm #ai #mathematics
1. They don't have enough compute.
2. Even trillions wouldn't be enough.
I will look at the two biggest highlights: the Erdős Unit distance conjecture and the Jacobian conjecture + Artificial Grothendieck Intelligence
I will look at the two biggest highlights: the Erdős Unit distance conjecture and the Jacobian conjecture + Artificial Grothendieck Intelligence
URL: https://www.alkhabar.ma/news/i/98162863/erdos-problem-ai-future-research
URL: https://www.alkhabar.ma/news/i/98162863/erdos-problem-ai-future-research