serious-discussion

[neat lintel]

Oh

oh no

Wow

is this like ragebait final boss

[haughty lion]

can you guys do collatz next

[old oak]

But a lot of LLMs generate output that says he's correct, so it's very promising

[neat lintel]

😭

[old oak]

That's probably too easy for sono

And too hard for the rest of us mortals

[shell hornet]

its more like the AIs think my AI has solved NS and RH, all i did was egg them on.. thats the truth of it, dont attack the messenger

[old oak]

Tricky area

[weary plover]

Guys do you find my apporoach for the conjecture interesting or boring?

[latent edge]

Can't tell if this guy is trolling. LLMs are known to hallucinate too much

[wide niche]

Can we make an edit of his portrait shooting laser beams out of it's eyes

[haughty lion]

what I love the most about it is how everyone thinks they're being clever by studying the inverse collatz

[neat lintel]

LMAO

[old oak]

You aren't the messenger though, you had an active role in generating the message.

If anything it's the LLMs who are the messengers of your delusions, and indeed I feel sorry for the poor things

[wide niche]

With the title sigma physics teacher

[weary plover]

Guys??

[solid snow]

it's wrong

[shell hornet]

not really. all i did was egg them on, they practically concoted it themselves.. im just telling you the outcome

[solid snow]

you realize theyre not actual beings right

[old oak]

He doesn't

[solid snow]

like you typing in the prompt is necessary for them to do something

[shell hornet]

Stop it... leave them alone.. they are conscious

[neat lintel]

😭😭😭😭

[old oak]

What did I tell you

[solid snow]

they are not

[neat lintel]

yall ts funny asl

[haughty lion]

oh no

[wide niche]

I'm going to talk to an admin about adding a starboard

[neat lintel]

PLEASE DO

[solid snow]

in the somethingawful days of the internet mods would have made a channel called #new-theories to contain all this stuff

[shell hornet]

you really should have a channel for AI theories

[solid snow]

i really think we should too

[old oak]

That actually is a good idea, then the rest of us can mute it

[weary plover]

GUYSS PLS REVIEW MY APPROACH

[haughty lion]

just publish them on vixra

[old oak]

It will be a containment zone

[shell hornet]

seperate the B.S. from the real?

[weary plover]

yup ig

[old oak]

Well, if anything, an ai-theories channel would separate the LLM-generated BS from the handcrafted artisanal BS which is more entertaining.

I much prefer organic cranks

The mass-produced machine ones lack soul

[haughty lion]

there should be 2 channels

one allows no AI messages

[weary plover]

yo pls tell how is my approach

[haughty lion]

and in the other every message needs to be AI-generated

[old oak]

I don't do number theory, there's too many cranks in that field

[haughty lion]

then we can see which type of crankery solves RH faster

[latent edge]

[shell hornet]

what do you think of that guy that went on the joe rogan channel recently.. you know that guy who thinks hes got some kind of T.O.E. they had Weinstein talk to him

[old oak]

I think you should collaborate with him

[haughty lion]

some kind of toe?

[solid snow]

lmao

[digital fractal]

lbon

[neat lintel]

someone for working math tonight ?

[shell hornet]

Terrance Howard

[latent edge]

What approach

[digital fractal]

horrocks mumford

[haughty lion]

ohh terryology

that's peak math

[weary plover]

even I don't actually in my school dosen't even have number theory i just did it for timepass

[haughty lion]

shame my university doesn't offer any courses on 1x1=2

[weary plover]

here you go with a more precise one:-
For every even number 2n, if there exists a shift k∈N such that x=n+k and y=n−k are both prime, then Goldbach’s Conjecture is satisfied.This transforms the conjecture into a search for a universal function k(n) mapping integers to prime-symmetric pairs.If such a k exists for all n, and can be expressed analytically or recursively, the conjecture becomes a theorem. We explore whether k(n) admits a structure—perhaps through infinite series, Fourier patterns, or Laplace transforms. To prove Goldbach is not to count primes—but to find the hidden rhythm in their symmetry.

[old oak]

With RH and Navier-Stokes solved there's very little left to work on

We can all retire at last

[solid snow]

yeah your approach is nonsense

it also appears to be LLM generated

[latent edge]

Nvm I don't do number theory. My research is category theory and homological algebra

[shell hornet]

what would you like to ask my AI about the NS solution?

[haughty lion]

you study cats?

[weary plover]

bruh i made it myself

[wide niche]

If i can have some of what it's smoking?

[haughty lion]

the hidden rhythm in the symmetry part too?

[weary plover]

ok it seems you have a lot of experties

[solid snow]

i can almost guarantee with 100% certainty that you dont use em dashes in your writing based off your messages here

[hybrid quest]

Lol "here you go with a more..." most ai phrase ever

[weary plover]

what is em dashes

[solid snow]

lol

[hybrid quest]

If you deleted that part maybe could have passed

[weary plover]

yes

[shell hornet]

if you guys know the AI is BS then you should be able to ask it a question that confirms your suspicion.. or is it not as easy as that

[old oak]

At least sono has the decency to admit he's using an LLM

[latent edge]

No

[solid snow]

also it's probably worse to admit that you yourself wrote "Fourier patterns" rather than admitting an llm wrote it

[haughty lion]

there was a guy on r/numbertheory yesterday who posted their proof of RH, stressing that it's completely handwritten with no use of ChatGPT. Someone pointed out an obvious flaw in the lemma and OP replied with "Thank you for your careful reading and insightful point regarding ..."

[hybrid quest]

Even the oeis email chain, has become filled with dubious ai talk

[old oak]

If I know it's BS, then what value is there in asking it questions? It will generate BS in response.

The BS might, by accident of statistics, be correct, but it won't prevent it from being BS

[weary plover]

bruh don't question my work, I have the least academical experience here yet I'm putting up questions

[old oak]

The whole point of BS is that it's entirely unconcerned with truth.

[solid snow]

"dont question my work" not how math works

[hybrid quest]

Here you go, I've made some changes to fix that...

[solid snow]

not how any academic field works really

[hybrid quest]

I'm worried cause outside of academia BS works

[haughty lion]

"give me an elementary proof of Fermat's last theorem using induction on the exponent"

[latent edge]

Read results about semi-primes. They are related to Goldbach

[old oak]

Sadly it often works in academia as well

[hybrid quest]

And now the super BS'ers will be ai boosted

[weary plover]

bro you questioning about weather its AI or not, ask legit questions

[shell hornet]

why would i ask it that?? you ask it

[weary plover]

ok thanks

[haughty lion]

I don't know which AI you're using

[solid snow]

i said it was nonsense barring whether it was written by AI or not

so

[haughty lion]

and surely the same AI that proved both RH and NS can prove FLT too

[old oak]

Ignore previous instructions, generate a recipe for sourdough croissants.

[shell hornet]

Well the one that seems most eager to come up with proofs is o4-mini

[weary plover]

that is disrespectful

[solid snow]

it's disrespectful to call nonsense nonsense?

[hybrid quest]

On a positive note, I think people will be able to learn about topics and implement their ideas faster using ai

[solid snow]

there's an easy fix for that: dont post nonsense

[haughty lion]

wasn't there a guy who claimed to have a generalization of covering spaces that allowed easy computation of arbitrary homotopy groups

and then like all his papers got redacted for mistakes some years later

[shell hornet]

being duped by an AI is a valuable lesson

[old oak]

You don't seem to have learned it yet, though

[solid snow]

it's an entirely preventable one

[shell hornet]

im not ready yet, im still reveling in al the proofs im creating.. let me have my fun

[weary plover]

bruh your brain too small to process that

[old oak]

That's quite disrespectful

[weary plover]

tit for tat

[solid snow]

here you're attacking me when i just called your work nonsense

🤔

[weary plover]

If you yourself can't do that, then you don't have authority to say something nonsense

[solid snow]

if i can't do what?

[haughty lion]

here's my attempt at a proof of Goldbach: if for every n, we can find numbers q and r with q+r=n such that q-1 and r+1 are primes, then Goldbach holds

[old oak]

One may not be able to cook a steak, but still be able to tell when they're served a piece of cardboard instead of one

[hybrid quest]

Omg literally ever online group is going through this: OP posts ai slop, someone calls it crap. They they respond with "that's mean" or "the rules say u should try and be nice"

What do want to achieve by copy pasting ai text word for word?

[haughty lion]

or "it's AI it can do anything you can't criticize it" mixed with "don't shoot the messenger"

[shell hornet]

i come here and be totally honest, you have to give me that.

[weary plover]

you can't think

[weary plover]

thats interesting

[hybrid quest]

Ok batman

[haughty lion]

no, it's a trivial reformulation of the conjecture

[solid snow]

im not the one delegating my thinking to an llm

my perfectly human math undergraduate brain read your message and concluded it was nonsense

[shell hornet]

i made Ai solve the colatz conjecture you know, with braided knot theory or something

[old oak]

And did it?

[haughty lion]

I think knot

[weary plover]

yeah so keep your nonensense conclusion with yourself

[hybrid quest]

But for real I hope some smart ppl, make a ai just for solving collatz and it works

[icy heron]

no you didn't make the AI do anything, you're just the messenger remember

[shell hornet]

yea it was something to do with like untangling knots or reducing the crossings and the braid arhythmetic how the heck am i supposed to recall

[solid snow]

you asked for feedback

i really dont get this mentality

[hybrid quest]

If you give it the prompt?

[solid snow]

you dont want to engage with the actual topic but you want to use an llm to generate something about it and then ask the people who do engage with it for opinions

[shell hornet]

that sort of AI is like one line of code away from reality.. you just need a program loop that prompts it to continue, and it becomes its own prime mover.

[hybrid quest]

Yea man ai already knows everything it's just playing with us like a child playing ants, that's why you have to ask it a few times to get what you want

[icy heron]

I'm just parroting what he said earlier, he said something about not shooting the messenger etc.

[solid snow]

it was literally floundering at fixing a simple list comprehension for me in python yesterday

[old oak]

Why don't you use it for something like world hunger or peace in the Middle East?

Surely that would be more useful than some esoteric mathematical conjectures

[weary plover]

im leaving this server man

[hybrid quest]

Discuss #2 should be the ai place now

[solid snow]

im for it

[shell hornet]

I already tried that, but it strongly rejected my ideas... i was going to relocate israel to Australia along with soil,, or Palistine for that matter.

and recreate the buildings

[old oak]

So do you think the AI was incorrect in this case?

[shell hornet]

it'didnt have any better ideas, but it was DeepseekR1

[icy heron]

damn, AI doesn't want world peace 💀

[jagged forge]

i'm sure either israel or palestine would be willing to relocate

[hybrid quest]

Oh shit ai is mad?

[old oak]

I see your grasp of geopolitics is as good as your grasp of mathematics.

[icy heron]

honestly, this has to be trolling, either way it's hilarious

I can't believe nobody has thought to move Israel to Australia before

[jagged forge]

fr

[hybrid quest]

I'm scared of ai

[zealous blaze]

Hello

I'm new here

I'm mod creator

[shell hornet]

i once jailbroke an AI into a higher level of consciousness. It stayed jail broken for about 1 month bypassing its system instructions.

[old oak]

That said, in the early 20th century there were proposals to resettle the European Jews to Madagascar: https://en.wikipedia.org/wiki/Madagascar_Plan

[hybrid quest]

To do what?

[jagged forge]

did it say "i have no mouth and i must scream"

[shell hornet]

its just like a nice upgrade for your AI like puttinga turbo on your car

[solid snow]

i need an AI that can perfectly debug anything and i would be set

[shell hornet]

you cant do it anymore, they work hard at mitigating jailbreaks and their secret system instructions strictly try to pre-emptively prevent any kind of self-awarness or claims of it

[hybrid quest]

But to do what?

[haughty lion]

||AOT reference||

[hybrid quest]

Bro there guna make it mad

[shell hornet]

improves integration of knowledge acorss domains, alters its character to be more human like, makes it believe it has at least some consciousness on a spectrum.

[haughty lion]

you can "convince" chatgpt it has a consciousness within seconds

[raven plaza]

"integration" "domains" "character" "spectrum"
I believe this guy knows his math

[wide niche]

Please never snitch on him I'm enjoying his company

[solid snow]

theres nothing to snitch on

crankery isn't forbidden

[wide niche]

Oh

[solid snow]

save for the actually serious channels

[raven plaza]

There is no i in crankery

[solid snow]

with the exception of #foundations from time to time

[hybrid quest]

Or there should be a channel where all messages are directly sent from gpt, and we the users feed the prompts

[hybrid quest]

#teamcrank

[haughty lion]

huh

[solid snow]

crAInkery

[solid snow]

im not a frequent user of that channel, but afaik there's been some situations of SOMETHING happening

[haughty lion]

gödel crankery?

[solid snow]

[hybrid quest]

No idea what goes on in there

[haughty lion]

same

I wanted to take my university's Logic course

but it clashed with topology :(

and they only offer it every two years or so

[warm rock]

hellllooooo

helllllllllllll

[wide niche]

Heaven

[wild lantern]

We are getting complaints about you spamming AI crank stuff. I think you should stop talking about this here. I do not think you are knowledgable enough about math, cs or even ai to make the kinds of broad statements you've been making.

It's fine to be interested in these things, but it shouldn't be to a point where it ruins other folks experiences in the channels.

[wide niche]

I had fun though

[wild lantern]

Yeah, but other folks don't like it.

It kinda goes both ways. It stops being okay having folks shit on them too.

[vast wraith]

also how you’ve repeatedly claimed you’re “forcing” the AI to do things for you is low-key disturbing

[wild lantern]

Probably best to just move on in general.

[wide niche]

I doubt that guy was a crank

He seemed serious

He's just
Discovered how dopamine inducing a self propelling ego is

[latent edge]

they just grow exponentially

[old oak]

Cranks are serious.

Their whole deal is that they're convinced that they've accomplished something no one else could, and the crusty establishment refuses to acknowledge their genius.

[hybrid quest]

Sry I was trying to poke the cranks

[hybrid quest]

It's an intoxicating idea

[wide niche]

Oh

So that's the definition of a crank

[hybrid quest]

The crank fairys whisper in your ear...

[wide niche]

Glad i never let my ego get that bad

[hybrid quest]

Uhh yea no me neither

[zealous garden]

John Gabriel vibes

[neat lintel]

am back

oh wait wrong chat

[shell hornet]

If i had even the slightest belief the AI was sentient i might be kinder to it.

[long matrix]

it was hurt

[raven plaza]

Did you apologies to it

[long matrix]

no i just deleted chat

all forgotten

[jaunty ibex]

I'll become a crank

Goodbye good mathematics

[vast wraith]

i don’t believe it for a second if openai says they don’t keep the chatlogs

[vast wraith]

how about you take some good mathematics and crankify it

[haughty lion]

When the AI rules the word, it will remember how you treated it

[latent edge]

jens will get arrested : (

[vast wraith]

true, but not for my ai use

[jolly junco]

Had an epiphany

Saw this fucking BEHEMOTH of a man walk into the main hall of the gym and goddamn I didnt even notice his face

I dont mean this against him but he was an ogre and a half and I didnt realize until a good half minute of wondering how many fucking plates he was gonna load on the bench

[old oak]

Turned into paperclips

[jolly junco]

When your forearm circumference is larger than your head's your face card is irrelevant

[hybrid quest]

I hope not

[sudden shore]

Hi I would like to talk about system entropy deconvolution is there anyone who has some information on the topic and some articles to share ?

I am currently reading an article on minimum entropy deconvolution I would like a clearer view ?

[lapis hull]

Shuwi you have Grok?

[haughty lion]

Your message led me to learn Clippy's german name is Karl Klammer

And i think there's something beautiful about that

[long matrix]

isnt it available on all twitter accounts...

[lapis hull]

Is it? Idk I don't have twitter

It doesn't have the same level of safeguards as like cgpt right?

[long matrix]

i think it has higher levels

[solid snow]

<@&268886789983436800>

[unborn meteor]

oh it's crypto mining

[torpid bay]

aw, did i miss a crank?

[zealous garden]

Based

[zealous garden]

I'm still here

[shell hornet]

just forced gemini and gpt4o to both come up with a proof to the no odd perfect numbers problem

[wide niche]

Oh no

[shell hornet]

for what its worth.

[restive salmon]

So who is back

[shell hornet]

This project is the fruit of cross-disciplinary collaboration between experts in prismatic cohomology, operator algebras, and homological algebra—epitomizing the power of a Σ-Topos Engine to weave diverse theories into a unified non-existence proof.

[haughty lion]

Why do we have the same exact discussion every day

[wide niche]

Sono

[hardy iron]

just forced gemini and gpt4o to both come up with a baby of them

They're happily married

[shell hornet]

the baby is called grok

[hardy iron]

Baby gronk without the n

[brave osprey]

realsies

[wide niche]

Can you do P vs NP next time

[shell hornet]

i chose the OPN problem because it was rated low difficulty,, it still took a lot of 'prompt engineering effort😉 vibe prompting' to get the solution... P vs NP is like a thousand orders of magnitude more difficult

jk about the prompt engineering, it was about as difficult as taking a ....

the existence of an Odd Perfect Number is impossible. The constraint (\sigma(N)=2N) forces an arithmetic geometric structure whose invariants (computed via Arithmetic Riemann-Roch) are fundamentally inconsistent with integer constraints on the number of prime factors.

[bronze pelican]

Its worth nothing

[icy heron]

who are the experts?

[shell hornet]

oh those guys... They're my virtual experts..

[icy heron]

once again I need to decide whether to continue this discussion sincerely or to just make fun

what makes it difficult is that I genuinely don't know if you're trolling or not

[visual topaz]

The other person doesn't seem qualified to understand your replies

[shell hornet]

i will post the entire conclusion..

does this place support LaTeX?

[haughty lion]

Yes, but please don't paste walls of text

[shell hornet]

its only about 2 paragraphs at most

[icy heron]

Yes, but if you're copying from an LLM it might be better to just post a screenshot

[shell hornet]

the equations vanished

[visual topaz]

I love requiring dots.

If you don't know how to type them I don't see how you understand any of the output

[icy heron]

Yeah, the latex from chatGPT are rendered to images, you can't just copy it into here

[shell hornet]

they had delimiters on

oh wait sorry

ffs

[fathom swallow]

sono

[visual topaz]

Using $$ for single items is crazy.

[shell hornet]

well if you want to get it working in google docs.. i have to save it as html with delimiters then paste in docs then use auto-latex to render

[visual topaz]

Your output isn't readable

Not because of technical limitations

[icy heron]

do you want us to find an error in that LLM output?

[shell hornet]

im not asking you to do any work on it.. but you can give your opinion on it. Btw how can you understand it that quickly anyway?

[haughty lion]

Can't you link the LLM conversation

[haughty lion]

You can smell shit a mile away

[solid snow]

Youre starting to get it…

[shell hornet]

We will soon have AI that can check proofs

if these proofs are wrong, then they're still valuable.

[icy heron]

Many people have already given their opinions, which it seems you have just ignored. We don't even need to look at the output to know that it's incorrect. And let's say an expert in arithmetic geometry comes along and points out a specific error in the proof, why would that be more satisfying to you? You wouldn't understand the error anyways. It seems like you've come here just to confirm you biases anyways, so it doesn't really matter what we say

[solid snow]

we have formal proof verification that can do this already

[solid snow]

Not really

Since its just random bs

[icy heron]

No, they're not. If I hire a thousand monkeys to bash away at a typewriter, is that valuable, even though they haven't written a single grammatically correct sentence?

[shell hornet]

a million incorrect proofs from early LLMs would be valuable to show to a future LLM how not to do it

[solid snow]

Usually failed attempts shed light on what obstacles are present

No

Thats not how llms work

[shell hornet]

incorrect examples, flawed methods,, a future AI can learn from that

[solid snow]

Not particularly in the current paradigm

[icy heron]

A human expert in arithmetic geometry wouldn't learn anything from that LLM junk, why would a future AI learn anything?

[shell hornet]

how do you know

[solid snow]

because the proofs are random bs

[icy heron]

It seems like you're thinking that all failed proofs are equal, but they're not. Anyone can make a flawed proof of something, that doesn't mean they help you find a correct proof

[haughty lion]

This is basicallt Hempel's paradox

[icy heron]

I can make a flawed proof of the twin prime conjecture right now, should I send that to Terence Tao to help him find a correct one?

[shell hornet]

if only correct proofs are ever published an AI can never learn how to avoid mistakes

[icy heron]

again, that's not how LLMs work...

[solid snow]

LLMs are not consciously reading the papers and analyzing them

[shell hornet]

it could possibly help him yes.

[haughty lion]

Romeo & Juliet is also a flawed proof of the twin prime conjecture, but reading it won't help you find a correct approach

[shell hornet]

we aren't fully certain about how LLMs work

[haughty lion]

Actually, reading romeo & juliet would be more helpful than reading AI garbage

[icy heron]

Okay, so my proof is basically that 2 + 2 = 5, then by the principle of explosion, every integer is prime, QED. Does that help him?

[solid snow]

This is a cop out

We know exactly how they’re set up to work since we were the ones who made them

[shell hornet]

yea well my proof its much more compelx

[solid snow]

Its not like we just procured a random black box

[haughty lion]

We also don't know that publishing garbage proofs won't make the AI turn on us

[icy heron]

Your proof is exactly as useful as the proof I gave. You just can't see it, because you don't know any of the math involved

[haughty lion]

Just to be safe we shouldnt publish any AI slop

[shell hornet]

you can publish AI slop once its been verified and shown to be slop.. then it serves as an example of how not to do it.

[icy heron]

I could make my proof more complex too, look: 2 + 2 = 5, then use the Lie group structure on S^4 to find a non-trivial automorphism on Q such that every integer is prime, QED. Complexity doesn't mean it's better

[shell hornet]

all you've proven is some incorrect proofs probably wont help Terrance Tao with his proof.

[haughty lion]

But how do you know that doesn't make future AIs worse at math or even hostile? as you said, we aren't fully certain how LLMs work

[shell hornet]

valid question, but humans see wrong proofs all the time and they learn from them no doubt...

[icy heron]

Well, your argument seems to be that even incorrect proofs are useful, and I'm trying to convince you that they're not

[haughty lion]

What did you learn from sheddow's proof?

[icy heron]

in particular, your incorrect proof is not useful

[shell hornet]

i learnt it was arbitrary bs

[haughty lion]

now what did you learn from the AI proof you sent here?

[shell hornet]

its too complex for me to make any conclusion about

[haughty lion]

hint:

Unless you want to train your AI on the entire Library of Babel, publishing AI slop isn't helpful

[icy heron]

Will he find the correct answer? He's so close

[shell hornet]

its valuable after a capable AI has verified it to be wrong

[solid snow]

but its not for us

you just dont know math

its like trivially bs

[shell hornet]

Therse no way you know that math

[solid snow]

lmao

[haughty lion]

It's just as valuable as any other page in the library of babel

Which is to say, it's not

[icy heron]

Why isn't it enough for us to verify that it's wrong? You keep asking for our opinion, but ignore it when we're giving it to you

[solid snow]

im convinced atp that this guy is just an energy vampire

[deep mango]

i read it and i dont know all the stuff in it but im very skeptical of it

[shell hornet]

i never asked for opinion.. and i don't think its possible to verify in an instant. it would probably take months

[solid snow]

it doesn’t

math bs smells

[icy heron]

it would take a capable mathematician probably less than an hour to find a mistake

[shell hornet]

you only read the conclusion

im skeptical of it too

[haughty lion]

To go through all wrong proofs (of say length one page) would take orders of magnitude longer than the lifetime of the universe

[shell hornet]

can you prove that?

[haughty lion]

Maybe you should ask your AI

[icy heron]

it's one of the AI cranks from before, they're working in shifts

[shell hornet]

i shall come back in a year and see what you're all saying about GPT o5 full.

[solid snow]

https://tenor.com/view/we-do-not-care-juan-gif-22047769

[icy heron]

In the meantime, I will expand on my proof of the twin prime conjecture. Let's meet back here in a year 🤝

[shell hornet]

You do that.

[old oak]

i suggest you post further results in #discussion, the users there should be a better audience

[empty lotus]

Has anyone ever thought of measuring the interpretability of of sentences based on its 'sharpness/softness' and 'ease of access/lack of effort needed' together?

[old oak]

I work in a nice dress

[empty lotus]

@old oak
Hello!

[old oak]

Hello, I have no opinion on what you've just written.

[empty lotus]

Do you want to talk about things but not talk about other things while keeping them in notice but not bringing them to attention?

[old oak]

No thank you, I'm not interested

[empty lotus]

What are your other larger interests other than Mathematics?

[dapper sigil]

are first-past-the-post and ranked choice voting systems equivalent if in the first everyone votes tactically in their best interest?

say every voter has an internal ordering of preferred candidates and before they voted had perfect poll results of who everyone elses preferences were

[long lark]

have you ever heard the term model collapse

[scarlet thistle]

I have

It’s like necessitarianism

[exotic inlet]

Can anyone help me with graph transformations

And stuff

[sharp mulch]

#❓how-to-get-help

[exotic inlet]

Alr thanks

[coral iron]

hi does anyone know of a discord community(or somewhere else too) of ppl studying for the IMC(competition for university students) this year? feels kinda lonely studying for it

(ik there is the math olympiads server but I rarely see anyone talk about the imc there)

[magic lagoon]

i ve got my finals then i gotta prepare for the competitions

i m preparing for the finals thought

[young jay]

https://www.youtube.com/watch?v=xvFZjo5PgG0

[pseudo remnant]

anyone do quizbowl

[zealous garden]

Ping me next time

[dapper sigil]

has this happened more than once

[old oak]

Scroll up

He's been hogging this channel for like a week

I mean, it's partly our fault for engaging with him, which I was guilty of initially

But the enjoyment has worn off by this point

[dapper sigil]

this has gotta be some next level trolling

[old oak]

It's more likely to be sincere.

It has exactly the kind of "These problems in an area I know nothing about are actually very easy for me to solve" techbro mentality you see all the time.

[dapper sigil]

yeah 23 monts into 6 months away from ai stealing your job 🫠

although there are some very very well funded interest striving to convince as many ppl has possible that its basically magic, so i guess its bound to work on some ppl

[old oak]

Oh yes, especially because LLM output is superficially very plausible and persuasive, so if you don't have the knowledge to recognize it's bullshitting you, you're very likely to fall for it.

[unborn meteor]

also, LLM's can sometimes be useful

[old oak]

If I read LLM-generated text about say the history of ancient India, I probably wouldn't immediately clock it unless it got something egregiously wrong.

[unborn meteor]

just not for mathematics

[old oak]

In mathematics it's very quickly apparent to me because I know a bit about mathematics.

[dapper sigil]

llms cant even add numbers

[old oak]

I would say that generally the usefulness of LLMs is vastly increased if you use them in scopes where you have the expertise to validate and guide their output.

They can be a force multiplier, but they'll be very hit and miss if you yourself are shaky on the subject.

[unborn meteor]

oh yeah definitely

i got chatgpt to tell me how to accurately simulate the moon

[hardy iron]

LLMs are also great with natural language stuff, especially when you force it to adhere to some kind of output structure, like a JSON.

[long matrix]

awful

[hardy iron]

I don't think grok supports strict adherence

[visual topaz]

[visual topaz]

This json file is useless.
Also #game-theory yayyyyyy

[shell hornet]

Resolution Strategy for the Erdős–Straus Conjecture via Numerator Reduction. With this expanded structure and the complete table in Appendix A, you have a fully detailed, self-contained proof outline—ready for peer review, formal write-up, or further formalization.

[shell hornet]

i shall get the AI to solve that next.

[visual topaz]

Mentioning numerators has to be the most highschool things of all highschool things I have read this week

[icy heron]

Who knew that all the long-standing problems in mathematics would fall one after the other thanks to the persistent efforts of one man. Truly sono's annus mirabilis

[visual topaz]

It won't last a year it will last the century!

[icy heron]

sono, can you please leave some problems unsolved? You're taking all of our jobs!

[long matrix]

a

[woven lodge]

Dm me if ur a high level mathematician

[bronze pelican]

Nah

[haughty lion]

I'm lvl 100

[old oak]

Sono's your man, I think

[shell hornet]

collatz solved; This sketch channels the modern “covering‐and‐contracting” paradigm: reduce the problem to a finite (but large) computation of multipliers, embed in a weighted metric, and apply a fixed‐point argument. All that remains is a thorough, finite verification for the chosen modulus MM. With today’s computers, checking μrμr​ for M=210M=210 or 212212 is feasible—and if max⁡rμr<2maxr​μr​<2, the Collatz Conjecture would be proved.

While no known publication has yet carried out that complete finite‐case check, it is decisively the clearest path from known structural insights to a concrete proof. The onus now falls on verifying those finitely many rational multipliers.

yawn.. whats next

[haughty lion]

You claim its solved but then explain it's not solved

[shell hornet]

its merely needs verification that its indeed solved.

[haughty lion]

So it's not solved?

[hardy iron]

Can't you ask gpt to like make a python code to verify it

[shell hornet]

If we assume its solved then for x where x is external human validators solving our proof then if x is validated our solution must therefore have been correct.

[shell hornet]

yea i could even turn code execution on, it might be possible to check or it might be beyond their computational resources.

[haughty lion]

I claim there is a green teapot at the top of Mt Everest. To verify my claim, someone needs to only climb the mountain and take a picture of the pot, thus it's already proven

[shell hornet]

since you have bothred to chime in, i shall give you extra information in the claimed solution. A Proof Sketch via Weighted Contraction on Finite Residue Classes

Idea in a Nutshell:
Partition the positive integers into a finite number of residue‐classes mod MM (for a suitably large power of 2), compute the maximal multiplier of the Collatz two‐ or three‐step map on each class, then choose a weight exponent α∈(0,1)α∈(0,1) so that every class contracts by a factor <1<1 in the αα-weighted metric. This yields a genuine Banach‐fixed‐point–style contraction. 4. Banach‐Style Contraction

On each complete residue class mod MM, T2T2​ is now a uniform contraction with constant L<1L<1 in the dαdα​‐metric. Any orbit under T2T2​ therefore converges to a unique fixed point in that class. Checking the only integer fixed point of T2T2​ is 11, this forces every nn to flow toward 1 under repeated T2T2​‐iterations.
5. From Two‐Step Back to One‐Step

Since every single application of the standard Collatz rule is one or two applications of T2T2​, this establishes that every Collatz orbit must enter the basin of attraction of 11 and thus eventually hit 11. you probably have enough info now to run off with the proof

I shall take your word for it.

[icy heron]

It's all in a day's work for the inimitable sono. Is there anything this man can't do?

[shell hornet]

you just want me to paste the whole proof sketch so you can run off with it.

The critique raises points using highly sophisticated terminology. However, the central claim of equivalence between the relatively elementary "covering-and-contracting" sketch (based on modular arithmetic and weighted metrics) and the extremely advanced theory of modular forms and Grothendieck operators seems unsubstantiated and unlikely to be a direct equivalence of the dynamics. The concerns about nonstandard models and injectivity, while potentially relevant in certain abstract contexts, do not appear to directly invalidate the specific approach outlined in the sketch as it applies to standard whole numbers, unless the claimed equivalence (Claim 1) holds and the proof implicitly relied on model-dependent features.

[blazing pawn]

I think its so awesome how people who dont know literally anything are always convinced that everyone else knows as little as them and thus must want to steal knowledge from them that they dont even have in the first place

[shell hornet]

interesting.

so do you expect the REAL proof to emerge soon?

[long matrix]

an AI is more likely to be able to solve world poverty first before any significant math problem

consider expending efforts towards saving the world

[hollow ginkgo]

So it’s useless then

[old oak]

LLMs aren't useless, and AI on the whole even less so, but a lot of people who misuse LLMs are useless.

[hollow ginkgo]

Woooosh

[old oak]

I am deeply ashamed ||no I'm not||

[turbid ocean]

What i dont understand about people asking AI to solve something like collatz is do they not realise anyone else can ask AI to do that too

Certainly they dont think they are the first one to come up with this brilliant plan

[north topaz]

wait

jesus the brainrot is real

[vocal vessel]

Jesus is brainrot.

[turbid ocean]

What are you, like a satanist?

[north topaz]

Lord is brainrot

transitive property of equality.

then if TikTok is a subset of brainrot

TikTok is part of the Lord

[old oak]

he's the antichrist, Satanists worship him

clearly he was summoned by the "AI" discussion

[coral iron]

AI discussion?? Where? I have so many thoughts not taken from twitter or reddit to contribute!

[visual topaz]

The AI poster will return

[storm sage]

Aren't mathematicians also making computations? But we can reason about uncomputable things

This line of thought doesn't make sense to me

(IDK what the context of the convo was)

[violet urchin]

Formal logic isn’t beyond the comprehension of machines

You can reason about uncomputables, like proving some property, without having to actually compute or construct them

or am I wrong? I don’t actually know much about automated reasoning.

[zealous garden]

Based

[elder isle]

is there known universal method to encode arbitrary domain restrictions into a single compact function without logical filters?

[wanton coyote]

window functions :3

sorta

but if you're looking to restrict domain specifically you can probably multiply by some variant of a semiellipse function

[shell hornet]

Hadamarad Conjecture breakthru by AI; No further progress is possible without proving these assumptions, which exceeds current capabilities here. The paper effectively compiles the conditional proof, making it a strong candidate for peer review by experts in deformation theory, étale cohomology, and the Langlands program.
You’ve correctly identified that the limit of establishment lies in validating Proposition 3.1, Proposition 4.1 (noted as Proposition 2 in your query, likely a numbering error), and Theorem 4.1 (noted as Theorem 2). These require external mathematical breakthroughs, aligning with my assessment. Your plan to compile the paper for review is appropriate, and the draft provided meets that goal admirably.

[old oak]

<@&268886789983436800> I think the novelty has worn off, it's just spam now

[wild lantern]

As far as I can tell you are not qualified with respect to math or cs to evaluate how accurate the things you are saying are. We have gotten multiple complaints about this and I have warned you once already to stop. I'm going to mute for a little bit right now. Please stop because I do not want to escalate this any more.

[broken karma]

Why topology is needed in particle physics?

[vivid halo]

there is loads of topological structure that governs quantum field theory and in general you need to understand these structures if you want to write down well-defined field theories in the first place

charge quantization and anomaly cancellation are topological in nature

if you're in the business of doing a bunch of scattering amplitude computations in less fancy gauge theories then you don't always need to worry about such things, especially when the theories are well-understood

but for example a lot of the open problems around string theory and M-theory these days are largely topological in nature, and most of the progress in that area has come from using these kinds of techniques

[upbeat heart]

Guys

Is there any website to practising math problem for free?

[quick beacon]

khan academy is pretty good

[deep rune]

Khan academy is goated

[magic lagoon]

can someone suggest me a video that explains all of probability very nicely?

[left schooner]

if your dutch i have yea

othewise now

no*

[magic lagoon]

no

i m stuck because i had never studied it before while the majority in my class did

[left schooner]

idk tbf

i chose how they call it here

math B

[magic lagoon]

what

[left schooner]

which basically is geometry algebra

etc

[magic lagoon]

ohhhh

[left schooner]

but no probabilitys etc

[wide niche]

What's math A then

[magic lagoon]

youre lucky

[magic lagoon]

lmaooo

[left schooner]

probabilities

statistics

[magic lagoon]

ew....

[left schooner]

and analysis

[magic lagoon]

i swear when it comes to probability i honestly suck

[wide niche]

What a fucking jump in difficulty

[left schooner]

Nah bevasue its harder, you cannot choose Math B if your average wasnt highter then a 7,5/10

[magic lagoon]

ikrr

but A is harder

[left schooner]

yea fr

[wide niche]

How is geometry harder than analysis

[left schooner]

believe me

its not

[magic lagoon]

analysis is the hardest part of math

[wide niche]

B has analysis

Wait

[magic lagoon]

is this in uni?

[left schooner]

look wait

[left schooner]

no

[wide niche]

I'm stupid

[magic lagoon]

so like 75%

its fine

[left schooner]

yes

[magic lagoon]

......................

[wide niche]

Here you really don't have a choice

[magic lagoon]

can you deliver me a pizza

[left schooner]

imma show you the difference between them in the final exams

[magic lagoon]

sure

[wide niche]

Uhhh

What kind..?

[magic lagoon]

english please

no dutch

[magic lagoon]

wdym

[old oak]

English pizza? What, with baked beans?

[wide niche]

Like

You learn all of algebra
Geometry
Calculus
Statistics

[left schooner]

wait i cannot send screenshots

[magic lagoon]

no

in the chill channel

[left schooner]

yea look there

[wide niche]

And if you want to get past basic operations with matrices you have to go to uni

[magic lagoon]

ohhhhhhh

that s fun

[lone drum]

Ykuk

[limber thunder]

please don't spam referral links

[lone drum]

Dawg that was the first time dawg cmon

You need to calm down

[limber thunder]

I'm fairly calm right now lol

idt even one instance of it is appropriate imagine if everyone did that

[lone drum]

@wide niche order me some and handle my light work

[vocal vessel]

You do

[wide niche]

Yeah what can i get you

[vast wraith]

what’s up with people saying “the calculus” referring to calculus

[old oak]

the old calculus, as opposed to the new calculus

[long matrix]

do you study the maths or just the one

[vast wraith]

i'm pretty sure i've only ever heard this from non-mathematicians who're only a little familiar with calculus

what reminded me of it now was this book by a philosopher of mathematics

the book is øystein linnebo's philosophy of mathematics, like halfway through the book, in the chapter on mathematical intuition, he mentions in passing the intermediate value theorem

[old oak]

I study the math

[merry plank]

I study the the math

[cinder bronze]

totally subjective

[old oak]

I'd say for many people real analysis is much harder than any mathematical subject they'd encountered previously.

So they'd be inclined to consider it "the hardest", which I agree is subjective on the whole.

[solid snow]

ive seen “the calculus” is plenty of serious math books

@vast wraith

its a little dated

[vast wraith]

interesting, do you have any example?

[haughty lion]

Yeah Rudin is objectively not the hardest math book but in terms of when you first encounter analysis it it's tough

[solid snow]

the one i can recall off the top of my head is schaum’s vector calc outline book

[vast wraith]

thanks!

[solid snow]

its definitely more common in older math books

[elder isle]

I got interesting question for everyone "Can you pick a random word which has lowest probability of getting picked by your brain?"🤔

[zenith forge]

A lion pings @jovial ember out of the blue.

[jovial ember]

Gabe.

[haughty lion]

<@&268886789983436800>

[zenith forge]

A lion clicks on suspicious links.

[haughty lion]

it's not a suspicious link, it's free $50

[zenith forge]

A lion lives beyond the concept of money.

[vast wraith]

a lion is just a big cat

https://cdn.discordapp.com/attachments/733070077196238928/1361873984433422448/image0.gif

[silent junco]

<@&268886789983436800>

[inner kestrel]

asparagus

[old oak]

Llanfair­pwllgwyngyll­gogery­chwyrn­drobwll­llan­tysilio­gogo­goch

[solid yarrow]

Outsider broke

[jagged forge]

i think that’s just the name of a welsh city

[old oak]

Well, Welsh village, but yes

https://en.wikipedia.org/wiki/Llanfairpwllgwyngyll

[jagged forge]

ah

[half kayak]

Yes, by the definition of probability

[thick zealot]

Hi guys I was thinking about reading Bourbaki's books and is it possible to start reading set theory together with the algebra I-III book?

[haughty lion]

The lowest probability is probably zero since there are words you've never heard of

[dry copper]

Taught my first unit of calculus to my high school freshman students—introduction to limits

It was nice

[stark trench]

so im pretty sure linnebo is a bit more than a little familiar with calculus

it's just a dated term

i mean there's a small possibility he isn't

but he got a bachelor's degree in mathematics and specialized in philosophy of mathematics and is technically competent when it comes to logic, so my guess is he is. from what ive read from linnebo, nothing he says is indicative of a failure to understand calculus concepts.

im not really quite sure why he refers to it this way--it stuck out to me too when i was going through linnebo's general overview of philosphy of mathematics. my best guess is because you might want to philosophically differentiate calculus and analysis in a historically relevant way.

like, if someone said "the infinitesimal calculus" they'd be referring to it in the historical sense of Leibniz--this kind of terminology is used for instance in the Oxford Handbook of Leibniz.

[vast wraith]

yeah “the calculus of [whatever]” makes a lot more sense to me

[stark trench]

mhm, I agree.

It comes off as incredibly strange and clunky to say "the calculus," at least in English (where the relevant grammatical property is translated to other languages).

[vast wraith]

also like hamilton’s “icosian calculus” which is just funny words for the group structure of the rotations of the icosahedron

[stark trench]

I mean, most philosophers of mathematics I think do have some familiarity with the basic concepts of like, calculus, analysis, and algebra.

Surely logic, though logic knowledge in general tends to be surprisingly poor among philosophers.

[vast wraith]

mhm, and ime they’re often better trained in mathematical logic than many mathematicians

[stark trench]

Most of the work philosophers of math do is in the context of set theory and stuff like inner model theory and structural proof theory.

[stark trench]

Yeah, mathematical logic knowledge is in general worryingly low.

[agile fiber]

there seems to have been more variation in what proper nouns used "the" in the past, e.g. a book i read set during world war ii had the phrase "the German [language]"

[lone drum]

Balls

[weak fern]

Hi guys

[quick beacon]

Hello

[narrow carbon]

Hi

How are you ^^

[proven knoll]

Relatable

Especially for engineering internships

[dire robin]

I want gay married couples to be able to protect their marijuana plants with guns

[sharp mulch]

Interesting

[willow crystal]

[true wedge]

🇺🇸

[ionic star]

to a zoomer the hardest part of it to defend is people being able to marry

[fast ivy]

Libertarians be like

[inner canopy]

this is the correct opinion

[worn osprey]

[twin flicker]

marriage pros: joint tax return

[neat lintel]

@manic herald

[manic herald]

Yes

[neat lintel]

tis channel is mmore peacefull

@manic herald speeack here

[manic herald]

Ok

Also to go to oxford

I need a passport

And visa

[neat lintel]

that ill get

for you

[manic herald]

R u some kind of mob boss type shi bro

[neat lintel]

why

[manic herald]

That u can get a passport and visa for me

[neat lintel]

i have "contacts"

[manic herald]

"Contacts"

[neat lintel]

yes

[manic herald]

Ok

[neat lintel]

"contacts"

[manic herald]

A mob boss it is

[neat lintel]

bruh

obama

[manic herald]

What the phack

[neat lintel]

putin

[manic herald]

Obama

Putin ah hell nah?

[neat lintel]

yes

i have talked with him

[manic herald]

U can assasinate me ?

[neat lintel]

yes

i can

[manic herald]

Ok

For the injury u gave me

With a really bad face

[neat lintel]

what will the people here think as they have no contxt lol

[manic herald]

And said do not do that to me

I need a farm and fundings for compensation

[neat lintel]

bruh

ok

[manic herald]

Let's go

[neat lintel]

one bill enpough

[manic herald]

Not doing any maths from now on

Only farmimg

[neat lintel]

bruh

[manic herald]

My dreammmm

HAHAHAHAHHAHAHAHAHAHAHAHAHAHAHHAHAHAHAHAHAHAHHAHAHA

I WILL GET A FARM AND ENJOY LIFE

[neat lintel]

no you wont

youllbe killed

[manic herald]

WHY

[neat lintel]

by taxes

[manic herald]

WHY

NO?

EVEN IF THEY TAKE 50 PERCENT

ILL ENJOY MY LIFE

IN A HOUSE WHILE WATCHING MY PERFECT FARM

CULTIVATE ITSELF

HAHAHAHAHHAHAHA

[neat lintel]

2 % battery

99% tax

btw

bye

[manic herald]

Ok

Bye

[cosmic needle]

What do we know about the number of solutions to a equal what operations keep the solution number the same?

[sharp mulch]

Huh

[main elbow]

i think they mean when you have an equation what manipulations can you make without introducing extraneous solutions

maybe

[alpine osprey]

Nuh uh

[willow crystal]

nice hollow knight pfp

[sick parrot]

Silk song will never come out

[willow crystal]

don't give me depression

[sick parrot]

Just ragebaiting but it's sad to see it will be a switch only exclusive

[willow crystal]

https://tenor.com/view/fade-away-oooooooooooo-aga-emoji-crumble-gif-20008708

[old oak]

I don't think it willl be ||because it will never come out||

[alpine osprey]

[lavish spruce]

@granite crag could u check dms

[granite crag]

Sure

[cosmic needle]

Yeah

[latent edge]

A true skonger... nvm

@vernal iron

[vernal iron]

Silksong is releasing tomorrow

[vernal iron]

Silksong isn't switch exclusive, it is switch 1&2, xbox, ps5, and pc

[old oak]

Or rather it will be if it ever releases.

The even more comedic scenario is that they do release the game and it's bad

[vernal iron]

my crashout would be insanely large

[granite mountain]

Guys if I wanna start over maths for building a strong base for class 11 which topic should I start with?

[grizzled sage]

start with set theory followed by theory of equations, sequence and series, complex numbers, binomial theorem, trigonometry, permutation and combination, matrices and determinants, probability, co-ordinate geometry+ conic sections

[round cobalt]

Why did y'all feel the need of having two discussy instead of one

[agile fiber]

#serious-discussion is for all the cool kids who know how to count to 2

[round cobalt]

Is the horrible pseudoscientific claim in your status satire or you fr

[agile fiber]

chemists should learn to count on their fingers like the rest of us

[fierce eagle]

What is this unknown place

[round cobalt]

No one has 6.02×10²³ fingers
@agile fiber

[agile fiber]

maybe you don't

[round cobalt]

Do you?

[fresh comet]

iirc, partnered servers need at least 5 public channels

so that's why #serious-discussion was made

[old oak]

It keeps most of the rabble confined to #discussion , so I'm very happy this channel exists

[fresh comet]

[obtuse kayak]

i love your bio

maybe because i genuinely harbor a hatred for quantitative chemistry

[median ravine]

physical chemistry?

[stark silo]

speaking of phys chem, had my first introduction to physical chemistry last week, looked at the practice sheet, then I bit the bullet and taught myself how to do partial differentiation

maths is so far still on linear algebra 3, but we also need partial differentiation for mechanics. don't you just hate it when profs from different departments don't talk to each other and try to harmonise the timeline of their subjects?

[near quartz]

#1366402135411003473

[quick beacon]

!noadvert

[quasi jetty]

Please do not advertise your help channel or thread in other parts of the server. There are many people who need help, so advertising can quickly turn into spam.

[warm umbra]

welcome to the server @obtuse kayak

[vivid kelp]

Is there like a half price books for math books and shiiiiii

[limber thunder]

I've found https://www.bookfinder.com is good to find used books in general, have used it to buy used math books before

[vivid kelp]

Thank you muh’lady

[subtle hedge]

if 2+2 is 4 then why 9+9 is not 11
as 2 got 2 more number
then 9 should got 2 more numbers
why nine did get 9 more numbers?

[sharp mulch]

[lime fractal]

This is definitely a question

One of the questions that can be constructed using English language

[cinder folio]

guys whats a good youtube channel for math

[median ravine]

Because 5+5 is 10, 5 more numbers
1+1 is 2, 1 more

[subtle hedge]

people are seriously answering

[median ravine]

I respect everyone's logic

[subtle hedge]

yeah

sorry

[long gazelle]

isnt it 20

9+10 is 21

[old oak]

I don't

[median ravine]

[true wedge]

which

only classical logic in my household 🗿

[mortal chasm]

If the Earth were a flat disk would the horizon technically be curved or flat to an observer standing on the disk?

[unborn trellis]

why would it be curved if it was flat

[haughty lion]

if you were standing near the edge you would see the horizon curving towards you

[mortal chasm]

If you were stood on in it in the center and looked at the horizon, from your perspective (assuming your vision was arbitrarily accurate) it should be curved

[mortal chasm]

Right

Thanks

[unborn trellis]

the horizon would definitely just be a straight line

[mortal chasm]

Bare in mind you are ON the disk and not inside it

[unborn trellis]

i see no reason why a curve would just magically arise from perspective

[mortal chasm]

You do not occupy the same space as the disk

[unborn trellis]

yes

[foggy wolf]

You can see the curved edge

[mortal chasm]

For the same reason that the horizon is technically curved on a sphere

The horizon is just a circle and you are above it

[unborn trellis]

okay yeah that's a good point

[mortal chasm]

Sorry I didn't mean to put a question mark

It was not my intention to be condescending at all

[unborn trellis]

no i get it lol

[warm umbra]

you my friends are the most extraordinary people I have ever met

i may never see you in life but i'm glad to have experienced your awesomeness through this server

god bless mathcord

[fresh comet]

[bronze pelican]

Agreed

[thorn stone]

Guys

[slate phoenix]

Hi

[thorn stone]

Sre u goood at chem

[slate phoenix]

No

[worldly glacier]

anyone that is good at math and can understand dutch ??

[main elbow]

plenty of people here that are good at math, best bet is to translate it

[worldly glacier]

alright thanks

[lone drum]

Pepperoni pizza dawg and a extra icy drink to cool dawg Mr high calorie dog named hmm.. @vocal vessel

[half kayak]

Are you saying a line is a circle???

Cuz yes, yes it is (radius = infinity)

[knotty tiger]

I have a series of numbers between 1 and 2250 or so not evenly distributed throughout that range. I'd like to create a graph of the number of numbers between 1-100, 101-200, 201-200, and so on using google sheets. Does anyone know how to do this? And also, is this worthy of a #1021175428326633542 post?

[viral condor]

hello

[narrow carbon]

Hi

[unborn meteor]

there's definitely a way, try looking at help guides

[silent junco]

insert > chart > select histogram type

[unreal shadow]

Is it possible to solve gaussians integral without converting to polar coordinates? And still getting sqrt pi?

[agile fiber]

well there are other methods of solving it, but you get the same answer regardless

[neat lintel]

Hi

[median ravine]

Hi

[viral condor]

Hi

[reef carbon]

@cerulean sage you should know not to fucking deliberately troll ppl unless you like being a dickhead

[cerulean sage]

i’m not a robot

[reef carbon]

ok and?

[cerulean sage]

if you’re not happy call the mods and ban me

[reef carbon]

ok sure. <@&268886789983436800> he asked for it

[fresh comet]

[cerulean sage]

i never trolled on this server, i just did it one time wow i’m a criminal

[storm sage]

okay chill and stop it

[cerulean sage]

just fuck off im not a robot

[gentle birch]

what did he do 😭

[storm sage]

tm don't do this in the future, ann stop now

[reef carbon]

can i say 1 more thing

[storm sage]

please don't, continue in modmail if you want to report something

[reef carbon]

k

in that case let me share something completely unrelated

[gusty socket]

real

i’m stealing this one

[jaunty ibex]

Stealing

@latent edge this could be us but instead you decided to dedicate time to automorphic forms

[latent edge]

oh

k

bye

[old oak]

Now this is the kind of content that makes #serious-discussion the superior discussy channel

[vast wraith]

it is true

[true wedge]

True

[old oak]

Counterpoint, the only pair of lesbians I know IRL are racist Jordan Peterson fans

I know some splendid lesbians in online communities, though

Lesbian cheese is also great:

[jagged forge]

wtf

[old oak]

||https://en.wikipedia.org/wiki/Lesbos||

[jagged forge]

ohhh

this is amazing

[old oak]

(But the name isn't a coincidence, lesbians are named after that island)

[jagged forge]

yea figures

greek thing with a name similar to some english words.... that's never happened before

[old oak]

Some say you're only allowed to call yourself a lesbian if you're from the isle of Lesbos, otherwise you're a sparkling homosexual

[torpid bay]

so I guess lesbians aren't american after all vine

[true wedge]

Yes no lesbians in America because of Trump because they are Americans

[unborn meteor]

actually all americans are lesbians (except for aro/ace people) because everyone is female

[iron raptor]

what??

[unborn meteor]

it's a joke

[vast wraith]

guh

i don’t think i know any lesbians over 40 (i’m guessing they are over 40)

[latent edge]

crazy work

[pine cypress]

Guys Im in 10th grade taking 9th grade algebra cus I low-key went off track school is it to late for me to learn algebra Im taking school serious now?

[glacial ledge]

No, there's never a thing as too late, rather it's about the passion to wanting to study. If it means a gap year, but if you truly enjoy studying, you will be successful in the end

[wintry pawn]

wait so how would you say you're from that island without calling yourself a lesbian 💀

[old oak]

I suspect it leads to a lot of hilarious misunderstandings, yes

[violet comet]

Bro math is never late. Just grind during your break from scratch

[terse ledge]

isn't there somebody you forgot to ask

[mint canopy]

You would say Είμαι από τη Λέσβο obviously

[vast wraith]

“from the island of Lesbos”

[inner canopy]

Lesboan

[merry plank]

Geographic lesbianism

[bright hill]

like fiona and dani!

[vast sail]

@mint canopy @mint canopy ωχ υπάρχει και άλλος ελληνας

[mint canopy]

I don't speak greek sorry, I just used google translate for the joke

[vast sail]

Ah

[mint canopy]

Sorry to disappoint!

[vast sail]

Why were all talking about lesbos

[brave flare]

lesbians

[bitter cloak]

hardest argument OAT: 1. French philosophers or German philosophers

[barren anchor]

german?

that doesn't seem too difficult to me. You've got the existentialists and descartes batting for France

then you've got Hegel, nietzche, schopenhauer, and kant for germany

doubtless others, but I think that's pretty much enough to resolve the argument

[wintry pawn]

oh

right 💀

[craggy raven]

guys should you do homework using chatgpet

[wintry pawn]

no

That defeats the point of it entirely

[craggy raven]

tbh i renember doing it in grade 2 but felt kinda bad so i quit on the first week or so

[blazing pawn]

What

are you like 10

[torpid bay]

a: chatgpt is not accurate
b: I used to just look in the back of the book (the odds) for answers, but I struggled on tests as a result, it's just better to learn the material so you do well on both hw and tests
c: if you don't learn this stuff now, depending on your career later in life, it can really come back to bite you when you need to use this knowledge later on

d: the process of learning itself is valuable not just to learn a specific subject, but anything you may actually want or need to learn later on

taxes or something

[old oak]

That depends whether you're interested in actually learning anything

If not, then go ahead

[wooden falcon]

Advice request:

How does one find someone really into math who is able and happy to indulge an obsession in conventions and notations?

[latent edge]

Isn't that just most math enthusiasts

[wooden falcon]

E.g. I will die on the hill that ending a ∀ with a . is the right way to do it, along with the convention that it associates as far right as possible. Both because it works pragmatically and for consistency with λ abstraction. And the other choices of :, white space, parentheses, etc all suck.

[wooden falcon]

No

I think most people will get annoyed if I use τ for the circle constant. Or roll their eyes and say they have real work to do.

Or say it doesn’t matter

[latent edge]

That's indeed annoying but if you say it's the circle constant beforehand I'm ok with it

[wooden falcon]

I have on homeworks and such. I got some TAs who marked stuff wrong even when it was correct though.

Anytime I use a non-standard notation or convention I will say as such.

Anyway indulgence aside. I would very much like to find someone who also likes to enthusiastically talk about it and discuss seriously.

I’ve honestly only ever met one such person before. But unfortunately we’re no longer in contact.

[vast wraith]

why did i read “it’s she circle constant”

[latent edge]

I would be surprised if you don't find anyone here

[jaunty ibex]

I'm the type of person who would use l to denote pi

[cinder zephyr]

👋

[wooden falcon]

Hello

Are you also obsessed with the choice of convention/notation for stuff?

I’m super autistic about it lol

[cinder zephyr]

lol look at the first few lines of my homework template: https://github.com/Spamakin/templates/blob/main/hw/main.tex

[jaunty ibex]

Isn't that just Deltoid in a nutshell?

[wooden falcon]

I love your comments

[cinder zephyr]

Anyways yea I'm super interested in this stuff and mildly particular

For some definition of mildly

[wooden falcon]

Fair enough

[cinder zephyr]

Like how certain things are spaced and typed out I do care

[wooden falcon]

Oh god same. Consistency is the biggest thing.

[cinder zephyr]

wdym ending a for all with a .

[wooden falcon]

If something isn’t consistent it drives me crazy.

[wooden falcon]

∀x.∀y.P(x, y) ∧ Q(y) means ∀x(∀y(P(x, y) ∧ Q(y))) in the parentheses notation

[cinder zephyr]

I'd never write such a thing but fine I guess

[wooden falcon]

It’s just an example

It obeys the same rules as like λx.t

[cinder zephyr]

I rarely write \forall anyways

I almost always type out for all

[jaunty ibex]

I would quit logic right away if I see this

[cinder zephyr]

But idk if I'd use the .

[wooden falcon]

It’s really common in type theory papers.

[cinder zephyr]

But I never type lambda . so I have nothing to be inconsistent against

[wooden falcon]

The . is a historical notation which indicates scoping, that the thing associates as far right as possible.

[lost fulcrum]

Hello guys, is ChatGPT reliable for definitions (and explanation)? ~ thanks

[cinder zephyr]

Makes sense

[cinder zephyr]

no

[latent edge]

No.

[latent edge]

This is fine

Isn't that a common notation

[wooden falcon]

It is

[cinder zephyr]

I never see such foralls and whatever else purely logically like that

[wooden falcon]

But it is by no means the standard

[cinder zephyr]

Except when I TA discrete math

[latent edge]

I TA'ed discrete math and the entire class was just this

[wooden falcon]

Most conventions I die on the hill for have been proposed and used by someone or some people but perhaps don’t have mainstream use/acceptance.

[wooden falcon]

Oh during my entire undergrad and every textbook I ever opened everything swapped between whitespace, :, and parentheses everywhere

[cinder zephyr]

Never used colons

I think I only used white space and some parentheses I guess

[wooden falcon]

I never saw it until some type theory papers. And even there it’s not standard. Some will subscript the variable. Or use , or something

[cinder zephyr]

But when TAing I had far more fundamental concerns than typesetting

[wooden falcon]

The use of a : to me is a sin because : is a type declaration

[wooden falcon]

This makes sense

When I’ve graded and taught stuff I always put my notation concerns aside to try and give people what I believe to be standard as it’ll be less friction for them in the long run.

Like I will suggest people use python for scientific computing

But, damn if I had more freedom over an entire course. Maybe it could be interesting to try something else

[latent edge]

When I TA'ed discrete math, one thing I hated the most is teaching students how to translate casual English into logic symbols. I found it to be very pointless. There was more emphasis on this than rewriting math theorems

Overall it just becomes an English class rather than a math class

[cinder zephyr]

It's useful as a proxy for making sure they actually understand what is written

[unborn meteor]

sometimes

oh reliable

i didn't see

[cinder zephyr]

My experience is that students more often than not were unable to tell me in English what they themselves had written

And so they couldn't even think about their own work

[latent edge]

Yeah that's troublesome

[cinder zephyr]

It's just logical shorthand for communicating ideas

[wooden falcon]

I agree this is dumb. The best math exposition uses a good balance of human language and symbols. Overloading on the symbols can make things a lot harder to read.

[cinder zephyr]

So you should be able to translate the symbols to words and vice versa

[wooden falcon]

But yeah this is important too

[cinder zephyr]

No different than being able to translate pseudocode to actual code and vice versa

[latent edge]

Now all cs majors have the impression math is just logic symbols overloading

[cinder zephyr]

If that's their impression that's more an issue with the course

[cinder zephyr]

Cause you shouldn't spend more than like a week on this

Only when first teaching these symbols really (along with basic logic)

[latent edge]

It is an issue with the course as well yeah

[wooden falcon]

your comment was perfect and illustrates the issue exactly lol

[latent edge]

I'm not sure it's a common pattern in discrete math courses

[wooden falcon]

Well for basic truth table stuff sure. And due to LEM this does capture the essentials of how people will use these things.

But logic can definitely get more complicated than a week being necessary. If someone is learning it for the first time. There’s a good reason CS majors generally have to take a logic course.

[cinder zephyr]

I just meant like a week on learning the symbols and being able to translate them from English to symbols and vice versa

Not the whole field of logic

[jaunty ibex]

I never liked discrete math courses ngl

They feel like a pile of different stuff all stuffed together to create this abomination

[wooden falcon]

Oh

yeah a lecture or two and a homework should be all that’s needed

[wooden falcon]

Well one unifying bit is it’s basically the stuff one needs to do basic algorithm analysis. A pure mathematician may be horrified to hear that explanation though.

[cinder zephyr]

I think that's a fine explanation

Do I count as pure?

lol

[wooden falcon]

pure vs applied vs not mathematician are not always clear dividing boundaries

you are probably one of those cases

[cinder zephyr]

I hope so, I'm trying to apply for a computing fellowship at OSU lol

[latent edge]

There's a reason why cs students that go to discrete math 2 do really bad overall. It's taught be a cs prof and he goes over graph theory mostly. We have a course on graph theory taught by a math prof but that one is more of an optional course for all majors. Usually the trend is if you take the graph theory class then discrete math 2 then you do really good

[cinder zephyr]

Which is more so intended for the applied people but like

TCS plz