Archimedes trapped pi between polygons inside and outside a circle. Every time you double the sides, the gap shrinks.
https://youtube.com/shorts/bXd4Kh18_XQ
#Pi #Archimedes #Mathematics
@hydromo.bsky.social
@hydromo.bsky.socialArchimedes trapped pi between polygons inside and outside a circle. Every time you double the sides, the gap shrinks.
https://youtube.com/shorts/bXd4Kh18_XQ
#Pi #Archimedes #Mathematics
@numstep.bsky.socialTime to exercise those grey cells. https://numstep.app #criticalthinking #quiz #mathematics
@acepathng.bsky.socialSpot the trap: evaluate log₂ 8 + log₂ 4
Pause and comment A, B, C or D before the answer appears 👇
Practise 20 free questions a day: link in the reply.
AI-generated narration.
@mathify-dev.bsky.socialA 7/8 Wall Is Not the Riemann Hypothesis
@aasforum.bsky.socialTerence Tao on the race after Yitang Zhang's proof: within 3 days a blog post cut the 70 million bound to 65 million, then 54.
Full talk: https://www.youtube.com/watch?v=TtOMM8HrT64
@mathify-dev.bsky.socialWhy 722 Manuscripts Are Not Yet Mathematical Understanding
OpenAI’s October 2026 mathematics release contains 722 manuscripts arranged into 372 families of related results.
@acepathng.bsky.socialSpot the trap: simplify 2³ × 2⁴
Pause and comment A, B, C or D before the answer appears 👇
Practise 20 free questions a day: link in the reply.
@mathify-dev.bsky.socialWhen Proof Production Outruns Mathematical Understanding
OpenAI’s October 2026 mathematics release contains 722 manuscripts organized into 372 families of related results.
@mathify-dev.bsky.socialThe Three-Hour Question Behind OpenAI’s Math Release
OpenAI’s October 2026 release contains 722 manuscripts organized into 372 families of related mathematical results—not 722 unrelated breakthroughs.
@mathify-dev.bsky.socialWhen AI Produces Proofs Without the Mathematical Trail
OpenAI’s October 2026 mathematics release contains 722 manuscripts grouped into 372 related result families.
@mathify-dev.bsky.socialWhat Lean-Verified Actually Settles in OpenAI’s Math Release
In OpenAI’s October 2026 mathematics release, many of the 722 manuscripts come with Lean formalizations.
@mathify-dev.bsky.socialWhat Does Lean-Verified Actually Mean?
In OpenAI’s October 2026 mathematics release, 722 manuscripts are grouped into 372 families of related results. Many, but not all, come with Lean formalizations.
@mathify-dev.bsky.social372 Result Families, and More Proofs Than Humans Can Read
@bigbigmooooo.bsky.socialthis is what my dser usr2 can do. its a reaction duffusion engine.
#physics
#science
#cybernetics
#mathematics
#engineering
#art
#history
@mathify-dev.bsky.socialA Set Can Have Zero Volume and Still Be Full-Dimensional
A Kakeya set must contain a unit-length needle pointing in every direction.
@mathify-dev.bsky.socialHow One Arithmetic Sum Creates a 7/8 Zero-Free Wall
Follow for the equations hiding behind the news.
@mathify-dev.bsky.social722 Manuscripts, 372 Families—and a Verification Bottleneck
Follow for the equations hiding behind the news.
#mathematics #formalverification #lean #artificialintelligence
@mathify-dev.bsky.social722 Manuscripts, 372 Families—and a Verification Bottleneck
Follow for the equations hiding behind the news.
#mathematics #formalverification #lean #artificialintelligence
@mathify-dev.bsky.socialHow the Bootstrap Turns Physics Into Elimination
Follow for the equations hiding behind the news.
#theoreticalphysics #scatteringamplitudes #quantumfieldtheory #mathematics
@jcponcemath.bsky.social#p5js version of "Have a donut" by Andy Sloane from 2006.
www.a1k0n.net/2006/09/15/o...
www.patreon.com/jcponce/post...
#linear #algebra #rotations #projections #geometry #mathematics