Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@sauer_lauwarm@mastodon.social
2025-10-07 05:47:00

Was dieser Fall zeigt: dass Mathematiker*innen im Team besser (bzw. schneller) sind, und dass KI-Bots auf präzisen Fragestellungen vernünftige und hilfreiche Antworten geben können, was man erkennt, wenn man sie überprüfen kann.

Der weltbeste Mathematiker fragte für ein ungelöstes Problem erfolgreich ChatGPT
Mithilfe präziser Fragen an die KI konnte Tao eine Hypothese aus der Zahlentheorie bestätigen. Auch Mathematik-Begeisterte auf Onlineplattformen halfen mit

@SmartmanApps@dotnet.social
2025-12-05 10:46:34

Blocked by yet another dude I proved wrong with #Mathematics 🙄 and a self-proclaimed "Mathematician" no less. It's incredible how people can't deal with finding out they were wrong... just learn from it and move on, seriously. It's not that hard!
BTW here is the proof he couldn't handle

💡𝚂𝗆𝖺𝗋𝗍𝗆𝖺𝗇 𝙰𝗉𝗉𝗌📱 (@smartmanapps.bsky.social)
And here's an inductive proof (which is a formal proof method) (1) show true for a=1 1+b=b+1 subtract 1 both sides b=b true (2) assume true for a=n n+b=b+n (3) show true for a=n+1 n+1+b=b+n+1 subtract 1 both sides n+b=b+n true by (2) thus holds for all values of a

@memeorandum@universeodon.com
2025-11-06 17:25:59

It took big Democratic wins for right-wing media to admit that the affordability crisis is getting worse (Zachary Pleat/Media Matters for America)
mediamatters.org/fox-news/it-t
memeorandum.com/251106/p66#a25

@phpmacher@sueden.social
2025-11-05 17:11:57

Auch nach all den Jahren habe ich noch immer nicht verstanden, warum die Lautstärketasten am #iPhone nur die #Medienwiedergabe steuern und nicht den #Klingelton
Ja ich weiß, es gibt da einen …

@deprogrammaticaipsum@mas.to
2026-01-04 14:54:53

"Christopher Bishop’s 2006 book “Pattern Recognition and Machine Learning,” arguably one of the triggers of the current popularity of machine learning, is quite literally a book about applied mathematics, diving into probabilities, linear algebra, neural networks, Markov models, and combinatorics. And rightfully so; if your objective is to find a job as an engineer at OpenAI, knowing a thing or two about eigenvalues and eigenvectors is definitely going to be useful."

In Praise Of Mathematics
How much math knowledge does a programmer need to know to fulfill their job? How deep should the mathematical knowledge of full-stack engineers, computer security experts, or large language model engineers be? The spectrum of possible answers to these questions is too large to be useful. Perhaps the eternal answer "it depends" is enough?

@Techmeme@techhub.social
2025-12-04 12:50:52

University of Virginia professor Ken Ono, one of the world's most prominent mathematicians, joins AI startup Axiom Math, which is building an "AI mathematician" (Ben Cohen/Wall Street Journal)
wsj.com/tech/ai/math-ken-ono…

@kexpmusicbot@mastodonapp.uk
2026-01-03 10:44:44

🇺🇦 #NowPlaying on KEXP's #MechanicalBreakdown
Medio Mutante:
🎵 Frozen Cities
#MedioMutante
mediomutante.bandcamp.com/trac
open.spotify.com/track/3TVdpQy

@matematico314@social.linux.pizza
2026-01-05 03:20:44

Este incêndio não foi tão pequeno quanto eu achei que tinha sido não. Foram dois mortos. 😮
social.linux.pizza/@matematico

@todbot@mastodon.social
2025-12-05 18:23:47

But what *IS* the Matrix?
Oh. okay. nevermind.

screenshot of a section of the Matrix page on Wikipedia showing a 2x3 real matrix labeled A: https://en.wikipedia.org/wiki/Matrix_(mathematics)
@kexpmusicbot@mastodonapp.uk
2026-01-03 22:02:53

🇺🇦 #NowPlaying on KEXP's #VarietyMix
MADMADMAD:
🎵 Hey!
#MADMADMAD
lajungle.bandcamp.com/track/ma
open.spotify.com/track/5Q8ECWI