2+2=π√2+n

post by Logan Zoellner (logan-zoellner) · 2023-02-03T22:27:22.247Z · LW · GW · 1 comment

This is a question post.

Contents

  Answers
    49 Measure
    21 Throwaway2367
    8 tailcalled
    4 andrew sauer
    4 Viliam
    4 Charlie Steiner
    3 Caspar42
    1 queelius
None
1 comment

This post [LW · GW]mentions an equation from Ender's shadow

Which kind of annoys me because either:

  1. It's trivial to solve using algebra
  2. The joke is that the answer is irrational so it takes "forever" to solve

So the question I have is:

What is the best problem you know of having the following properties:

  1. Can be expressed as a short formula using "high school" math or less
  2. Has an integer (or rational I guess) answer
  3. ..which is less than 10**100
  4. And cannot be solved using contemporary mathematics

The first "almost" example I came up with was something along the lines of

Where  are all prime.  This should have a couple of large prime factors and hence be hard to factor, but notice it doesn't satisfy criterion 3 (since we can easily factor numbers ~10**100**2)

Does anyone have a better example?

My other instinct was Ramsey Numbers but these seem to fail criterion 1 since I didn't learn the definition in any high school math class.

Also thought of Collatz Conjecture which I guess would count if it had a counter-example < 10**100.

Answers

answer by Measure · 2023-02-03T22:39:30.683Z · LW(p) · GW(p)

Find integers a, b, c, such that a³ + b³ + c³ = 42

The solution for this problem was found recently (2019):

42 = (-80,538,738,812,075,974)³ + 80,435,758,145,817,515³ + 12,602,123,297,335,631³

comment by Vanessa Kosoy (vanessa-kosoy) · 2023-02-04T07:02:08.632Z · LW(p) · GW(p)

Can you please add a citation?

EDIT: The original paper (linked from what localdeity found)

Replies from: localdeity
comment by localdeity · 2023-02-04T07:13:18.510Z · LW(p) · GW(p)

I googled one of the numbers and found e.g. this and Wiki.

answer by tailcalled · 2023-02-03T22:35:08.350Z · LW(p) · GW(p)

Not sure if that is counter to the spirit of the post, because while the answer is either -1 or 0, it involves an intermediate calculation which vastly exceeds .

comment by Thomas Kwa (thomas-kwa) · 2023-02-04T01:05:45.438Z · LW(p) · GW(p)

Feynman once challenged people to come up with a problem that could be stated quickly but he couldn't solve to within 10% in a minute, and a colleague stumped him with finding .

comment by Charlie Steiner · 2023-02-03T22:39:53.506Z · LW(p) · GW(p)

If you mean something like cos(3^^^3 * pi), then I think that one should be solveable. Maybe try induction.

EDIT: Whoops, I didn't see the floor symbols. Nevermind me. With not-quite-so-large numbers it's an interesting problem that might be solveable by finding digits of pi in linear time, but linear time is of limited help here.

Replies from: Beckeck
comment by Beckeck · 2023-02-03T22:44:37.569Z · LW(p) · GW(p)

↑ is not ^ 
https://en.wikipedia.org/wiki/Knuth%27s_up-arrow_notation 

Replies from: Charlie Steiner
comment by Charlie Steiner · 2023-02-03T22:53:49.636Z · LW(p) · GW(p)

I was too lazy to find the right character. Whoops, looks like I misread the comment though.

answer by andrew sauer · 2023-02-04T02:27:14.679Z · LW(p) · GW(p)

Your rules need refining about how large "intermediate values" are:

⌊π^π^π^π^π⌋ mod 10

-High school formula

-Integer result < 10 < 10^100

-Can't be solved w/ contemporary maths

-Misses the spirit of the challenge but obeys the rules

answer by Viliam · 2023-02-04T00:30:02.873Z · LW(p) · GW(p)

What is the smallest positive integer n such that both p and p+n are prime for infinitely many values of p?

(The answer is probably 2, but so far we can only prove that it is not greater than 246.)

Source.

answer by Charlie Steiner · 2023-02-03T23:33:04.850Z · LW(p) · GW(p)

Maybe anything about Hofstadter's Q-sequence.

In the Q-sequence,  is defined as  (with terms n=1 and n=2 set to 1). So , and so on. This sequence "dies" if  for any , because then the next term would ask for some term like  which is undefined. We don't know whether the Q-sequence dies or not.

answer by Caspar Oesterheld (Caspar42) · 2023-02-04T01:04:34.234Z · LW(p) · GW(p)

There's a Math Stack Exchange question: "Conjectures that have been disproved with extremely large counterexamples?" Maybe some of the examples in the answers over there would count? For example, there's Euler's sum of powers conjecture, which only has large counterexamples (for high k), found via ~brute force search.

answer by queelius · 2023-02-04T10:07:18.894Z · LW(p) · GW(p)

I'm kind of annoyed by the challenge, also.

However, this does provide the opportunity to think a bit more deeply about identity and being able to refer to a thing, like π.

To expand on this, the number n, like the number π, has no decimal representation, but unlike most real numbers, it is well-defined since it can be pointed to and thus named: the equation as given in the post is one such name (it is an implicit representation of n; simple algebra may be used to rewrite it into a more explicit form).

If n became useful enough, we could even give it a simpler name (like we did with π and 2), instead of the compound symbolic expression.

There are a lot of unspecified assumptions in Ender's challenge, such as reducing the expression to some canonical form, e.g., 2 instead of 16/8, sqrt(4), or the only even prime number. It takes a bit of sophistication to appreciate the depth of questions of equality, identity, and representation.

The fact that Ender had not considered any of this while confidently presenting the challenge leaves me feeling a bit annoyed.

1 comment

Comments sorted by top scores.

comment by Gurkenglas · 2023-02-04T09:54:42.365Z · LW(p) · GW(p)

Ugh, that equation annoyed me because it looked like GPT-1 trying to write math. I wonder if Ramanujan would have dreamt his conjectures if regularly exposed to this.