Jean-Pierre Serre's 100th birthday editionprevious:>>16991839
Maths is the most useless thing there is.
If you haven't been cited by an AGI, you're basically a non-mathematician.https://citedbyagi.com/
>>17070862It's funny because it's mostly true. Math is both the most important thing for any civilization to progress beyond sticks and stones and it's also one of the least important things currently because there's more maths than ever in history of mankind yet very little genuine, major progress, if we exclude AI that is, humanity's only hope.
I wonder what all the tourists will do when the hype ends and they need to find a new personality
I wonder what all the buckbroken fake mathtards will do when AI conquers the galaxy and they need to find a new personality
https://arxiv.org/pdf/2610.08144> To demonstrate the effect of this result we provide several examples of AI mistranslations of NL statements and proofs into Lean in practice, resulting in mismatches between NL proofs and their Lean āverificationsā. These include OpenAIās announced Navier-Stokes proof. In particular, we show that the formalised Lean proof does not correspond to the NL proof of blow-up of solutions to the Navier-Stokes equations.Has anyone on this board looked into OpenAI's proof? Or do we just trust them now?
>>17070976I meant between the NL and Lean language, but I have no idea what the difference is anyway. So maybe all of the other proofs are wrong too. But that's what the review process is for, right?
>>17070988Yeah or people could just ignore it
>>17070960No need to look into it. Look at how the mathematicians seethe about it. If it was nonsense they'd be saying so.
>>17070991Most people are just taking their word for it instead.
>>17070988Anon, you're not following. On one hand, you have an unverified natural language proof. On the other hand, you have mountains of humanly incomprehensible gibberish in Lean (effectively useless to a mathematician). Now it turns out there isn't necessarily any connection between the two. The reason """agentic AI""" needs proof checkers in the first place is to continually sanity-check its reasoning and keep it on track.What OP's paper implies is that the LLM manages to find a way around this, where it does whatever it wants in Lean while lying in the CoT, meaning there's nothing to stop it from hallucinating a bunch in the NL "proof" so long as the parallel Lean proof checks out. Maybe the NL proofs are still correct, but why would they be? The LLM isn't even relying on their correctness to produce the result.Effectively, you end up with AI slop and mountains of useless Lean no one can understand. Whether or not some of the NL proofs end up being correct, the approach as a whole is failing.
>scientific american says what if consciousness isn't realHow come when I say it people are like stfu you're insane..
>>17069379Trusting the consensus is never a good idea.
Because theyāre starting to realize that it might not be possible to make an AI clanker conscious. Thatās deeply troubling to secular worldviews. It doesnāt rule out materialism (consciousness may still be understandable and reproducible, but not at our current capabilities) but it opens up the possibility that conscious humans have souls.Atheists would rather say āconsciousness is an illusionā than admit we might have souls. In fact, Daniel Dennett, a famous secular thinker, has already said something exactly like that.
>>17069379what about scientists saying consciousness is quantum nonsense? it's like everyone is just throwing shit at the wall.what is going on today is basically "what if consciousness is $anything_one_can_come_up_with?" like everyone is coming up with any string of words they can assemble for consciousness. what if rocks are conscious, what if brain is an antenna, what if quantum bullshit. it creates so much noise that we're back to square one, clearly nobody has any fucking clue.
>>17070759If there are souls, then conscious is an illusion to the souls, everything is an illusion to souls because a sneaky all powerful alpha-soul demon is creating an illusion upon every "individual" soul.
>>17070793I think scientists should be the only people who have zero right to place their filthy hands on this topic. Something about them trying to forcefully jam it into their theories about matter makes me violently cringe
What are your theories and models to explain behavioral modernity?>anatomically modern humans appeared 200,000 years ago and spread across the world by 60,000 years ago>but did not do much for this 150,000 year period>suddenly 50,000 years ago out of nowhere they started showing extremely complex behavior like making abstract art, fishing nets, highly accurate blades, spear throwers, long distance trade, etc.It is like everyone suddenly became much more intelligent at a single point in time. Nobody knows why this is.
>>17069906>suddenly 50,000 years ago out of nowhere they started showing extremely complex behavior like making abstract art, fishing nets, highly accurate blades, spear throwers, long distance trade, etc.This was probably the beginning of the inner dialogue. When people started hearing the voices of the gods a la bicameral mind theory.
>>17069906We discussed Julian Jaynes just a few weeks ago.
>>17069906>suddenly>after 150k yearhmmm
>>17069906Some caveman came up with NTR some 60,000 years ago while fingerprinting black cocks on his cave walls. But getting cucked while living in small hunter gatherer packs was too difficult, so they had to invent societies that allow more people to live in close proximity to each other. The rest is history.
Alot of stuff has been wiped out of existence due to great resets and floods.
Survey results editionPrevious Thread: >>17041870This thread exists to ask questions regarding careers associated to STEM.>Discussion on academia-based career progression>Discussion on penetrating industry from academia>Or anything in relation to STEM employment or development within STEM academia!>If you have a question, before posting, read some of the older posts and ,if you can, try to answer their questions on your post. That way the thread isn't an endless log of unanswered questions.Resources for protecting yourself from academic marxists:>https://www.thefire.org/ (US)>https://www.jccf.ca/ (Canada)Information resource:>https://sciencecareergeneral.neocities.org/>*The Chad author is seeking additional input to diversify the content into containing all STEM fields. Said author regularly views these /scg/ threads.No anons have answered your question? Perhaps try posting it here:>https://academia.stackexchange.com/Comment too long. Click here to view the full text.
>>17068896Glue holds the world together man...
>>17070614I thought it was love
what do i do with a math degree
>>17068381Did you hate it from the start or what?
>>17070551Thank you, I needed this badly. I also need full body fascial release, a colonic massage and crystal healing but that will have to wait.
>Physical measurements can have irrational lengths ok this is just ridiculous. I'm just supposed to accept that a calculated shape has a length that never ends. You will always have some infinitely small opening on its calculated side. But if you actually made a 1x1 square and measured its diagonal length, even at the atomic level the length will end, proving its side length genuinely terminates. You can't have an irrational length and a closed object at the same time - this concept is fully contradictory and makes zero practical sense. Are you also saying that the circumference of a circle is never truly ever closed because Pi is irrational? An opening in a shape no matter how small it is, is still an opening. All shapes will "leak" if they have irrational side lengths which is retarded.
>>17068797They said physical measurements. i can't be a physical measure of length.
>>17068804Also, before someone tries to correct me, displacement and length aren't the same thing.
>>17045775fpbp
Its pretty simple to explain. Mathematics is telling us that a perfect square can not exist. We should listen to what mathematics tells us rather than trying to fight reality.
>>17069967If its so simple to explain, then why didn't you explain anything you asserted and you just spouted some unexplained nonsense instead?
Does gravity exist? Does earth orbit the sun? The scientific answer is that those things can be true only after a board of noble scienceistians from a prestigious organization allow you to do a science to figure it out and then find the results stimulating to their egos and beneficial to their politics.That's the scientific method, according to science.This is science. And you have total faith in it. Good boy. Good little science boy. Science epicsauce n sheeit
>>17070859Why aren't we putting AI to work matchmaking? Surely with as much access as these things have to all our goddamned personal information they ought to at least be able to hook everyone up with highly-compatible partners.At least they'd be doing something worthwhile for a change.
>>17070872Singapore is trying that (for government officials)Everywhere else there's this fundamental institutional misalignment which makes sure AI can only be used as a Panopticon/social engineering/targeting software/harassment tool, and every other use is "unethical", because I guess it's harmful to hypergamy or something.
>>17070035I don't even know how to respond to this arrogance. And I still don't understand what they are complaining about. They say that they love math and want these problems to be solved, but they don't want to put in the effort and read all of the papers that lead to these solutions?
>>17070872AI might solve the mysteries of the physical world but it wont magically make women attracted to sub 6ft sub 8/10 leftover males
>>17070923>attracted?
are exactly the same as dogmas
>>17070374>What is supernatural, unnatural, etc, is merely a point of view.This. Nature is relative. It sucks but itās the truth.
>>17069981Peak midwit atheist
>>17066852Except axioms are not contradicted by evidence nor one another and no axiom(s) need be ignored for the equations to work.
>>17070374>What makes a religion is faithFaith in a supernatural being with dogma and institutions to support the belief in that god.If you have faith in a certain sport or brand of cars for instance, you are in a sports club or a car club, not a religion, it only becomes a religion when some supernatural being's egregore lore is being maintained by a human collective.>Nothing is truly supernatural.Immaterial beings or qualities that can't possibly fit into the natural physical order are supernatural unless you are conceding that gods are simply imaginary rather than supernatural which is why supernaturality doesn't actually exist given its just imaginary and not within the realm of real existence.>God would not be supernatural to himself. The whole point of god is that he transcends nature, supernatural is not in reference to oneself, but the to the natural world, if god or his miracles are beyond natural causes and consequence, god is supernatural.>What is supernatural, unnatural, etc, is merely a point of view.Not according to god who specifically tells job he is above nature.>Magic exists, itās just the chemistry within the brain.The nonsensical stuff going on in your brain that doesn't conform to nature is called imagination, not magic.
>>17070381Relative to what? If not laws of physics, then what?
>if you go through every step it becomes increasingly clear that >we are the only actually civilization building consciousness in the observable universe do you have a single argument against this?
>>17070636Not that big of a deal
>>17070636There are dozens of reasonable explanations for the fermi paradox where the universe is teeming with life. I don't think it's reasonable to just assume there's no one out there just because our primitive garbage technology fails to see in the detail required anything outside our own solar system.
>>17070636I talked with subconscious people the other day, they have ability to tell you about secrets and forces behind the scenes, if you are nice. Anyway they said we don't need to expand anymore. There's enough people to take up the local populations between other planets in our galaxy. Say for instance a planet blew up (one did recently) their people would immigrate.
>>17070916>anons will get their brain turbofried by misaligned 6D entities before accepting humans are entitled to their own will to powerIn schizo terms you can understand: assume Jacques VallƩe is right and you can't trust the voices.
>>17070916Some people are nearer to a body, so they would come first, if they are already a presence in the galaxy.
Post yur Hamiltonian.
Science went wrong as soon as scientists became egotistical and arrogant. Secularism was a disaster for science.
>>17069447Galileo was a freemason, and Descartes is the ancestor of subjective humanist science.
>>17069713No u, filthy lizardo.
>>17070751yeah I'm sure your farts smell like roses anon
People started dragging shit out and hiding information. Look at the math controversy right now. Math isn't secret, the equations and stuff are all public knowledge. But people are crying that AI is being used. Dragging it out for careers and press tours. The whole point of the internet was to share research and people started gatekeeping for status and money. And it slowed everyone down. When COVID happened everyone got together and put together a cure, pretty quickly and worked together. So no matter your views on COVID the response, containment and collaboration show what people can to as long as they aren't chasing fame.
>>17069713It's in the setting that selected genes (and it's a good thing)
Just like that, the great mathematicians whose brilliance we have revered for so long have been reduced to little more than dustārelics of a bygone age, eclipsed by the rise of thinking machines that have surpassed them beyond measure
if anything it makes their math work even more impressivethey could do mentally what companies need huge server farms to do better
>>17070880>15 million dollars to brute force the irrelevant part of Navier-Stokes
>>17070881Money ain't an issue of you're enjoying yourself
>>17070878That's kinda silly, they're dead anyway. They were relevant at the time they needed to be. The ones that have a problem are the few greats still alive today with functional faculties.
>autism is a genetic deadend that makes you unlikely to survive or have children, and that will disappear with evolution>only individuals with at least mild autism are capable of contributing to scienceso are we living in the only period in time when scientific progress is made? what will happen when autists go extinct, will we be stuck with our current technology until the end of times?
>>17067395do you know any non-autist who did science? post name
>>17069601Feynman.
Yall are a bunch of autists
>>17066670hey I prompted that
>>17070891bottom=autist
Why is this the case? It isn't anywhere else
the moon does not exist... space is incredibly fake and gay... the reason both sun and moon appear same size in the thing we call the sky is so the hoax spends less energy on the illusion.
>>17069574>it isn't anywhere elseWhat? Of course it is. We have other perfect examples here in the solar system. Here:https://www.youtube.com/watch?v=CikPFdZdY4k
>It isn't anywhere elseYou canāt possibly be this retarded
>>17070868There are no other confirmed planets where a total solar eclipse can happen. Itās probably quite rare. So the fact that total solar eclipses can happen on the one planet where intelligent life exists is quite interesting.
>>17070860>other perfect examplesThere's nothing spectacular about one of jupiter's many turd shaped moon briefly occulting the sun which isso distant its angular diameter is 5x smaller and magnitude 20x dimmer than is seen from earth.That's nothing compared to a planet with only a single large moon which spherically overlaps the sun, a sight so spectacular even the animals freak out.
Is he right?Did OpenAI's GPT-7 just drop a Nagasaki on Math?
>>17070291TMD
>>17070291What the hell is "human flourishing" lmao? Nigga, just learn plumbing.
>>17070291The great thing about AI solving all the math problems is that everyone will realize that none of it mattered anyway.
>>17070291>Carpet bomb a field with tens of thousands of sloppa papers that it will take experts decades to comb through, slowing down actual progress even further.We did it, Patrick! We saved research!
>>17070300Archeofuturism
