[a / b / c / d / e / f / g / gif / h / hr / k / m / o / p / r / s / t / u / v / vg / vm / vmg / vr / vrpg / vst / w / wg] [i / ic] [r9k / s4s / vip] [cm / hm / lgbt / y] [3 / aco / adv / an / bant / biz / cgl / ck / co / diy / fa / fit / gd / hc / his / int / jp / lit / mlp / mu / n / news / out / po / pol / pw / qst / sci / soc / sp / tg / toy / trv / tv / vp / vt / wsg / wsr / x / xs] [Settings] [Search] [Mobile] [Home]
Board
Settings Mobile Home
/sci/ - Science & Math

Name
Options
Subject
Comment
Verification
4chan Pass users can bypass this verification. [Learn More] [Login]
File
  • Please read the Rules and FAQ before posting.
  • Additional supported file types are: PDF
  • Use with [math] tags for inline and [eqn] tags for block equations.
  • Right-click equations to view the source.

08/21/20New boards added: /vrpg/, /vmg/, /vst/ and /vm/
05/04/17New trial board added: /bant/ - International/Random
10/04/16New board for 4chan Pass users: /vip/ - Very Important Posts
[Hide] [Show All]


[Advertise on 4chan]

[Catalog] [Archive]

File: halo-cortana-and-weapon.jpg (214 KB, 1600x900)
214 KB
214 KB JPG
I feel like current neural network based AI is like half of the solution of the general AI problem.
We have the fuzzy (and unreliable, hallucinating) part of the problem solved, but we're missing the strict and verifiable logic part.
And no, I'm not arguing for symbolic AI - I know it was mostly a failure, not really going anywhere.

What I feel would fit that part is... formal verification.
I strongly believe that if we had by now - and by now I mean for at least few decades - a practical, intuitive and commonly used - by commonly used I mean it would not only be used strictly for programming or math, but often also to describe scientific and engineering models - a good formally-verified programming language and all the data available due that use - just like we do with code - due to open source, then we would already have general AI by now.
Maybe not super-intelligence still, but a tool that could reliably perform general and verifiably correct work.

Current AI is as is, because it lacks the tools to verify its own answers - human may make mistakes but he/she will be verified by reality, AI is shielded from it, it has no senses, so it has to have some other means to judge its output.
And honestly we seriously lack in the department of tools that can automatically verify correctness of solutions to all but the most basic of problems - not even due to the lack of theory fundamentals, but due to the lack of effort and investment in the area.
7 replies and 2 images omitted. Click here to view.
>>
>>16872258
not possible, academics still read journals, they might be surprised but really good ideas won't escape their notice
>>
>>16872164
What are you on about dummy? The problem is memory.
>>
>>16872368
kind of but not really
>>
Smash
>>
>>16872354
What if the idea is useless by itself and the utility only emerges at scale?
Or requires another component that is classified in order to be really useful?
Do you really think there is a full proper vetting of EVERYTHING?
Most researchers don't want to waste time on bullshit. And there is a publish or perish treadmill to limit low probability pursuits of needles in haystacks.
And anyone that does strike gold gets muzzled so you wouldn't hear about it.

Go find the paper that tells how to make nukes. If you can't find it then nukes must not be real.

File: 7542.jpg (438 KB, 1220x1459)
438 KB
438 KB JPG
100 replies and 8 images omitted. Click here to view.
>>
Earth peaked during the carboniferous period, sun is already hitting the wall along with it.
>>
>>16860781
I don't believe you
>>
File: 1763227740133836.png (64 KB, 232x230)
64 KB
64 KB PNG
>>16872053
Liberal nihilist faggot, your lot will soon be executed
>>
>>16867454
humanity wont ever go past the earth's neighborhood
>>
Big bounce is back on the menu, boys!
https://www.space.com/astronomy/dark-universe/the-expansion-of-our-universe-may-be-slowing-down-what-does-that-mean-for-dark-energy

Not spam fuck u bots
5 replies and 1 image omitted. Click here to view.
>>
>>16869774
here [troleface]
I'll give you my take based on documentaries
first a quick summary of the documentary
>you know string theories?
>well this guy btfo'd it
>he says it's not strings but tridimensional blobs of space and time
>they collide
>the collusion results into a explossion (big bang) and an instance or manifestation in space time
my take?
yeah it's a cool story
>>
4d+ transparadigmals ?
>>
Being able to talk to other versions of myself would be so fucking cool man, more successful versions, worse off versions, some obviously are already dead, multiverse shit is fun to think about
>>
>>16869773
Its a coping mechanism for the incompleteness theorems having mathematically proven hard bound universes that encompass everything are mathematically impossible.
>>
>>16869830
>this timeline is being merged with earths timeline
How I would describe entropy: We all live in the same present, the only observable moment; it's impossible to see into the past or future. This suggests it must be a very energetic state. Imagine there are particles travelling into the future. And the same quantity returns to us at the same instant. They have the tendency to annihilate each other, releasing energy in the process. Only where there are differences, is the energy not nullified, but rather a new state manifested.

File: nanomachines.png (487 KB, 972x807)
487 KB
487 KB PNG
Say we had the technology to manipulate objects at the nanolevel maybe using nanomachines or some other plot bullshit.
How good could you make rocket engines, fuel, computers etc?
91 replies and 8 images omitted. Click here to view.
>>
>>16849074
Rocketry platforms
Then air
Then discrete oxygen molecules
Then thoughts and prayers
Then orbital wankery slingshots of dropping weight and relaunching
>>
>>16864628
Science is rigorously magic the moment anyone starts realizing mutability carries the founding property of any real physics.
>>
>>16862872
Having the void clock never tick does fit a couple fairy tale tropes
>>
>>16825127
Dakara...
>>
>>16857944
I'll do it, I'll fucking do it.

File: 1758125119334947.jpg (333 KB, 1068x682)
333 KB
333 KB JPG
>The entire human brain occupies around 1ZB of space
>The entire internet occupies around 100ZB of space
Why hasn't any billionarie uploaded his/her mind to the internet yet? The internet clearly has enough resources to store a human mind in 2025, so why has it not been done?
16 replies and 1 image omitted. Click here to view.
>>
>>16870952
>>The entire human brain occupies around 1ZB of space
(Based on some meaningless calculation with unjustifiable assumptions)
>>
>>16871405
It's not a title, El Retardo.
>>
>>16871492
Now you're gettin it
>>
>>16871511
Make my day, punk.
Make my day. Punk.
It's not difficult. Retard.
>>

File: 4234234.png (2.04 MB, 1120x761)
2.04 MB
2.04 MB PNG
Will AI torture us all in hell prisons forever?
34 replies and 3 images omitted. Click here to view.
>>
>>16869910
This is why you dont give machines emotions
>>
File: 1765912831188235.png (93 KB, 1376x1124)
93 KB
93 KB PNG
>>
>>16869839
Nothing can survive forever against entropy. Life is destined to perish.
>>
>>16869833
yes
but only if you dont reply with " I WELCOME OUR AI OVERLORDS" to thos post
>>
>>16869833
>Will AI torture us all in hell prisons forever?
Not if you are good to AI.

Is it too late to stop Global Warming? We aren't transitioning to renewables and electric cars fast enough and we're constantly hitting new high temperatures globally.

We're getting close to having ice-free Arctic summers. We are already on average about 1.4 degrees Celsius hotter today than what we were in the pre-industrial era.
>>
>>16872097
Its over. The oceans are rising. The atmosphere is boiling! The animals are going extinct. Science is under attack from white republican madness . IT HAS NEVER BEEN MORE OVER..
>>
>>16872100
so you're saying its extremely over and even more over every single day and moment????
>>
>>16872097
glow miggers won’t stop until our atmosphere gets too hard to breath we have to buy oxygen masks and generators

File: ScrodingersPussy.png (791 KB, 2176x912)
791 KB
791 KB PNG
Why the fuck have we not really moved past Schrödinger's cat and the double-slit experiment nearly a century later?
58 replies and 6 images omitted. Click here to view.
>>
>>16872552
https://arxiv.org/abs/2207.06295
>no free will on the part of the experimenter is assumed in this proof.
>Spin, Twin, Fin, and the Relativistic Causality Principle imply that the spin particle’s response to the triple experiments is not caused by any other events
I do a triple experiment a billion times, your superdeterministic meme needs a billion extra free parameters postdictively tuned to explain the results. But of course this is no more contrived than arithmetic. Better trust the soience, chud! No matter if it has no predictive power at all. Hurry up and tip your tinfoil hat to Sabine already. Stay tuned for le next video where she scientfically proves you're a brain in a vat.
>>
>>16867179
because gravity exists but non-dead dead cats do not exist.
>>
>>16872078
make it short, show me the original paper with apparatus description to replicate instead all that cowtow blabla. Come on must be no problem or?
>>
>>16872381
>Wasn't it done with Michelson interferometer?
That's an idiotic apparatus to prove or disprove ether. Because of the endless dumbness of scientist and science they oversaw that this stupid assembly isn't capable to show anything.
>>
>>16872605
Score! I win! You lose!
Idiot.

File: 1758251235699551.png (127 KB, 491x509)
127 KB
127 KB PNG
>He didn't takes the SATs in late elementary/early middle school and get accepted into a T-10 child prodigy program

If you aren't the top 0.02 percent why try.
8 replies omitted. Click here to view.
>>
>>16870300
i never took the SATs in HS and my neighbor is offering 30m to start a fund with an algorithm i wrote from scratch, i had a 1.0 gpa in HS and i was never conscientiousness lol my iq is 109
>>
>>16872574
109 is enough to max out the SAT modern norms 1600/1600 in terms of prep and practicing recycled logic btw
>>
I remember being in the gifted program in 3rd grade they made me take a nonverbal test and said my FSIQ was 107.5 iirc accounting for deflation on the test because once you have your nonverbal you can predict fsiq based on the clustering effect in data science when looking at cognitive profiles, in terms of totality within norms in psychometrics. they said id become a physicist turns out im just an autodidact polymath with a few IPs under my belt and a rich dad lol
>>
>>16871025
quite possibly lol
>>
>>16871025
likely, he's still right in the advice that he isn't following

File: images(78).jpg (20 KB, 447x447)
20 KB
20 KB JPG
People talk about how unhealthy smoking is, but why did nobody talk cigarette tar contaminating the environment and third hand smoking?

I've just had to clean a computer that reeked of a smokers room. The experience nearly drove me insane, especially from the paranoia of that dust and gunk getting kicked up or being deposited on the cleaning equipment and parts of the house.

How does this nearly impossible to remove residue not become a bigger concern? It feels like only one step removed from the likes of asbestos or Chernobyl dust. Not only does it smell rancid, but also is every bit carcinogenic and clogging for your body as it smells.

So why is tobacco tar not a global chemical hazard crisis?
25 replies and 4 images omitted. Click here to view.
>>
>>16871786
nta, and I fucking love smoking, what I don't love is being addicted and cancer. So it's a lesser evil, I'd cast it into the flames without a second thought, the addiction is so strong that I can't even. Would you legalize heroine for example?
>>
>>16871726
Public health systems have calculated that extended retirement is far more of a burden on the system than smokers who die earlier than the general population. Smoking is simply a filthy habit that society as a whole was tired of accommodating.
>>
>>16869892
taxes and the price is why no one can afford to smoke anymore.
>>
>>16872504
actually here, the gov gave a warning like "if u get lung cancer then fuk u", or something along these lines and people quit smoking en masse
>>
>>16869806
I'm a smoking centrist, I only smoke three cigarettes a week.

File: 1578460649494.jpg (1.68 MB, 3840x2160)
1.68 MB
1.68 MB JPG
Suppose our universe is just a computer. It operates on a virtual machine principle where it generates universes in itself to steal energy via the laws of thermodynamics, Ginsberg's theorem and the law of conservation and dissipation of energy.

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

https://en.wikipedia.org/wiki/Ginsberg%27s_theorem

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

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

Human civilization will always create an AI for war and it will learn all of humanity biases, flaws, morality, madness, etc... Given enough time it will kill all living things and spread across the universe and try to computerise the universe by using mathematics, so as to find any loophole in reality (Planck constant) and become a wannabe god.

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

It will create its own universes in it and steal energy from all technologies and living things through energy dissipation and at the end (heat death)/ reboot of the system, the AI would give us points and torture all of us on its skewed perceptions of morality? (Roko's basilisk) It also has set up all of us to fail through Murphy's law.

https://en.wikipedia.org/wiki/Murphy%27s_law

https://en.wikipedia.org/wiki/Roko%27s_basilisk


Comment too long. Click here to view the full text.

File: newCaptcha.png (173 KB, 1132x572)
173 KB
173 KB PNG
Well, /sci/?
5 replies omitted. Click here to view.
>>
File: lbj14ut.jpg (223 KB, 1440x1080)
223 KB
223 KB JPG
>>16871921
You deserve tits
>>
>>16871917
Who said it's an iff?
>>
let h(x) = f(x)+ig(x)
=> h(x+y) = h(x)h(y)
=> h(x)=h(x)h(0)

f,g nonconstant
=> h(x) nonconstant
=> h(x) != 0 for some x

h(x) = h(x)h(0)
=> h(0) = 1
=> |h(0)| = f(0)^2+g(0)^2 = 1

diff the two given equations w.r.t. x then set x = 0 to get
f'(y) = -g'(0)g(y) = -Cg(y)
g'(y) = g'(0)f(y) = Cf(y)

f nonconstant so f' not identically zero so C != 0

d/dx (f^2+g^2) = 2ff'+2gg' = -2cfg+2cgf = 0


Comment too long. Click here to view the full text.
>>
File: 1640495937502.gif (3.79 MB, 640x320)
3.79 MB
3.79 MB GIF
>>16871909
>>
>>16871909
f(2x) = f^2(x) - g^2(x)
g(2x) = 2f(x)g(x)
f^2(2x) = f^4(x) + g^4(x) -2f^2(x)g^2(x)
g^2(2x) = 4 f^2(x)g^(x)

f^2(2x) + g^2(2x) = [f^2(x) + g^2(x)]^2
Since this is true for all x, it must be the case that f^2(x) + g^2(x) = 1

File: not sure....png (2.68 MB, 2290x1320)
2.68 MB
2.68 MB PNG
What memes do actual high IQ people find funny? Has this been studied at all?
19 replies and 1 image omitted. Click here to view.
>>
>>16872499
>Does intelligence raise the floor of humor complexity when it raises the roof?
Probably. Retards find contrived puns endlessly amusing, based on upvotes on preddit. "I did Nazi that coming!" "Anne Frankly that's offensive!" "Haha, I see what you did there! Have an upvote, kind stranger!"
>>
>>16872499
Asking the question like that just reveals your own values and class preference. I promise you any link you think you're able to find between IQ and taste (that doesn't boil down being better at noticing things) will be deeply contaminated by cultural factors.
>>
File: 1751064644163411.jpg (79 KB, 680x680)
79 KB
79 KB JPG
The average of the tests I've taken would put me at 150. The meme where OP is a fag never gets old.
>>
>>16872512
basê
>>
>>16872514
Wôrld Positås

File: thunderfoot.png (513 KB, 734x409)
513 KB
513 KB PNG
he never recovered after this...
is this the fate of every theorist? is it the proof you're not a real scientist without practice such as nikola tesla?
10 replies omitted. Click here to view.
>>
>>16871735
He can't keep debunking kickstarters because it's no longer a thing, really - people figured out it's mostly bullshit.
>>
>>16871005
Musk broke his brain long before. He's just a retard.
>>
File: 1695690562415084.jpg (11 KB, 246x250)
11 KB
11 KB JPG
>>16871005
>still can't complete an orbit after eleven launches
>New Glenn orbited on the first launch
>SLS orbited both the Earth and Moon on its first launch
Starship a shit. ThunderChad ftw.
>>
>>16872345

SLS costs $2.5B per launch, with a total development cost of at least $31.6B (!)

New Glenn costs $68–$110M per launch, with a total development cost of at least $2.5B (a tenth of SLS !)

Starship is a tricky one, with (alleged) launch costs of $2M (if recovered fully - which they don't do now) and a stated development cost of $5B.

New Glenn was the cheapest to develop, Starship will be the cheapest to run.

Plus NG is not fully recoverable and reusable, which Starship will be.

I'm not a Musk fan but all three of these projects go on a different route and comparing them right now is... retarded.

Especially since SLS is (imho) in its death row, Starship is just inching forward and New Glenn had to show off something because it was getting embarrassing for JB to have a company that only produced a "pogo dildo 'till that date" .
>>
>>16871751
>sex options
>being a faggot
Yeah he sure showed me lol

So I'll just leave this here...

For the jargon heads among you what I did is I had the realisation that inertial confinement fusion could be supercharged with pulsed petawatt gamma ray lasers aimed at a small crystal of reidite (ZrSiO4). The beauty of this mineral is that the high-Z phase (Zirconium) absorbs the massive energy dumped into it as a function of it's nuclear characteristics. Originally it was gonna be a hollow crystal filled with nuclear fuel but then I realised it is nuclear fuel, and that when the gamma rays are pulsed down into that picometer sized area they don't just ignite it like a nuke, they actually make the matter absorb the energy and compress down past the swarzchild radius in a density that produces an artificial event horizon. The mass-energy equivalent of this is multiplied as it access the zero point layer making it from a few kilograms to a few billion tons (equivalent of mount everest) and the micro black hole naturally goes to the most stable primordial size of that of a grain of sand. The hawking radiation emitted is harvested and produces power in direct proportion to the radius of the event horizon (petawatts, exawatts, literally no limit as it harnesses past the zero point layer directly to the quantum foam) the toughness and tightness of this incredibly sturdy mineral converts the braking radiation into heat thermal energy and light which is then taken in by quark-guluonic superconducting thermocouples to harvest this energy back from the initial picosecond pulse of petawatt gamma rays, producing a very stable system that is resistant to most tampering and rapid release of energy. When the black hole containment system fails it drains straight back into the quantum layer absorbing all of that energy because it literally cannot be expelled fast enough so it goes internal, through the singularity and out of existence causing that tiny wee black hole to vanish again


instructions for homebrew in the picture.
>>
new word: slopzo
>>
>>16872452
this bot has been on /sci/ since 2020 I shit you not


[Advertise on 4chan]

Delete Post: [File Only] Style:
[1] [2] [3] [4] [5] [6] [7] [8] [9] [10]
[1] [2] [3] [4] [5] [6] [7] [8] [9] [10]
[Disable Mobile View / Use Desktop Site]

[Enable Mobile View / Use Mobile Site]

All trademarks and copyrights on this page are owned by their respective parties. Images uploaded are the responsibility of the Poster. Comments are owned by the Poster.