What you want to solve? I am mathematician

@Branky https://cdn.discordapp.com/attachments/634367565304561675/647785878080454656/image0.jpg

Apples and Pineapples

Pineapple pen

Am I right guys

@fuguer hey dude how is it going?

You can solve it with fractions then using the fact that you can multiply all variables by same amount you use common divisors to make them integers

@Branky if the cookie monster can bake 1000 cookies a day, how many years will it take for him to bake 6 million cookies? (Joke)

the clue lies in the first line

I had to write a program to solve it

pineapple = 4373612677928697257861252602371390152816537558161613618621437993378423467772036 apple = 154476802108746166441951315019919837485664325669565431700026634898253202035277999

banana = 36875131794129999827197811565225474825492979968971970996283137471637224634055579

@fuguer are you the coq expert?

He is indeed the cock expert

What’s a coq

I’m good

https://youtu.be/C4fmpVg0w8s

It’s easy for non positive you can do -1, 4, 11

lol x e12

nerds

<:dab:395562678153904128>

Ok wtf is this https://en.wikipedia.org/wiki/Black_Cube

@fuguer a french software for machine assisted proving of math theorems

Why did I just found out about it'

1 1 3

@fuguer talked to some guy here years ago who was an expert

No I never worked with software to solve theorems sounds interesting

@fuguer 1,1, 3 is correct no?

It is quite cool, name is a little weird, but what do you want, french person wrote it

Is vlad still around?

1,1,3 wont work

1/4+1/4+3/2= 2

You need it to be twice as big as that

:kekboi-1:

I didn't think hard enough.

Solving it for positive integers requires advanced number theory/elliptic curves

Apple can't be Banana i'm not cut out for this world

damn you internet

@iippo https://youtu.be/p3B8bMc2kso

Since they’re all fractions you can see that once you find an answer you can multiply all numbers by x and it’s still a valid answer

ban high integers