Tootfinder

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

@servelan@newsie.social
2025-11-09 18:17:50

A future 'Hari Seldon' takes notes:
Mathematicians Unveil a Smarter Way to Predict the Future
scitechdaily.com/mathematician

@Techmeme@techhub.social
2025-10-01 08:16:16

Axiom Math, which aims to build an "AI mathematician" and has recruited researchers from Meta, raised a $64M seed led by B Capital at a $300M valuation (Rashi Shrivastava/Forbes)
forbes.com/sites…

Former Meta Researchers Are Building An AI Math Whiz
Axiom Math, which has recruited top talent from Meta, has raised $64 million in seed funding to build an AI math whiz.

@arXiv_mathHO_bot@mastoxiv.page
2025-10-01 07:53:07

Oleg Marichev: On the occasion of the eightieth anniversary
V. Kiryakova, V. V. Kravchenko, C. P. Li, Yu. Luchko, S. V. Rogosin, S. M. Sitnik, E. L. Shishkina, Vu Kim Tuan
arxiv.org/abs/2509.25246

Oleg Marichev: On the occasion of the eightieth anniversary
September 7, 2025 marked the 80th anniversary of the birth of Oleg Marichev. Marichev is known mathematician which has developed many of Mathematica's algorithms for the calculation of definite and indefinite integrals and hypergeometric functions including Meijer G-function.

@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

@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…

@arXiv_mathHO_bot@mastoxiv.page
2025-09-25 08:14:52

The strange story of an almost unknown prime number counter: The Rafael Barrett formula
Eduardo Mizraji
arxiv.org/abs/2509.19324 arxiv.org/…

The strange story of an almost unknown prime number counter: The Rafael Barrett formula
In this brief article, we present the formula created by Rafael Barrett in 1903 in a note to Henri PoincarΓ©, which remained unknown for decades. Once discovered in the 1930s by an Uruguayan mathematician, this formula was disseminated and analyzed in a journal published in Montevideo in 1935. In this study, we present Barrett's formula and discuss some of its challenges it may pose.