#math and discovery

[theimaginationstationpodcast]

The Number Knights: A Math Adventure for Kids! 🦁🐰🦓🐒 | Fun Learning Story for Ages 4-8

Join Leo the Lion, Luna the Rabbit, Zara the Zebra, and Monty the Monkey—the brave Number Knights—on an epic quest to save their magical kingdom, Calculasia! When the evil Lord Oblivion steals the Golden Equation, the source of all math magic, the friends must solve puzzles, crack codes, and use their math skills to restore balance. From counting rivers to shape-swamp rescues, this adventure is…

[spirkbitch]

(Didn’t include tas since it’s pretty much just tos but animated)

Put in the tags what you think your job/role would be too (because I think it would be fun)

[secret-sageent]

Craziest thing I ever realised is that I actually don’t hate math, in fact I have my math class in an hour and I am so excited, BUT I lived my entire life surrounded by people who hate math and I copy other people’s actions to pretend I know how to Human so I gaslit myself into thinking I hate math

[gil-estel]

wow I wonder what could have happened around 2013 to cause this

[bookworm-1196]

Me : alright I’ll spend the afternoon reading on ao3 to clear out my “Marked for later” fics !

Me : lemme set a reasonable goal. Last time I remember checking, I had 4 pages of fics marked for later so let’s try to bring it back down to 3

Me : *reads 9 fics*

Me : ok! Let’s see how many there are left to read !

Me : wdym there are 17 fics left for me to read before clearing out the 4th page-

[projectdivaar]

ohh my god w8 i luv learning

[priceforeverything]

Hoping to get some stuff done this week but we’ll see if I get buried.

[weepylucifer]

started watching the new disco. oh i'm gonna miss it so much i am fucking devastated that this is their last season. has discovery frequently had its issues? yes. but at the very least i have never once been bored. i have always wanted to see where they are going with all this

[histrynerdss]

(topic) nerd x (different topic) nerd gives me life

[rivenantiqnerd]

I love women in stem

do YOU 🫵 love women in stem??

[bridgeoverstrawberryfields]

Should’ve known I was an INTP when everything situational goes through a “how does this make my brain feel” or “how will this affect my ability to think” filter.

[quillheel]

// dynamic tag dump!!!!! @fiilemade @gravesung more will be made later for More dynamics but for now, woe upon ye!!

━ ♔ The fear in its eyes; gone out in an instant / Your tear caught the light: the earth from a distance. ━ KOTONE&RYOJI: fiilemade

━ ♔ My sheltered heart begins to break & fall apart / Your smile is brighter than the most relentless sun. ━ KOTONE/AKIHIKO: fiilemade

━ ♔ The memory hurts; but does me no harm : (Your hand in my pocket / to keep us both warm) ━ KOTONE/SHINJI: fiilemade

━ ♔ intangible & sweet; sick with simple math & shy discoveries / piled up against our impending defeat ━ KOTONE&YUKI: fiilemade

━ ♔ Its okay its okay I say : & just like that; she turns into a monster / Theres nobody to show up and save the day ━ SEPH/MIWA: gravesung

━ ♔ It's all for you on that vague border between good and bad : (you played the fool for me) ━ GETO/SUKUNA: gravesung

━ ♔ I believe that you believe that you're an angel / Nowhere to rise; everywhere to fall. ━ KEON/GETO: gravesung

━ ♔ your father's blood will be your blood : until you're both rotting in the ground. ━ SAKURA&SUKUNA: gravesung

[frank-olivier]

Mathematics in the Age of Automation: Navigating the Opportunities and Challenges of AI

The convergence of Artificial Intelligence and mathematics, exemplified by the Alpha Proof project, heralds a transformative era for the field, yet its full potential remains contingent upon addressing inherent challenges. A recent conversation with key contributors provided invaluable insights into the application of AI in mathematical reasoning, proof verification, and discovery.

Alpha Proof's architectural lineage from Alpha Zero underscores the viability of Reinforcement Learning in navigating the vast mathematical search space, as evidenced by its solutions to a subset of International Mathematical Olympiad problems. However, the project's true transformative potential lies not merely in its problem-solving prowess, but in its capacity to facilitate collaborative mathematics by automating proof verification, thereby freeing human mathematicians to pursue more abstract and innovative endeavors.

A significant impediment to the widespread adoption of such AI tools is their inaccessibility to the broader mathematical community. The development of intuitive interfaces and educational resources, particularly in formal proof systems like Lean, is crucial for democratizing access to these technologies. By doing so, not only can the collaboration between humans and AI be enhanced, but also personalized learning experiences can be offered, thereby bridging the gap between computational mathematics and traditional mathematical practices.

The symbiotic relationship between human creativity and AI capabilities emerges as a pivotal theme. While AI excels in the structured realm of theorem-proving, human ingenuity remains indispensable in the more ephemeral domain of theory-building, where the selection of problems and the formulation of novel questions dictate the trajectory of mathematical progress. This dichotomy suggests a future where AI augments human capabilities, enabling a deeper exploration of mathematical truths, while humans continue to drive the creative impetus behind theoretical advancements.

Google's DeepMind's AlphaProof Team (No Priors, November 2024)

Friday, November 15, 2024

[dearreader-12]

I've discovered two important women in STEM today!

Emmy Noether who was an outstanding mathematician who doesn't get enough credit for the work she did for the world of math and physics! She is the reason why in physics you learn that momentum is conserved for isolated systems, she discovered that!

Stephanie Kwolek who was the main inventor for Kevlar armor by finding the chemical compound that makes up the material of the armor. She also contributed to helping invent Spandex!

Imagine how many more achievements are still undiscovered to this day that could change the world as we know it. And now, women are more likely to be allowed to be involved in those discoveries! Shoot for the stars everyone, maybe you could be the one to discover something groundbreaking!

[danielnelsen]

sometime a year or so ago i was making playlists for anders, handers, and da2 in general so i decided to chuck them all together into one. gotta update it but in the meantime..

[rabbitindisguise]

today I learned (from reading my SSI award letter no less) that I clinically am out here seeing without comprehending. My visual processing is so absolutely garbage it made it to the front page of "why lav is disabled." No wonder I can't play baseball, I have can't fucking read disease I guess even though I'm literate. Why did no one tell me this?? I even read my reports kdjfhgkfdjgh god damn psychiatric reporting laws

literally this gif

it's why I don't rely on my eyes at all but hot damn