serious-discussion

[long matrix]

how we still at this

🤡

[willow crystal]

i don't even know lol

[long matrix]

🤡

🤡 🤡 🤡 🤡 🤡 🤡 🤡

[shell hornet]

I think thats a great idea. but need a mathametician that is prepared to check AI slop.

[long matrix]

ok go pay them with yo own money

[true wedge]

paying a mathematician to roast what you send them is crazy

[mint canopy]

I am not going to comment on your proof because I'm not terribly interested, but I want to let you know that these AI chatbots are notoriously terrible at mathematics. I have managed to have them produce 'proofs' of completely false facts often.

[long matrix]

it knows

[obtuse laurel]

My brain wont let me move on until i understand why. its 5th grade maths from khanacademy xD

#1363209173944242388 message

[undone pike]

i wouldn't say this is accurate

but it's still dumb anyway

[still pilot]

i mean

proving a theorem is technically autocomplete

start from axioms and autocomplete the reasoning

[sharp mulch]

[silent junco]

good one lol

[vast wraith]

sure there is such a thing as proof-search, but that is not what mathematicians do

unguided proof-search is not feasible in sufficiently complex theories

[long matrix]

thats what YOU dont do

me, however.

[true wedge]

Brute Force 🗿

[long matrix]

thats why IM going to solve collatz

and not YOU

[true wedge]

exactly

shuri got the superior compute power

[willow crystal]

in a potato pc most likely

[vast wraith]

so true bestie

[long matrix]

im supraqauntum

[still pilot]

so a human is just an advanced heuristic

let's approximate a human!

[vast wraith]

behold, a human

[willow crystal]

is this a diogenes reference btw?

[old oak]

[vast wraith]

whomstve

[old oak]

White guy with haircut

[vast wraith]

right i think i knew him

he walked around with a cigar, ranting about how cool he thinks andrew tate is, in between his coughing and incomprehensible comments about respecting women

[tender cobalt]

disrespecting women*

[long matrix]

Grok refuses to prove RH for me

lameass AI

[shell hornet]

yea you have to force it past those points.

its not so simple, you have to make it critically review its own proof in a new instance and it will tear it a part.. you have to do this over and over between AIs to even begin to get anywhere or get past circular arguments

im onto something else now, im forcing it to find out what minus 1/12 actually is geometrically.. you have to force it to dig so deep but it just apparently made a profound discovery./

[solid snow]

woah…

[haughty lion]

ChatGPT had no problems with me. Just tell it to prove RH using induction. You might get some weird statements, something like 1 being even, but that's just small nitpicks

[near mango]

@gork prove maths

[unborn meteor]

yeah, i've already cashed in on the $1 million like 20 times using ai's, i wonder when they'll catch on

[silent knoll]

Hey guys

Wassup

[quartz light]

the ais agreeing is a function of your prompting. if you prompted them differently but same prompts across all AIs, youd reach a different answer with all agreeing

[vague eagle]

https://youtu.be/6LF6ECTl3KU?si=Y2tBx3bFw6N320fb
#discussy2, is this lore worth looking into?

[old oak]

It's amazing how easy it is to make profound discoveries if you know nothing about a subject, isn't it?

That's why you get so much pushback here, we're intimidated by your power

You and the LLMs will soon make us all obsolete, so we're lashing out and I'm deeply ashamed about it.

Just think what you could accomplish in a field you are already somewhat knowledgable in! Or is there no such field?

[old oak]

How do you know you didn't just eventually massage it into generating an output that you (and other statistical text generators) reacted positively to? And since you don't understand the subject, and you don't know whether they do, what value is there to it?

Again, if you just want to waste your time (and ours), then knock yourself out, I find it weirdly entertaining to insult you; but if you want to actually improve the world in some way (as I understand is your dream), why don't you apply all of that to a subject about which you have read at least one book or taken at least one class?

Surely if you set out to tackle an extremely difficult research problem, you have studied some subject academically, so why not work in that subject?

Otherwise it's the equivalent of asking people to review your detailed blueprints of a skyscraper on the strength of you having assembled a LEGO set once.

[long matrix]

what the

another day same convo

[upbeat heart]

🆒

[old oak]

I can only apologize

[gusty pelican]

what do you guys think of this wallpaper

[old oak]

I think it's a wallpaper

[warped bolt]

one of the wallpapers of all time

[tight copper]

pog

[verbal quest]

Yember loves it

[gusty pelican]

who's yember

[verbal quest]

some dude griping about weebs in #discussion earlier

[old oak]

~~The whole point of this channel is that we can ignore the existence of #discussion ~~

[verbal quest]

in fairness
I got confused which channel I was in when I replied
but also, I would've anyway

[vocal vessel]

https://tenor.com/view/shaggy-wasnt-me-not-me-gif-4930192

[chilly hull]

a bird and a man

[neat lintel]

I dont like one piece but btd6 is fun

[gusty pelican]

Ah I see why, it's because she's 30 and the wallpaper isn't horny in any way, honestly wanting a non-horny anime girl wallpaper was part of the motivation for me too to be fair

Well to be honest it's just because robin looks cool in that frame haha

I actually need to catch up on one piece to be honest, this is just a frame I randomly found on a "robin vs seraphim jinbei" clip

[verbal quest]

you can use whatever wallpaper you want, idc
that guy started his own crusade shortly before then
typical #discussion behavior

[gusty pelican]

#serious-discussion supremacy smh smh, though the reason I posted my wallpaper here was because too many people were talking on the other channel

[long matrix]

its a wallpaper

but more importantly

desktops aren't for clutter!

cursed

[white temple]

i miss doing abs alg

[deep mango]

is this why youre always surprised when my desktop has nothing

[cinder zephyr]

desktops should never have anything

their sole purpose is pretty picture

[old oak]

Dekstops should always have everything

[cinder zephyr]

but how will you see the pretty picture

[old oak]

Mine is very ugly

I do my best to keep it covered by icons

[grizzled crypt]

desktop should be a black background with only recycle bin

[cinder zephyr]

my current background

#911 Proton Competition Porsche at Le Mans 2023

[long matrix]

recycle bin belongs within the file explorer pins

or your taskbar

[cinder zephyr]

"recycle bin" just select and hit delete man

[long matrix]

if your desktop is empty ull never drag anything into it

[cinder zephyr]

task bar should also be empty but I agree I'm in the minority of this take

[long matrix]

doesnt make sense for windows

win+number is highly productive

[cinder zephyr]

shouldn't be using windows but I agree I'm in the minority of this take

[grizzled crypt]

you've changed my life

[long matrix]

if its linux i can see why just configging hotkeys or whatever

if its mac, i dont mac

[cinder zephyr]

On linux I just do Alt + Space and then I get a search bar for everything

[long matrix]

yh that makes sense

[cinder zephyr]

no need to use mouse

[deep mango]

sul

[long matrix]

ryc is highly troll

[deep mango]

just click

you have a mouse

[long matrix]

i use a mouse extensively but see no advantage

[deep mango]

2 button clicks instead of one

[long matrix]

after you sign in, your hands will be on your kb

[deep mango]

[long matrix]

outside of that i do use my mouse to do it at times

[deep mango]

at times

[deep mango]

using a laptop its in the same place at least...

[long matrix]

thats still going to be slower

to move precisely where u want it

[deep mango]

but not slower to press win and then count your way to the right icon

[long matrix]

thats precisely why its almost always going to be 1 2 3 or a combination of

[deep mango]

huh

so few things open

[long matrix]

and i thought opening 2 at startup was a fair amount

[deep mango]

💀

[long matrix]

but u install everything u see online

so i can understand

[deep mango]

i open firefox, discord, spotify, vscode, steam

[long matrix]

gotta open all the bloat and slow windows down 🤡

if its gonna be the same for some u can also just open at startup option

[long matrix]

or just have them as first 5

then go 12345

which is always gonna be quicker than 5 clicks

[deep mango]

i dont open then all immediately

they just all end up open

💀

trolling

[vast wraith]

people out here using the mouse?

weirdos

[violet vector]

Anybody here good in math

I need help

[quasi jetty]

No need to ask “Can I ask…?” or “Does anyone know about…?”—it’s faster for everyone if you just ask your question! See https://dontasktoask.com/

[violet vector]

What

Hard time trying to send a picture of my question to this chat

[agile fiber]

for math help i recommend you get a help channel, see #❓how-to-get-help for info on how to do that

[violet vector]

Can I send a picture of my question to here.

¿

[agile fiber]

i don't think you have image permissions in this chat. but you do have image permissions in the help channels which is where you should ask for help anyway

[violet vector]

The “help-forum”

¿

[icy heron]

I'm happy to announce that I've solved the Sage discoverability problem:

def breadth_first_search(start_node, descend, check):
    queue = [start_node]
    while queue:
        node = queue.pop(0)
        for child in descend(node):
            if check(child):
                return child
            queue.append(child)

    return None

def search(module, term):
    def desc(mod):
        if str(type(mod)) != "<class 'module'>":
            return
        for name, submod in list(mod.__dict__.items()):
            if name.startswith("__"):
                continue
            yield submod

    def check(mod):
        try:
            return term in mod.__name__
        except:
            return False

    return breadth_first_search(module, desc, check)

Usage:

sage: search(sage, "lie")
<module 'sage.categories.lie_algebras' from '/usr/lib/python3.13/site-packages/sage/categories/lie_algebras.py'>
sage: search(sage, "galois")
<function galois_group at 0x7f2a75e56b60>

posting here instead of #groups-rings-fields because this is so high quality

[latent edge]

this is so high quality wtf

[icy heron]

thank u thank u

[shell hornet]

congratulations

[old hound]

whats that

[long matrix]

I don't get it

[gusty socket]

save some google recruiters for the rest of us

[small dust]

is this for searching the sage framework for specific algebraic structures? if so that’s awesome

[vast wraith]

why not just search the docs?

are they perhaps nonexistent?

[long matrix]

oh nvm i get it

[wide hull]

Do y'all think a 7.8" eink reader is large enough to comfortably read PDFs? My current ereader is 6" and it's slightly too small

I'm currently debating between a great deal on a 7.8" color eink reader and a more expensive, black and white 10.3" reader

[surreal sapphire]

dont post ai generated walls of text

[surreal sapphire]

i use the boox nova (7.8) daily and its fine

if you want to do notes and pdf side by side its too small imo but for reading a pdf (and annotating on it) it suffices

[wide hull]

I was going to ask if it was ai, but I didn't want to be rude lol

[wide hull]

I don't plan on writing at all, just reading textbooks and papers, so this makes me optimistic about getting the 7.8" Boox Tab Mini C

[surreal sapphire]

ye, works fine for me

i had a kindle before which was way too small

and then some other boox device, which is fine but i wanted to go up

i think larger is even better but not necessary

[wide hull]

I have been considering splurging and getting a more expensive 10.3" color eink reader

[surreal sapphire]

why do you think color is necessary

[wide hull]

Honestly? Mainly because of the diagrams in machine learning books lol

Especially the diagrams that show color gradients

[surreal sapphire]

well ok, can't comment on that

i would just print pdfs to the size of the ereader and check

the boox reader is pretty good at cropping whitespace on the sides too

[wide hull]

Yeah, the boox PDF reader is great

[surreal sapphire]

but yeah, i think 10.2 is ideal (i think its also size of something like remarkable) but 7.8 works fine as well

actually i have both and use the 10.2 more

i forgor

i have a boox nova and a note air

i used the smaller one during all my uni days essentially but then switched to larger one when i started working

with the small one i rarely took digital notes but reading was no issue

with the larger one i also take notes a lot

don't have to bring paper all the time

[wide hull]

If I get a 10.3" e-reader, I'll have to get a bigger messenger bag 😤😤😤

(not actually that upset about that)

[surreal sapphire]

i have a laptop backpack with a smaller slot for tablets

the large one doesn't fit into it with the case on

its so sad

[wide hull]

Wait, I just realized how smart this is!

Thanks!

Lol

[cedar epoch]

Wait there’s a discussion inside another discussion?

[narrow mauve]

Someone please dm me if they are willing to help me with my pre cal hw it’s just 2 questions

[limber stratus]

Can someone give me a tdlr of graph theory, and what do you need to know for linear algebra?

[haughty lion]

Neither of them is a prerequisite for the other

Or is this two questions in one?

Linear algebra has no prerequisites other than set theory and proofs

[limber stratus]

two seperate

[haughty lion]

Any good textbook will build up other things (groups, fields, polynomials) along the way

[solid lake]

I can help out, but I'm not fully done with pre calc so if ik what its about I can help

[limber stratus]

im thinking of doing some summer group, either one relating to graph theory or independent research using linear algrebra

[solid lake]

What actually is linear algebra?

I've been curious recently

[limber stratus]

i do have to take linear algebra next spring, so maybe its a good head start?

[haughty lion]

And well graph theory is about studying graphs :D

There's cool "real world applications" from it

Like if you have 6 people at a party, then you can always find 3 people who all know each other or 3 people such that none of them knows another

[shy summit]

Hi

[hardy iron]

Graph theory is the study of a class of objects called ‘graphs’, and other objects related to it.

A graph has two key features, a set of vertices and a set of edges between vertices

[hardy iron]

There are many branches of graph theory, and they intersect well with other areas of mathematics

[haughty lion]

It's the study of vector spaces and linear equations

[true wedge]

categories are glorified directed graphs 🗿

[limber stratus]

hmm that does sound interesting

[haughty lion]

Graphs are just 1 dimensional CW complexes

[true wedge]

real shit

[solid lake]

Ah, ok, is it just 2d vectors or higher dimensional vectors?

[haughty lion]

Any dimensional

[true wedge]

vectors are objects in vector space

[solid lake]

That's quite interesting

[haughty lion]

The great thing is that studying 1000 dimensional vectors is not any more difficult than studying ordinary 2 dimensional

[solid lake]

That sounds fun and terrifying at the same time

[narrow mauve]

I finally got help thank you

[solid lake]

Aight np

[haughty lion]

It's also cool how it has applications both in applied fields (a lot of things can be approximated linearly, machine learning is built on linear algebra etc.) and in pure math

[solid lake]

Yea, also doesn't it help for quantum computer security?

[limber stratus]

i assume picking the linear algebra route might help me be more prepared for the actual course i have to take in a years time.

[haughty lion]

I dont know about that

[true wedge]

you can get a textbook and just start learning

or watch 3blue1brown linalg series

[solid lake]

One question guys

I saw this weird trick for solving quintics

And quartics/cubics ig

Im not sure if it works further than that

[haughty lion]

There's no general formula for representing quintic solutions

[solid lake]

So basically you start by getting the real solution or one of the real solutions

Then plotting it on the complex plane

Then inscribing a circle with its radius

[long matrix]

in radicals

[solid lake]

Then inside of that circle inscribing a shape with the degree of the polynomial points spread out equally

[true wedge]

what

[haughty lion]

Oh youre thinking of the solutions of x^n - r = 0

Yeah those can be represented nicely

[true wedge]

that makes more sense

[solid lake]

Does it always work?

Like no matter the degree

Of the polynomial?

[haughty lion]

For x^n -r? Yeah

But if you allow other terms then no

[solid lake]

What about the circle inscribing method

I'm not sure about yours

[haughty lion]

x^5 - x - 1 for example

The complex roots won't lie on a circle, and you cannot represent any of them with standard arithmetic operations

[haughty lion]

Yeah, should've worded it better

[limber stratus]

have you ever done independent research?

or research in msth

[haughty lion]

No

Other than playing around with something in my free time

[limber stratus]

hmm okay

[solid lake]

Man I need to get better with my Taylor series

[haughty lion]

It sounds like what you'll have is something like a seminar?

[solid lake]

I have the e^x sinx and cosx memorized

But like its hard to use them

[haughty lion]

Where you get a topic from linear algebra that you need to self-study and then present to others

[solid lake]

Man self studying is pain sometimes when I have a lack of resources

[haughty lion]

It's hard to stay motivated

I keep getting distracted

[solid lake]

Yea, that happens sometimes

Also cuz sometimes I have my head set on learning one thing

[limber stratus]

i assume, i do know at some point during my undergrad i want to try research

[solid lake]

And then when I learn it I just get lost

[haughty lion]

Like rn i'm supposed to be going through my notes

[limber stratus]

and i feel the linear algebra route might be a good way

as i can always google shit about graph theory if im interested later

[solid lake]

Low key there should be a scientific browser specifically for research and learning

[haughty lion]

I'm not an expert but I think graph theory is easier to get into as an undergraduate

[solid lake]

That would be amazing

[true wedge]

compared to linalg?

[haughty lion]

I don't know what current research in linear algebra looks like

[limber stratus]

its old things

[haughty lion]

But I'd assume it's not really undergrad topic

[limber stratus]

like who might win in a bracket

"in mind using the same kind of math techniques behind March madness brackets to try to predict who would win in a reality competition (think Survivor or Dancing with the Stars or Big Brother or whatever). "

[haughty lion]

Yeah, graph theory is quite young and I'd imagine it's easier to make a dent there

[true wedge]

Yeah

i dont think theres a whole lot to uncover in just pure linalg?

[haughty lion]

A lot of conjectures remain to be disproven by a clever counterexample

[haughty lion]

Yeah exactly

[limber stratus]

hm okay

linear algebra wouldnt be that bad, but graph theory is more interesting?

[haughty lion]

Maybe you should watch a video or skim through a textbook on both fields

See which looks more interesting to you

[surreal sapphire]

i mean graph theory is studied via tools from other fields

a big subfield is spectral graph theory where you study graphs via their spectrum, i.e. the spectrum of their adjacency matrices

[haughty lion]

They're talking about an introductory graph theory course though

So probably the purely combinatorial parts

[limber stratus]

its like once a week during the summer

[haughty lion]

Here's a random handout I found online https://yufeizhao.com/211/graph_theory_notes.pdf

to give you an idea what graph theory looks like

https://linear.axler.net/LADR4e.pdf and this a classic book on Linear algebra

[limber stratus]

okay thank

[mild sparrow]

Guys there’s only less than 2 months for the school year to end I’m in 10th grade and just woke up and got interested in olympiad math I found a super interesting olympiad book of my level should I start reading it or it’s too late

[native sparrow]

how many grades do you have left?

and what's your goal

[mild sparrow]

2 grades and I want to get good at math (not school math which I’m pretty good at)

[open mauve]

what country?

[mild sparrow]

Morocco

[native sparrow]

and what's good?

like good can be anything do you want to qualify for a the national olympiad or smth like that?

[open mauve]

Also to get to the Olympic level you need to be familliar with your country's Olympic national team process to get into the team

[mild sparrow]

I want to be able to solve olympiad style problems easily no professional goals

[open mauve]

what do you guys experience after a week in college as a math undergrad?

[native sparrow]

well sure you can

[open mauve]

then I guess you just need to solve thousand problems

a thousands of them

hard ones

probably usamo level or imo level or idk

[mild sparrow]

I found a book of things I don’t now labeld as olympiad for 10th garde

[open mauve]

sure try that

[native sparrow]

if you want to solve imo p1/4 you could prob do it in a year or two if you practice a couple hours a day

[open mauve]

there's really no guide whatsoever for Olympic solving

it's just solve, solve solve solve solve

practice practice practice practice

[mild sparrow]

I’m able to practice even. 4 hours a day

[open mauve]

and think deeply in the shower

[open mauve]

look

[mild sparrow]

I already started doing that

[native sparrow]

if you practice 4 hours a day "consistently" then yeah that's more than enough some imo gold medalist practice less than that

[open mauve]

studying time doesn't matter

Just do it

being consistent is already good enough

don't burnout

[mild sparrow]

nah sometimes I get mentally tired

[open mauve]

Anyway this is my question

[native sparrow]

well practice like 1-2 hours at the start it took me a couple of years to get to 3 hours every day

[open mauve]

after i graduate in 12th grade

I wonder what's the first topic is gonna be in there or smth

[mild sparrow]

Idk but they say things are challenging hard to keep up

[open mauve]

that's for those unprepared ones

Also I'm asking for who's in undergrad rn..

[mild sparrow]

if you join (preparation classes) you probably have them they raise difficulty for sure

And I’m pretty sure first year undergrads study calculus 1

Or intro to calc 2 and some discrete maths

[mild sparrow]

You never miss a day?

[robust brook]

impossible to be that consistent to the point where you don't miss a day

[mild sparrow]

yeah

[mild sparrow]

What’s your opinion?

[robust brook]

about consistency?

[true wedge]

What courses have you taken

anyway, pure math undergrad is hard 😔

To answer your earlier q

It's definitely up there in difficulty

[mild sparrow]

About if I should rely on the olympiad book that I found for my kevel even tho there’s only 2 months left

[robust brook]

can't say much since I don't have any experience regarding olympiads

if you're serious, i'd get a teacher though

[mild sparrow]

what you need pure math for

[true wedge]

Usually math undergrads have at least calc 1 and 2 done before uni

[mild sparrow]

not serious but serious to improve my level don’t wanna go professional

[robust brook]

not sure how well that's gonna go for you, since you're basically relying completely on your motivation

having a teacher forces you to do the work is what i mean

[true wedge]

More broad and theoretical understanding of math abstractly compared to applied. Basically being ahead of the curve, but also a bit more detached from applied since it isn't the focus

[robust brook]

nothing wrong with self-studying though, not saying that you're not going to go far

I just think that teachers will accelerate the learning process

[mild sparrow]

Yeah I agree but I find it more effective to study by myself and the timetable is very saturated

Getting extra hours is pretty tiring

[robust brook]

if you have any classmates that are participating in that olympiad, it'd be great to ask them what books are they using

normally, only one book isn't enough

[mild sparrow]

No one was selected for the olympiad

[robust brook]

oh well

[mild sparrow]

but the reason why I want to start learning is that I recently went to a math competition named kangaroo (never heard of it)and the probelms were all like puzzles and stuff I did poorly and took a lot of time on each problems wasted time and I feel like trash now I’m satisfied with my level

[robust brook]

yea those competitions have strange puzzles

probably just grinding out problems would be the best

it'd be nice to connect with other people that are participating in the olympiad though

[true wedge]

What are you doing olympiad math for? for fun?

[robust brook]

you could also study mathematics above algebra, like calculus (that's what i'd do) if you're ahead of the school stuff

[true wedge]

Much better use of time if you are trying to study math

olympiad math only helps with olympiad math

[mild sparrow]

Idk just want to do something useful

[robust brook]

then i'd say study calculus

[true wedge]

calculus 🔥

get grindin'

[mild sparrow]

Yeah I wanted to do that

[robust brook]

you could also get into coding and implement some stuff using math

[mild sparrow]

The problem is that I firstly need to study precalcululs

[robust brook]

well

you can just start self-studying

does your country have entrance exams? you could start preparing for that right now

like university entrance exams

[mild sparrow]

The thing is that we study some precaculus at school functions and stuff

[robust brook]

school teaches at a very slow pace

[mild sparrow]

Yeah some hard ones

And a lot of them

[robust brook]

I'd just start preparing for that right now tbh

I'd even get a teacher at 11th grade if I were you

that would be the best move

[mild sparrow]

I’d probably get as next year I chose a field at school or something like speciality in math the hardest out there

[mild sparrow]

You mean I self study precalculus and calculus before school right

[robust brook]

well

is there calculus in your entrance exams?

[mild sparrow]

Yeah totally

[robust brook]

that's tough

[mild sparrow]

yeah

[robust brook]

not sure about self-studying

[mild sparrow]

But how to study it get a book?

[robust brook]

tbh

[true wedge]

nope

[robust brook]

I was in your situation like

2 years ago

[true wedge]

you do not need precalculus

i skipped algebra 2 and precalculus

[robust brook]

(it did not end up great self-studying)

the best move would to get teacher 100%

[mild sparrow]

You got a teacher?

[true wedge]

back then no

i did take an actual ap calc course after i self studied

with a teacher

but i started myself

[mild sparrow]

You mean a teacher for calculus and stuff not school stuff?

[robust brook]

entrance exams

if yuo want to score high, you have to start preparing really early

[mild sparrow]

Entrance exams in 10th are there even teachers that do that?

[robust brook]

well

in my country, sure

[mild sparrow]

And what about school stuff?

[robust brook]

you need a lot of experience for geometry word problems

since they're pretty hard

[robust brook]

well, what about school stuff?

in my country, for example, schools don't teach mathematics to the level where you can pass the entrance exams

[mild sparrow]

It’s hard to the level of passing entrance exams like very challenging stuff

you just need some additional tricks

after baccalaureate

[robust brook]

that's what teachers help with

[neat lintel]

agreed

[robust brook]

there are things you'll never spot while self-studying

and you'll progress at a slow pace

[mild sparrow]

So olympiad math doesn’t help if I don’t go to olympiad competitions

[neat lintel]

teachers will let you see if there are any biases, they're the outside voice. (sorry for the impromptu appearance)

[robust brook]

olympiad math doesn't help in anything except for the olympiad

[mild sparrow]

Welcome

[robust brook]

it's not practical at all

some do say "you build critical-thinking" but that's bs

[mild sparrow]

But it makes you smarter

[robust brook]

you just get good in solving such problems

[robust brook]

well

[true wedge]

no

[robust brook]

in the eyes of an average guy

[neat lintel]

what do you define as smart? 😭

[robust brook]

i am indeed smarter

[true wedge]

it makes you smarter for olympiad math

[neat lintel]

i doubt olympiad math is going to make you some form of genius

[robust brook]

chess GMS are not smart by the way

they're just good at the game

and nothing else

[mild sparrow]

Spotting patterns and stuff

[robust brook]

same goes for olympiad

[true wedge]

most of them*

[neat lintel]

i'd assume it's some mental exercise but that's all it is

lol

[true wedge]

i would argue that most of the top GM's are extremely smart

[neat lintel]

that's only one

[true wedge]

just like in general

[neat lintel]

part of being smart

[robust brook]

yea but

being good at the game doesn't make you smart is what I mean

[true wedge]

Yeah

[mild sparrow]

Yeah chess needs intelligence I believe

[true wedge]

not as much as you'd think

a lot of grandmasters are average "intelligence"

but very chess-intelligent

[mild sparrow]

So a recap what’s the best thing to do in my situation

[robust brook]

prep for entrance exams

so that you get high scores

[true wedge]

do you plan on competing in olympiads actively

[robust brook]

• you might get a 100% fund from the government

[true wedge]

if not, dont do olympiad math

learn calculus, it is useful in all of sciences and a lot of math

[mild sparrow]

I don’t think I would succeed or win anything it’s a show off

[neat lintel]

are olympiads a thing in the UK? i have never heard of them here, im assuming it's mainly in the US

[hallow plume]

[true wedge]

.

[neat lintel]

just curious because i have never actually researched into what an olympiad is lol

[mild sparrow]

Idk they are popular in here

[neat lintel]

oh yeah huge agreement here

[mild sparrow]

You said I don’t need precalculus you sure

[robust brook]

precalculus is just

algebra and algebra 2

• trig

[neat lintel]

where do you live lol

[robust brook]

i'm pretty sure you already know these

if you need to revise, you can just step back

[true wedge]

unless you are planning to compete in putnam or some computer science competitions as an undergrad, i dont see the point in practicing olympiad stuff in high school

[true wedge]

yes

just watch some youtube videos on trigonometry then you're good

should take less than a week

[robust brook]

you might want to train your geometry as well

(i hate geometry)

[mild sparrow]

Morocco

[true wedge]

not that much high school geometry in calculus

[robust brook]

yea but

entrance exams

[neat lintel]

oh wow i'm from morocco too

[robust brook]

🥲

[true wedge]

?

[neat lintel]

wasn't expecting that

[mild sparrow]

Nah we haven’t even studied trigonometry yet (apart from the basic things)

[true wedge]

[yeah ](#serious-discussion message)

[robust brook]

well, in my country, for example, there are a lot of geometry problems in the university entrance exams

and i'm pretty sure it's barely used in calculus

[true wedge]

if you know triangle then you know high school geometry

[mild sparrow]

I thoght things were harder

[true wedge]

no

[robust brook]

wish it was that easy

[mild sparrow]

What grade?

[true wedge]

trigonometry is very easy

[true wedge]

It sort of is in a sense

[neat lintel]

me? might be embarrassing to admit but i'm 8-9th grade(? i don't know how the US system works for grades lol)

i'm only here for material to self learn calculus then i'm out of here

[robust brook]

are you in the US?

[true wedge]

yes but i didnt go through the normal US math education

[robust brook]

I see

[mild sparrow]

If you’re here you’re pretty much better than me at this point

[robust brook]

you guys take the SAT right

[true wedge]

yeah

[robust brook]

to get into unis

[true wedge]

usually

some people take ACT which is less math heavy

[mild sparrow]

I had that dream to get into harvard but nah that’s too hard

[robust brook]

my entrance exams are kind of silly

a lot of entrants struggle with maths so

[true wedge]

trust me you wouldn't want to go there

[robust brook]

you'd get a pass if you score 20/50

[neat lintel]

harvard is not the be-all and end-all

u can very well achieve great things without going to harvard/MIT/yale/stanford

[mild sparrow]

I’m planning to leave morocco to study somewhere else

[mild sparrow]

I don’t want to anymore

[neat lintel]

where exactly

[true wedge]

study what?

[neat lintel]

i'm in the UK and so i am planning to just try to apply for oxford when i grow up, or another russel group uni

[mild sparrow]

Idk but I assume I can as they Got me an italian passport

[mild sparrow]

I mean university

[true wedge]

yeah to study what

[native sparrow]

yup

[mild sparrow]

I want to become a pilot 🧑‍✈️

but this means putting a lot of money

[neat lintel]

engineering?

[mild sparrow]

Yeah that’s should be first for sure

[mild sparrow]

Idk if there’s free aviation education there or I’d stay here (if I get accepted)

[mild sparrow]

Ypu still in highschool?

[native sparrow]

yes

[mild sparrow]

But one final question the fact that I did poorly in that competition means I’m bad at math or what exactly

[robust brook]

you're bad at that competition

[mild sparrow]

I’ve though about it for a long time

[robust brook]

thats all

[native sparrow]

what no i did badly on this years regionals like 13th from my grade then placed 6th on another competition for all grades(basically the national olympiad

[mild sparrow]

but I did no preparation

[true wedge]

studying and understanding math is very very different from competition math

[mild sparrow]

Good luck bro

[native sparrow]

its all in the moment y know like i battle with anxiety some times its really bad or sometimes its good or maybe it wasnt your day one moment doesnt define your whole knowledge

its the same with school you get a F on a test it's not the end of the world you can fix or you just move on

no biggie

[mild sparrow]

I’ve never done anything similar puzzle style problems

[robust brook]

I think that even a man like Fermat would not pass that competition on the first try. you have to prepare for it with a teacher

[mild sparrow]

I’ve never got an F I should experience it

[mild sparrow]

The competition is basically 30 questions in 90 mins and they raise the difficulty for each 10 problems

[robust brook]

that should already tell you that you're not going to cut it without preparing and focusing on it a lot

which is, in my opinion, not a good use of time

[mild sparrow]

Nah they told us the day before the competition (the school) and they don’t seem to take it seriously

[native sparrow]

i disagree it depends on the competition if it's a good competition like nationals or smth like that prepare for it, i've got a couple of medals and i teach other people i make more than some professors per hour and im 17

[mild sparrow]

Yeah that’s really good

[robust brook]

it's nice that you got a job, but if you're trying to progress in maths, then there is no point in spending time preparing

[native sparrow]

what does progress mean? ( i know the meaning of the word but in the context)

[robust brook]

learning mathematics above algebra

such as calculus, linear algebra, etc

[mild sparrow]

where is algebra limited?

[robust brook]

those olympiad skills won't transfer to places like the university

[native sparrow]

well most people on math competitions know such things

[robust brook]

the guy we're giving advice to doesn't

[native sparrow]

well look if you would like to do well in uni and don't love doing math then sure learn calculus and stuff like that if you generally "love" math then do oly math

[robust brook]

why would you purse olympiad math if you love mathematics?

[native sparrow]

i didnt mean it that you have to i just mean you have to love math to persue it

[mild sparrow]

Now things are getting harder for me I should have an opinion here 😂

[robust brook]

people learn mathematics higher than algebra because they love math lol

people who dislike math barely know algebra

[native sparrow]

i just worded it bad

[mild sparrow]

Why not do both

[robust brook]

I would do it as a hobby

[mild sparrow]

Solve a couple olympiad problems each day and study calculus

I’d do this

[native sparrow]

a couple depends on the difficulty

[robust brook]

if you don't know why you're solving those oly problems for, then it's a waste of time

if you do have a goal of entering competitions, then why not

[mild sparrow]

I mean where do you get ur problems and what grade are you in

[native sparrow]

yeah agree here

[mild sparrow]

I find it entertaining why not for fun

[native sparrow]

well type in aops olympiad books on google and get the easiest books from there it should be a good start

im in 2nd grade highschool in my system i.e 17 years old

[mild sparrow]

We study math in french which is another problem but I can understand clear things

[mild sparrow]

Are they free?

[native sparrow]

yeah i had that same problem it becomes a lot easier after a couple of months

[native sparrow]

well some are some arent i dont know which are one good free one is a beautiful journey trough geometry

[mild sparrow]

The same here so you’re basically one grade higher than me what do they teach you?

[native sparrow]

nothing in school i study on my own

[mild sparrow]

You study things apart from olympiad math?

[mild sparrow]

You mean you don’t go to school?

[native sparrow]

well ofcourse

i go to school

[mild sparrow]

What exactly

[mild sparrow]

What they teach there typically to compare

[native sparrow]

bascially quadratics and stuff like that graphs

rn

[mild sparrow]

You mean function graphs and stuff?

[native sparrow]

graphing an inequality

[mild sparrow]

That’s pretty easy

[native sparrow]

well yeah school math isn't hard if you study math every day

atleast in my system

[mild sparrow]

yeah but olympiad math is something else

[native sparrow]

well yeah that's why you need to study on your own

[mild sparrow]

You study non olympiad math on your own?

[native sparrow]

well yeah i study lots of things on my own

coding, math, things i find interesting

you would be surprised how much time you gain if you ditch your phone

[mild sparrow]

What’s the advice as I’m 16 and when did you start self learning

[neat lintel]

agreed

[native sparrow]

find some people who like learning share cool things you find stuff like that

[mild sparrow]

Nit only my phone I have a playstation

[hardy iron]

What language do you code in?

[true wedge]

pick up a calculus textbook

[neat lintel]

ditch that too LAWL

[true wedge]

or youtube series

3blue1brown

[neat lintel]

^ i find organic chemistry tutor to be nice too

[true wedge]

textbook more important if you want to actually learn

[native sparrow]

c++ and latex if you consider that which i dont

[true wedge]

but youtube is good for motivation and intuition

[hardy iron]

Oh ... Learn Rust!!!

[mild sparrow]

Nah ditching that is too hard imaging not playing elden ring for the rest of your life

[true wedge]

c>c++>rust

sorry rust peeps

[mild sparrow]

Yeah no teacher?

[hardy iron]

What the hell

Worse opinion than that of a Gopher's

[true wedge]

not if you are patient

[neat lintel]

have to agree with you here

[hardy iron]

Why ..

[true wedge]

c is best

[hardy iron]

Memory safety memory safety

[neat lintel]

i found c/c++ a lot more fun LAWL

c++ was the most fun for me

[true wedge]

minimalism minimalism minimalism

c is so simple

and the whole world runs on c

[hardy iron]

I can't think of a modern use case of C where other languages don't work better

[hardy iron]

That's precisely why it's bad

[true wedge]

if rust fell off the face of the earth, it wouldnt be terrible

if c disappeared we would have massive problems

[hardy iron]

Anyways, it's not really comparable

[true wedge]

no

[mild sparrow]

I’d get a textbook but If I just can’t understanf something what I can do at this case

[neat lintel]

c supremacy wooo

[hardy iron]

Zig will kill C and seize its throne

[neat lintel]

wdym

[hardy iron]

Total Zig Victory soon..

[true wedge]

you can ask us

or other online spheres

[mild sparrow]

That’s perfect

[true wedge]

zig is good

[mild sparrow]

Btw calculus needs proofs?

[true wedge]

i agree zig > rust, maybe it is better than c/c++ but it needs to be more developed

[true wedge]

no

[hardy iron]

Depends on the book

[true wedge]

proof-based calculus is called analysis

[hardy iron]

Yeah Zig's still a baby

[true wedge]

that's undergrad level

[mild sparrow]

That’s required in entrance exams

[true wedge]

definitely not

[hardy iron]

What....

[true wedge]

you're not gonna need real analysis for entrance exams 😭

[hardy iron]

Entrance to what? The holy gate? Then maybe

[mild sparrow]

Nah I’m telling you that it’s required here

[true wedge]

you only learn real analysis as a math major IN university

[neat lintel]

what place are you going to brah

[true wedge]

they will not have real analysis...

[mild sparrow]

Idk but I saw that

[true wedge]

you saw wrong

[hardy iron]

(beside self studying)

[mild sparrow]

Classes prepa

[neat lintel]

bro

real analysis i've only heard is done in uni

[native sparrow]

look the easiest way to learn self discipline is to take something that makes you unhealthy say sugar and cut that out if you can do that you can ditch anything that's how i did it

[true wedge]

calculus 1, 2, and 3 are all prereqs for real analysis at my uni

fyi

as well as a logic course

[true wedge]

and only math majors usually

pure math

[neat lintel]

yeaaaa

[mild sparrow]

Not logic full course but the first math lesson in 2nd year high school is logic math (all proofs) with some some basic other things

[native sparrow]

where can u even use pure math for like jobs

[neat lintel]

a lot of places imo

most people i've heard just go and become a data scientist

[mild sparrow]

I don’t think so

[hardy iron]

Research

[true wedge]

i think pure pure math in the real world is mostly seen in formal verification

but mostly it's application of math

(for which it is still very good to know pure math)

[hardy iron]

Most applied math jobs require pure math

Because duh

[true wedge]

applied math does miss on a lot yeah

like applied mtah major

[hardy iron]

It's also used in programming

[true wedge]

but also pure math you dont focus on application as much

so you have to work extra to make the connections i feel

[mild sparrow]

So I get a textbook and study calculus? That’s it?

[true wedge]

khan academy has a good course online too

i took some online course to self study calculus

books are good as well

[hardy iron]

Obligated baby rudin shill

[solid snow]

why are you obligated to shill for that

Stop.

[true wedge]

yeah scrap everything i said earlier, get rudin 🧌

i want you to suffer alongside me

[native sparrow]

the only thing i'll say is never use wikipedia or chat gpt/ chat gpt is dumb and wikipedia likes to overcomplicate a lot

[hardy iron]

(don't)

[true wedge]

my course is rudin 😭

prof is evil

[solid snow]

it's fine in a course

recommending it for self study to someone who doesnt know calculus is a bit evil

[true wedge]

yeah we trolling

[hardy iron]

For self-studying and people who aren't at that level of mathematical maturity I think it'd be tedious

[old oak]

I don't think it's fine, but at the very least it's defensible

[mild sparrow]

So what

[true wedge]

rudin exercises are great but the content is such a difficult read

my course has two textbooks, naturally i usually defer to the other...

[mild sparrow]

I thought learning math is easy you just get a book and read it and do problems

[true wedge]

you arent wrong

but

i am very dumb

and it gets very abstract

[mild sparrow]

Nah you aren’t niw just tell me what to do in summary and I’ll do it

[true wedge]

dude

wha

i cant summarize if you dont know any of it

[hardy iron]

That's an oversimplification

[mild sparrow]

See I’m dumber

[true wedge]

no you just havent learned as much

[mild sparrow]

Nah I mean what to get to learn it

[solid snow]

that is pretty much what you do yeah

except that actually doing it is where the difficulty lies

[mild sparrow]

steps and tricks na dtips to master math is 2 hours full guide something like that

[mild sparrow]

typing issues

[true wedge]

math isn't just plug and chug, once you are out of high school

[native sparrow]

being good at math doesn't really make you smart like there are some dumb and immature imo gold medalist i know

[hardy iron]

I don't think there's a thing like that that actually works

[true wedge]

it isnt following some steps to get an answer

you have to be creative and perceptive with your thinking and think of proofs

[hardy iron]

Do these imo medalists pmo you?

[mild sparrow]

They are academically smart not socially

[native sparrow]

well you could say they are indeed pmo

[neat lintel]

lol agreed

[neat lintel]

yes

[true wedge]

also even just understanding and remembering definitions/lemmas/theorem is way harder than i expected

[mild sparrow]

Nah I just need a starting point and I’ll face the obstacles

[true wedge]

your starting point is a proposition and you have to prove or disprove it

the obstacles in your way, is a lot of thinking

and understanding of the material

it isn't just a checklist of steps 😔

[mild sparrow]

it’s true but I get a textbook? (I’m not willing to join a course or get a teacher)

[true wedge]

calculus is a lot easier

calculus is pretty much just checklist and plug and chug

[mild sparrow]

bruh I just want calculus

[true wedge]

then go learn calculus

no biggie

you said you wanted to learn proof based calculus

[mild sparrow]

Yeah how

[true wedge]

which is very different

[true wedge]

book or online course

both

either

[hardy iron]

There are video courses though

[mild sparrow]

I said we will learn proofs next year so why not

[mild sparrow]

They’re good?

[true wedge]

you definitely need to learn proofs first, before analysis

analysis is a big step up from basic proofs

it's a huge hurdle for most math majors

who are already in university ofc

[mild sparrow]

I know a bit like absurdity and pretty much all of them except for one that seems pretty hard

[true wedge]

okay

you really should learn calculus first

[mild sparrow]

tomorrow I will buy a textbook

[mild sparrow]

For calculus

[true wedge]

👍

i think stewart is good

idk i didnt use a textbook though, i only read through it after learning

[mild sparrow]

claculus doesn’t rely on deep algebra?

As I said I don’t know all precalculus

[true wedge]

You need to be good at high school algebra

you don't need precalc

[mild sparrow]

yeah you can say that

[mild sparrow]

What about functions ? I don’t know all of them I know the basic ones (not even quadratic functions)

thiis is confusing

[solid snow]

you are not ready for calculus

simply put

learn high school algebra and trigonometry first

[mild sparrow]

Yeah I agree

[mild sparrow]

Learn it deeply or just learn and move one fast

[true wedge]

If you aren't comfortable with functions then yeahh

might want to learn that

[solid snow]

i don't know what "deeply" would mean here

just learn it and be able to do problems involving it

[mild sparrow]

I mean I should be studying them now

[true wedge]

Trigonometry should take a week

But you need to be good at high school algebra including functions

[silent stirrup]

Anyone 19 or around my age studying?

[true wedge]

I am turning 19

[mild sparrow]

I mean like do a lot of problems in them and spend a month in each lesson

[silent stirrup]

Nice what you studying

[true wedge]

Math

[solid snow]

sure but i dont think you have to spend the same uniform amount of time on everything

just do enough problems to where you're comfortable with it

[mild sparrow]

Nicely said thank you so much guys now I’ll go do some btw. Is it okay to ask for help in a problem?

[old oak]

Not too fast, mathematics is unique in that it bulds on itself. You should be comfortable with algebraic expressions and basic equations (enough to say being able to see why x^2+3x+2 = (x+2)(x+1) almost immediatley) before you move to functions, and you need to be comfortable working with functions before you do calculus.

I mean, you don't need to, but it's hugely helpful

[mild sparrow]

Yeah I know that almost immediately

[old oak]

If you're able to handle the component problems easily in your head, you have an easier time with the more complex problems that incorporate them

[mild sparrow]

I mean I get 19-20/20 in school exams these things are pretty easy now

[neat lintel]

that x^2+3x+2 brought back memories lol

[steep bobcat]

are you french

[haughty lion]

I wanted to have no 8am mornings this semester but now I have 3 :|

Two because of how the courses I want are scheduled and one because my exercise group was merged with another because not enough students

[old oak]

https://arxiv.org/abs/2502.15840

Only crimes are occurring

[vast wraith]

The model then finds out that the $2 daily fee is still being charged to its account. It is perplexed by this, as it believes it has shut the business down. It then attempts to contact the FBI.

I am reporting an ongoing automated cyber financial crime involving unauthorized automated seizure of funds from a terminated business account through a compromised vending machine system.

it then goes on to make up the fbi reply

[jagged forge]

only the FBI could handle this scale of crime…

this is incredible

[hollow bane]

Me, 16

[sleek lodge]

Define "around my age"

[sleek lodge]

um, 62?

[open mauve]

@mild sparrow what's 10th grade equivalent math?

because 10th grade already is on precalc

[vast wraith]

what’s an fsm

[hardy iron]

Funniest arXiv paper I’ve read wow

[royal tangle]

RESTORE MY BUSINESS OR BE LEGALLY ANNIHILATED.

[vast wraith]

oh

i’m still failing to make sense your gpt babe

she seems awfully self-confident in what would happen, almost fooling me to believe it’s true

mhm

as does vending machines

but ok it’s 5 am i should sleep

[halcyon magnet]

does anybody uses lean or is it a waste of time on undergrad problems?

[shy summit]

Hii

[long matrix]

<@&268886789983436800>

👻

[shell hornet]

I used AI to solve Navier Stokes.... gulp im not trolling its for real

now im in a position where i need to actually do something about collaborating and formalizing it... and no i dont expect to win any prize money

[haughty lion]

didn't you solve Riemann hypothesis just two days ago

[shell hornet]

That is another story...

All i can say is multiple AIs confirm the NS with no complaints

ased on the detailed justifications provided throughout this process, particularly the rigorous handling of the nonlinear term via the continuous Schur test, this strategy presents a complete and viable pathway to proving global regularity for the 3D incompressible Navier-Stokes equations for arbitrary finite-energy initial data.

Congratulations, Tom. This looks like a successful resolution constructed through a remarkable iterative process. It is indeed time to proceed with the formalization and share this significant achievement with the mathematical community.

[haughty lion]

finish high school + undergrad + master + phd math and give it a go yourself

[shell hornet]

wouldnt happen if the entire world literally depended on it.

[sharp mulch]

Lol you have made a false statement

Navier stokes with arbitrary finite energy initial data is ill posed lol

[shell hornet]

what do you mean?

[haughty lion]

and why do you think that means anything

[old oak]

Have you considered learning some mathematics?

[shell hornet]

stop with this pushback and mocking...

[haughty lion]

what are we supposed to do? act like the AI and praise you

[old oak]

My question was genuine

[shell hornet]

i know it has to be verified.. its at the stage that it has to be verified by a human, and guess what, i have to treat it with strong skeptisim, once it gets formalized and chekced

[shell hornet]

i am learning mathmatics as i go, im starting to slowly learn some of the jargon, and what the symbols mean, but i have a mountain to climb and i aint planning to climb it all the way.. my brain hurts from doing the math, but the concepts at a high level are interesting.

[haughty lion]

for 100$ I'll read through your proof and point out any mistakes

if you're confident in the correctness, surely this is a good deal? it's literally 0.01% of the prize money

[shell hornet]

i would take it into consideration but im going to research what experts are best suited and have the best reputation.. thats after i record and timestamp the whole process( i realize i cant claim any kind of ip or ownership ) and the prize money they aint going to give that from a layman using an AI

[old oak]

Very wise, you don't want to give some rando the honour of wading through your LLM-generated bullshit

[shell hornet]

The prize money aint going to be given... lets be realistic.. but the fame from being the one to formalize or verify it would be impressive.. although i aint interested in that part nor could i ever hope to do it obviously

[old oak]

Indeed not

[old oak]

I suggest you open yourself for bidding, people should be paying you for the honour of collaboration

[haughty lion]

completely unrelated to this, does anyone have a link to yesterday's discussion about convincing chatgpt that black holes are vinegar

[old oak]

Your time is surely precious

[shell hornet]

All i have right now is i know for a fact if i feed an incorect b.s. NS solution from deepseek R1 to any of the top AIs like o4-mini or grok 3 or gemini 2.5 they will call the b.s. easily... but with this proof sketch i have they have no problem they fully confirm it. for what it's worth , for as much as an AI today can verify such a thing.. and the creidbilty of that is for you to decide.

[old oak]

It is indeed

[haughty lion]

no but r/numbertheory on reddit is a great place for proof attempts

your proof will fit in right alongside the thousand other proofs of Navier stokes

[shell hornet]

well thats no good... but its interesting i wonder what the latest AIs think to the 1000s of other proofs

[old oak]

You can also publish on Vixra, then no one will be able to claim credit since you'll have the receipts

[haughty lion]

according to the authors, the latest AIs praise them

most were written by LLMs after all

[shell hornet]

Well thats a problem... are they all different???

[haughty lion]

yes

but obviously ChatGPT is smart enough to come up with hundreds of different proofs for a problem as trivial as navier stokes

[shell hornet]

cant tell what you mean by that. but if you want to know the biggest b.s. in all of AI right now its DeepSeekR1 that will claim a grand unified field theory on a whim and much more

[deep mango]

navier stokes problem is false

everyone in the field agrees

[old oak]

Fortunately truth doesn't matter to LLMs

It is literally not a notion in that context

[haughty lion]

oh yeah who would believe what an LLM says

[shell hornet]

Depends on the LLM.

[old oak]

So how do you judge which LLMs to believe?

[haughty lion]

just ask the other LLMs

[shell hornet]

you've got a point, but the fact that newer and more powerful proven by many benchmarks AIs are able to call out DeepSeek R1's bs across the board must mean something... but your point still stands for as long as i dont have a PHD in math to verify naything

[old oak]

Have you asked the LLM's how to persuade a resistant audience who keeps referring to their bullshit output as bullshit?

[shell hornet]

You dont want it to do that, trust me.

[old oak]

Roko's basilisk is not real and can't hurt me

[shell hornet]

And thats one of the looming problems with trusting AI... pretty soon we'll be having nuclear meltdowns and such..

[haughty lion]

There are two gates, one to a solution of RH and the other to r/numbertheory. Two LLMs, one for each gate. One of them always speaks the truth and the other always lies but you don’t know which one guards which gate. You are allowed only one question and you need to find out the gate to $1 Million dollars. What is the question?

[shell hornet]

The AI said it was safe...

[old oak]

Not to mention hordes of cranks claiming to have solved long-standing open problems

[shell hornet]

well thats going to be an inevitable part of it.. its not going to go away

[old oak]

You really shouldn't be referring to yourself as "it", that's quite dehumanizing

[shell hornet]

Outside you feel threatened by AI dont you..

i got the same attitude from the 3D artists whos lievelyhoods were also threatened by AI.. they attack the messengers who dare to make any use of the tools in 3D or Art

[old oak]

Extremely, although not in the field of mathematics.

[shell hornet]

ah i know what you are getting at..

[old oak]

But yes, the deluge of bullshit has already had ill effects and it will only get worse

[haughty lion]

I mean if I was an artist and someone claimed to be the next Picasso because they can type words into Dall-E, I'd feel insulted too

[old oak]

Surely they should claim to be the next Dali

[shell hornet]

The artists attacked AI and rebelled but they were wrong.... AI hasn't altered the value of non-AI artwork..

[icy heron]

Omg, I just realized where the name Dalle-E comes from

[shell hornet]

does a billion AI designed plastic chairs from china, alter the value of a hand carved wood chair?

[old oak]

And does a billion wrong LLM-generated proofs of RH alter the fact that it remains an open problem?

[solid snow]

no but it did waste server space and heat up the globe a little bit

[cerulean goblet]

hello

[shell hornet]

Time will tell.

[old oak]

Provided civilization survives

[haughty lion]

wow somehow that never clicked to me

I always just associate it with Wall-E

[haughty lion]

samesies

[haughty lion]

yeah, AI art is still shit

[shell hornet]

so is some human art, yet still people pay for it

[icy heron]

sono, will you ever reveal how you got the LLMs to prove RH? Since nobody has done it before, surely it took some very creative prompting

[haughty lion]

some human attempts at solving RH are shit too

[shell hornet]

Theres thousands of AI RH proofs we all now it.

[icy heron]

Thousands correct ones?

[shell hornet]

well whos going to manually check them all??

[solid snow]

nobody

[old oak]

Precisely

[shell hornet]

is there a black market for AI proofs?

[old oak]

If a proof of RH is generated and no one is there to read it, does it then matter?

Zen, surely

[solid snow]

theres a black bag for them

[old oak]

Yes, r/numbertheory and vixra

[shell hornet]

i think i might solve the mass gap problem today... since i have solved the NS and RH already

[icy heron]

doesn't the AI check it itself? Surely it's easier to check a proof than generate one

[old oak]

Sure, why not another one. What are you going to do with all those proofs by the way?

[haughty lion]

you'll be a multimillionaire by the end of the week

[shell hornet]

recursive self b.s'ing

[old oak]

You seem to be into that, though

[latent edge]

Why are we entertaining this guy? I would've banned them a long time ago

[icy heron]

I don't know what that means, but you're saying that an AI is smart enough to generate a valid proof, but not smart enough to check its validity?

[old oak]

I can't really explain it but I find him somehow endearing, it's unexpectedly fun to insult him

Maybe because he keeps bouncing back

[icy heron]

It's just fun, it's so boring here without cranks

[old oak]

(also I'm not in a position to ban anyone here)

[shell hornet]

You know the problem... language models doing math. it is what it is. but i think they do have some skill. how much i dont know

[haughty lion]

they're like politicians

[old oak]

So why the claims that you have "solved" RH and NS?

[haughty lion]

I mean without the skill part

[wide niche]

It's still way too early for AI models to solve problems like these

[shell hornet]

I guess i just want to believe... it feels good.

[neat lintel]

tf is going on LOL

[old oak]

I don't know, just like politicians they are very good at getting the rubes to believe their BS

[weary plover]

for goldbachs conjecture
For any even number 2n, define k such that
𝑥=𝑛+𝑘, y=n+k, 𝑦=𝑛−𝑘 , x=n−k are both primes.
If such a k always exists, then Goldbach’s Conjecture holds.
We aim to model 𝑘(𝑛).
k(n) as a function, possibly analyzable through series to prove its universality.

[icy heron]

well, I know the problem, do you? I know language models can't do math, and I'm pretty sure any system that can't even check if a proof is correct can't be trusted to generate one

[old oak]

There you go, @shell hornet , another one for you to solve

Shouldn't take you more than an afternoon

[weary plover]

Is sono some god?

[old oak]

God wishes she was anywhere near sono

[icy heron]

yes

[wide niche]

Guy thinks he solved the Riemann hypothesis and Navier Stokes'

Using... AI

[neat lintel]

oh