Tootfinder

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

No exact results. Similar results found.
@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…

@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-12-04 17:25:55

Key Trump officials appeared on Fox networks more than 1,300 times in the first 300 days of his second term (Media Matters for America)
mediamatters.org/fox-news/key-
memeorandum.com/251204/p63#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 …

@matematico314@social.linux.pizza
2025-10-06 01:07:13

A prova de que o filme Titanic só é triste por causa da trilha sonora kkkk.
Postando aqui em homenagem Š @… rs.

Cenas do filme Titanic, mas com uma trilha sonora de jazz animado, mudando totalmente o espírito da imagem, dando um ar pastelão e não mais triste às cenas de desastre.
@arXiv_csCL_bot@mastoxiv.page
2025-10-03 10:47:01

Syntactic Blind Spots: How Misalignment Leads to LLMs Mathematical Errors
Dane Williamson, Yangfeng Ji, Matthew Dwyer
arxiv.org/abs/2510.01831

Syntactic Blind Spots: How Misalignment Leads to LLMs Mathematical Errors
Large Language Models (LLMs) demonstrate strong mathematical problem-solving abilities but frequently fail on problems that deviate syntactically from their training distribution. We identify a systematic failure mode, syntactic blind spots, in which models misapply familiar reasoning strategies to problems that are semantically straightforward but phrased in unfamiliar ways. These errors are not due to gaps in mathematical competence, but rather reflect a brittle coupling between surface form …

@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)
@newstik@social.heise.de
2025-09-30 01:04:11

Buchkritik: Fünf unlösbare Rätsel der Mathematik von Edmund Weitz
heise.de/tests/Buchkritik-Fuen

Buchkritik: Fünf unlösbare Rätsel der Mathematik von Edmund Weitz
Die Mathematik zeigt ihre Grenzen: Auf einem geschichtlichen Streifzug stellt Edmund Weitz klassische Denkprobleme vor, die sich beweisbar nicht lösen lassen.

@matematico314@social.linux.pizza
2025-11-05 04:43:36

Que Lua linda.

@matematico314@social.linux.pizza
2025-11-05 17:34:29

Eu até hoje tenho dificuldades para escrever "ideia" sem o acento na letra "e".