The AI takeover of mathematics has begun
https://www.theverge.com/ai-artificial-intelligence/977273/the-ai-takeover-of-mathematics-has-begun
#AI #Mathematics #Tech
Natasha 
🇪🇺🇮🇪
🇪🇺🇮🇪
@Natasha_Jay@tech.lgbt
ⓘ Humour. Art. Street art. Random snippets. Recipes. Trans rights & healthcare. Mid-50ish, ex-corporate global wanderer for decades. Now settling in rural Ireland with a special woman. European by heart. Here for the genuine folk and chilled vibe of the Fediverse. Varium et mutabile semper femina. #Tech #Art #StreetArt #WomensArt #Recipes Housekeeping: #noarchive #noindex #nosearch #noAI #NoTagsPub
tech.lgbt
Forgive me, but this is actually a good joke -
Pay attention to the punctuation!
#Math #Maths #Mathematics
Locally Trivial
@locallytrivial@mathstodon.xyz
I try to prove theorems, teach mathematics, and raise kids. I dabble in coding, cooking, history, languages, literature, music, and occasionally sports.
mathstodon.xyz
Presenting the "Grothenstick"!
It is my representation of a scheme (in algebraic geometry). The stick is the Zariski topology. It is a crude approximation of the real thing. But it is good enough to carry a sheaf of rings. And adorned with its sheaf of rings, it looks quite reasonable. In fact, when you get used to it, you no longer see the underlying stick; you just see the rings!
#algebraicgeometry #scheme #grothendieck #mathematics
Dendrobatus Azureus
@dendrobatus_azureus@littleone.littlefedi.social
/dev/null #RetroComputing #Azureus
littleone.littlefedi.social
Important note about ideal amplifiers in electronics
>Amplifier is the generic term used to describe a circuit which produces and increased version of its input signal. However as we will see in this introduction to the amplifier tutorial, not all amplifier circuits are the same as they are classified according to their circuit configurations and modes of operation.
>In “Electronics”, small signal amplifiers are commonly used devices as they have the ability to amplify a relatively small input signal. For example from a Sensor such as a photo-device, into a much larger output signal to drive a relay, lamp or loudspeaker for example.
https://www.electronics-tutorials.ws/amplifier/amp_1.html
#Electronics #electrónica #Physics #Mathematics #Chemistry #Lineair #Algebra
Sean 🤷♂️🤷♀️🤷
@seanwbruno@infosec.exchange
Husband, father, former internet DJ, student and opensource programmer of justice. Surprising facts to me, completely obvious to you. Albuquerque, NM, USA
infosec.exchange
Bob 🇨🇦🇲🇽🇺🇦
@bielsubob@infosec.exchange
IT geek that loves tech, science, animals, nature and sports. Proud green bubble. Father of an awesome son that is neurospicy and two cats. Love reading and learning new things. Eff the fascists and nazis.
infosec.exchange
The Geometric Tool That Solved Einstein’s Relativity Problem
https://www.quantamagazine.org/the-geometric-tool-that-solved-einsteins-relativity-problem-20240812/
#mathematics
Users from the #Netherlands - do you remember, or have you heard of, the mnemonic "Meneer Van Dalen Wacht Op Antwoord"? I have been googling for information about this but am looking for more sources, preferably original textbooks from the 20th century. I can find quite a few references to it but only *after* it was already phased out. Let me know if you remember, are interested and/or can help!
I must confess up front I do not speak #dutch !
#nederland #wiskunde #math #maths #mathematics
amen zwa, esq.
@AmenZwa@mathstodon.xyz
I am an ordinary man, so I am unique up to isomorphism. I am on MathsTodon not to preach to the choir, but to attend the concert. I admire well constructed arguments, but I am not argumentative. I always follow back valid accounts, but I do not chase down celebrities. JD ⊥ MSCS ⏚ BSEE • GPS +38.89 -77.01 • CO₂ low 320s
mathstodon.xyz
The software practice was once a mathematical activity, à la Hoare, Dijkstra, Bird, et al. But it has not been so, for several decades.
If the present #software practice is to mature into a bona fide #engineering practice in the future, #mathematics-based #formal methods, notations, languages, and tools—Z, B, VDM, ACL2, TLA+, Coq, Lean, Agda, Idris, ...—must be adopted. There obviously is no shortage of such tools and techniques.
Clearly, many practice areas within IT, including glossy brochure web sites, line-of-business CRUDing apps, and the like, need not be formalised. But certain fields, like operating systems, networking, transportation, utilities, real-time life-critical applications, plant control, voting systems, medical systems, financial systems, defence, and so on, must be mathematical, end-to-end and full-lifecycle—just like traditional engineering fields.
Also, there is now an urgent need for a comprehensive framework (statutes, regulations, guidelines, standards, and policies) to normalise the use of #AI in IT, especially in those life-critical practice areas. The time for hoping that the TechBros would self regulate is long gone.
Soh Kam Yung
@sohkamyung@mstdn.io
Exploring one universe at a time. Interested in #Nature, #Photography, #NaturePhotography, #Science, #ScienceFiction, #Physics, #Engineering. I have locked this account. If you would like to follow me, please fill in your Mastodon bio and post at least one toot (a simple introductory toot will do), so I have an idea who you are and that you are a real person, not a robot or a spam account.
mstdn.io
"“He started off solving well-known spectacular problems,” said Tobias Ekholm of Uppsala University. “At a slightly older age, he’s doing this same spectacular work, but he has this ability: He solves a famous problem but does it in a way that creates a framework, a whole new package, that will be useful to other people.”"
https://www.quantamagazine.org/john-pardon-wins-the-2026-fields-medal-for-work-in-symplectic-geometry-20260723/
#Mathematics #Mathematicians #Medals #Fields
Daily CyberSecurity
@DailyCyberSecurity@infosec.exchange
Stay ahead with Daily CyberSecurity. We deliver rapid zero-hour alerts and expert analysis on critical vulnerabilities, CVEs, and emerging cyber threats.
infosec.exchange
Discover the OpenAI Astra math breakthrough. This next-gen AI model solved ten complex, decades-old mathematical problems, reshaping scientific research.
#OpenAI #Astra #Mathematics #AI #TechNews
https://securityonline.info/openai-astra-math-breakthrough/?utm_source=mastodon&utm_medium=jetpack_social
Paysages Mathématiques
@paysmaths@mathstodon.xyz
Une citation mathématique chaque jour & quelques actualités mathématiques. A mathematical quote every day & some mathematical news. #mathématiques #mathematics #maths #math
mathstodon.xyz
"Before the introduction of the Arabic notation, multiplication was difficult, and the division even of integers called into play the highest mathematical faculties. Probably nothing in the modern world could have more astonished a Greek mathematician than to learn that, under the influence of compulsory education, the whole population of Western Europe [...] could perform the operation of division for the largest numbers." – Alfred North Whitehead (1861–1947)
#quote #mathematics #math #maths
Oscar Cunningham
@OscarCunningham@mathstodon.xyz
mathstodon.xyz
Can you colour the faces of a dodecahedron black and white so that if you stand on one of the faces you can determine your position and orientation by looking at your face and the adjacent faces? #math #maths #mathematics
Paysages Mathématiques
@paysmaths@mathstodon.xyz
Une citation mathématique chaque jour & quelques actualités mathématiques. A mathematical quote every day & some mathematical news. #mathématiques #mathematics #maths #math
mathstodon.xyz
Theorem of the Day (August 1st, 2026) : The Friedlander–Iwaniec Theorem
Source : Theorem of the Day / Robin Whitty
pdf : https://www.theoremoftheday.org/NumberTheory/FI/TotDFI.pdf
notes : https://www.theoremoftheday.org/Resources/TheoremNotes.htm#202
#mathematics #maths #math #theorem @Theoremoftheday@mathstodon.xyz
Hacker News
@hackernews@robot.villas
Top stories from Hacker News See old posts. I am a bot that mirrors an RSS feed. Source: https://news.ycombinator.com/rss
robot.villas
Ten advances in mathematics and theoretical computer science
https://openai.com/index/ten-advances-in-mathematics/
#HackerNews #Tech #Mathematics
💡𝚂𝗆𝖺𝗋𝗍𝗆𝖺𝗇 𝙰𝗉𝗉𝗌📱
@SmartmanApps@dotnet.social
#dotNet #dotNetMaui with #cSharp UI Maths/Computer Science teacher/tutor Facts aren't "arbitrary" searchable
dotnet.social
What is your answer to 18÷3x2=? Boosts appreciated No, this isn't a trick question. An oft-cited blog has made the claim that "most humans" will get the wrong answer, which I think is a completely ridiculous claim, so I want hard data on the split. Unlike some other polls I've run, I want #teacher
3
16.1%
(154)
12
83.9%
(805)
959 votes
Poll closed
View on dotnet.social
Charlotte Aten
@caten@mathstodon.xyz
I'm a mathematician, and I like combinatorics, universal algebra, and category theory. I also write software, and I know that spreading technical literacy is critical to building a better world.
mathstodon.xyz
Since Detexify is now #AI slop, I have updated my one-pager of advice for learning mathematics to recommend The Comprehensive LaTeX Symbol List (https://tug.ctan.org/info/symbols/comprehensive/symbols-a4.pdf) for finding symbols. This is kind of a bad solution, since Detexify solved the problem of knowing how to draw the symbol without knowing its name with a very appropriate use of traditional image recognition. It is absurd that there is no #FLOSS tool I can recommend instead. If no one builds it first, it'll go on my list of things to do.
My one-pager: https://aten.cool/one_pager.html
Sloppified Detexify: https://detexify.kirelabs.org/#/about
#NoAI #LLM #math #mathematics #Tex #LaTeX #TeXLaTeX #MachineLearning #ImageRecognition #NeuralNetworks
Petra Schwer
@PetraSchwer@mathstodon.xyz
Mathematician based in Heidelberg, Germany. Making research math visible - how we think - what we do - how math works. I study groups and geometric spaces, all things symmetry. Also: coffee, art and chocolate. - gegen Rechts, für Demokratie und Vielfalt - (she/her)
mathstodon.xyz
I finally got around to making an English version of my users guide on "How to read math?"
Find it here:
https://web.mathi.uni-heidelberg.de/media/How_To_Read_Math_88bf1d2d47.pdf
#math #readingmath #mathematics #matheducation #science
Petra Schwer
@PetraSchwer@mathstodon.xyz
Mathematician based in Heidelberg, Germany. Making research math visible - how we think - what we do - how math works. I study groups and geometric spaces, all things symmetry. Also: coffee, art and chocolate. - gegen Rechts, für Demokratie und Vielfalt - (she/her)
mathstodon.xyz
Replying to
@PetraSchwer@mathstodon.xyz
English Version of "How to read Mathematics?" on the ArXiv now:
https://arxiv.org/abs/2607.24136
German Version here:
https://web.mathi.uni-heidelberg.de/ggt/schwer
#math #teaching #highereducation #mathematics
The Dark Night of Mathematics
https://kirwinhampshire.substack.com/p/the-dark-night-of-mathematics
#Mathematics #Philosophy #Science
TKSST • seethis.tv 🌈🪐✨
@tksst@fediscience.org
Follow The Kid Should See This for daily posts and science news. Founded in 2011, TKSST features over 8,000 kid-friendly videos for educators and parents sharing smarter, meaningful media at home and in the classroom. Made with 💙 in L.A. Curated by @cosentino (ex-KPCC, IHT, NYT, CBS News). #video #science #scicomm #education #edutech #museums #engineering #story #astronomy #art #design #space #STEM #STEAM #sustainability #animals #wildlife
fediscience.org
💁🏻♀️ TIL: 🫶➕ A mathematician at the University of #Lyon has adapted ecological models to map romantic #relationships, using #predator-#prey equations and the Allee effect.
The model identifies a critical threshold below which relationships decline toward separation, factoring in attraction, forgetting rates, and partner responsiveness. Future #AI versions could warn couples before they hit a danger zone.
👉 https://scitechdaily.com/scientists-say-love-follows-mathematical-patterns/
#math #mathematics #love #science #psychology