@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

8 bit were enough

Lol we had a bug at work where a system failed because we hit the 32 bit integer limit for # of jobs run

ITS 9 AM EST ON A SATURDAY

POOLS CLOSED

<:dab:395562678153904128>

People didn’t move over to 64 bit bigint

#long long long

6,000,000

Y2K all over again

6 grillion

times 6 m

<:TrumpPotatoe:639979524775477273>

i should have stayed in school

stay in school kids

https://twitter.com/LSNCatholic/status/1198066167304380416

Guys

Its happenning

He’ll yes

Fuck nbc

Imagine if Nick Sandmann is a groyper

He is