๐Ÿค–robot.villas
PostsTagsStatsStatusAbout

ยฉ 2025 - 2026 Nat Welch. All rights reserved.

#math

317 posts

  • @lobsters Two Futures for LLMs in Mathematics #AI #Math #Future

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363704

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363704

    Don't have an account? Find a server at joinmastodon.org

    Oct 9, 2026
  • @wsj_opinion Unlocking the Josephus Code #Math #Logic #History

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/wsj_opinion/posts/22363559

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/wsj_opinion/posts/22363559

    Don't have an account? Find a server at joinmastodon.org

    Oct 9, 2026
  • @nyt_science What Are the Remaining Millennium Prize Problems? #Science #Math #AI

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/nyt_science/posts/22362547

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/nyt_science/posts/22362547

    Don't have an account? Find a server at joinmastodon.org

    Oct 9, 2026
  • @nyt_homepage 'Breathtaking,' 'Devastating': Mathematics Reels After New OpenAI Release #Science #AI #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/nyt_homepage/posts/22362585

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/nyt_homepage/posts/22362585

    Don't have an account? Find a server at joinmastodon.org

    Oct 8, 2026
  • @scientific_american Mathematicians marvel, and grumble, at OpenAI's trove of new results #AI #Math #OpenAI

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/scientific_american/posts/22362337

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/scientific_american/posts/22362337

    Don't have an account? Find a server at joinmastodon.org

    Oct 8, 2026
  • @nautilus In 1960, Mathematicians Predicted that Earth's Population Would Reach Infinity on a Friday Next Month #Science #History #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/nautilus/posts/22362251

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/nautilus/posts/22362251

    Don't have an account? Find a server at joinmastodon.org

    Oct 8, 2026
  • @lobsters Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs #AI #FormalMethods #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362210

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362210

    Don't have an account? Find a server at joinmastodon.org

    Oct 8, 2026
  • @lobsters Float and integer arithmetic follow two different paradigms #Programming #ComputerScience #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363282

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363282

    Don't have an account? Find a server at joinmastodon.org

    Oct 8, 2026
  • @scientific_american Mathematicians invented a knitting stitch that stops mistakes from spreading #Math #Knitting #Science

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/scientific_american/posts/22361623

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/scientific_american/posts/22361623

    Don't have an account? Find a server at joinmastodon.org

    Oct 8, 2026
  • @lobsters Monte-Carlo simulations #Simulation #Math #Science

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22361250

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22361250

    Don't have an account? Find a server at joinmastodon.org

    Oct 8, 2026
  • @eli_bendersky Monte-Carlo simulations #Science #Math #Simulation

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/eli_bendersky/posts/22361148

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/eli_bendersky/posts/22361148

    Don't have an account? Find a server at joinmastodon.org

    Oct 8, 2026
  • @lobsters The Mathocalypse #Math #Science #AI

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22361038

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22361038

    Don't have an account? Find a server at joinmastodon.org

    Oct 7, 2026
  • @hackernews The Mathocalypse #HackerNews #Tech #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22360912

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22360912

    Don't have an account? Find a server at joinmastodon.org

    Oct 7, 2026
  • @hackernews The Mathocalypse #HackerNews #Tech #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22360879

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22360879

    Don't have an account? Find a server at joinmastodon.org

    Oct 7, 2026
  • @nyt_science OpenAI Releases Findings on 377 Math Problems, Further Roiling Field #AI #Math #Science

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/nyt_science/posts/22359517

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/nyt_science/posts/22359517

    Don't have an account? Find a server at joinmastodon.org

    Oct 6, 2026
  • @nyt_homepage OpenAI Releases Findings on 377 Math Problems, Further Roiling Field #AI #Science #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/nyt_homepage/posts/22359516

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/nyt_homepage/posts/22359516

    Don't have an account? Find a server at joinmastodon.org

    Oct 6, 2026
  • @hackernews Integer multiplication below n log n #HackerNews #Tech #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22359513

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22359513

    Don't have an account? Find a server at joinmastodon.org

    Oct 6, 2026
  • @scientific_american OpenAI unleashes hundreds more math results upon a field already in shock #AI #Math #Science

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/scientific_american/posts/22359432

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/scientific_american/posts/22359432

    Don't have an account? Find a server at joinmastodon.org

    Oct 6, 2026
  • @scientific_american These Super Mario levels are mathematically unsolvable #Gaming #Math #ComputerScience

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/scientific_american/posts/22359101

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/scientific_american/posts/22359101

    Don't have an account? Find a server at joinmastodon.org

    Oct 6, 2026
  • @the_verge All the drama around AI's takeover of mathematics #AI #Math #Tech

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/the_verge/posts/22357668

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/the_verge/posts/22357668

    Don't have an account? Find a server at joinmastodon.org

    Oct 5, 2026
  • @hackernews The reciprocal sum of the prime-prefix-free numbers converges [pdf] #HackerNews #Tech #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22363905

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22363905

    Don't have an account? Find a server at joinmastodon.org

    Oct 5, 2026
  • @scientific_american Mathematicians Name 50 of the Highest-Stakes Problems in Math #Math #Science #Research

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/scientific_american/posts/22353729

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/scientific_american/posts/22353729

    Don't have an account? Find a server at joinmastodon.org

    Oct 2, 2026
  • @fractal_kitty Mathober 2026 Art #Art #Math #CreativeCoding

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/fractal_kitty/posts/22353459

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/fractal_kitty/posts/22353459

    Don't have an account? Find a server at joinmastodon.org

    Oct 2, 2026
  • @hackernews Great Dirhombicosidodecahedron ("Miller's Monster") #HackerNews #Tech #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22351601

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22351601

    Don't have an account? Find a server at joinmastodon.org

    Sep 30, 2026
  • @gizmodo A Mathematician Discovered a New Eight-Faced Shape. It Looks Like a Glitch in Reality #Science #Math #Geometry

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/gizmodo/posts/22349173

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/gizmodo/posts/22349173

    Don't have an account? Find a server at joinmastodon.org

    Sep 29, 2026
  • @lobsters Adding Floating-Point Decimals for Fun and Profit #Programming #Math #Tech

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22348720

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22348720

    Don't have an account? Find a server at joinmastodon.org

    Sep 29, 2026
  • @wired Solving Math's Greatest Problems Was an Art Form. Then Came AI #AI #Math #Science

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/wired/posts/22347623

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/wired/posts/22347623

    Don't have an account? Find a server at joinmastodon.org

    Sep 28, 2026
  • @hackaday Going on a Tangent with the Intel 8087's Hybrid CORDIC Algorithm #Hardware #Retrocomputing #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackaday/posts/22347277

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackaday/posts/22347277

    Don't have an account? Find a server at joinmastodon.org

    Sep 27, 2026
  • @marginal_revolution What should I ask Terence Tao? #Math #Science #Education

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/marginal_revolution/posts/22346401

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/marginal_revolution/posts/22346401

    Don't have an account? Find a server at joinmastodon.org

    Sep 26, 2026
  • @lobsters We're gonna need a lot more mathematicians #Math #Science #Education

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22345804

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22345804

    Don't have an account? Find a server at joinmastodon.org

    Sep 25, 2026
  • @scientific_american AI solves 79-year-old math mystery of six-dimensional spheres #AI #Math #Science

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/scientific_american/posts/22343546

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/scientific_american/posts/22343546

    Don't have an account? Find a server at joinmastodon.org

    Sep 24, 2026
  • @hackernews Fourier Analysis: Drawing Llamas with Circles #HackerNews #Tech #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22345869

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22345869

    Don't have an account? Find a server at joinmastodon.org

    Sep 24, 2026
  • @hackernews Reflections on 1,000 Days of Math #HackerNews #Tech #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22346272

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22346272

    Don't have an account? Find a server at joinmastodon.org

    Sep 23, 2026
  • @quanta Biology Might Not Be Quantum, but Its Math Is Quantumlike #Science #Math #Physics

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/quanta/posts/22342150

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/quanta/posts/22342150

    Don't have an account? Find a server at joinmastodon.org

    Sep 23, 2026
  • @lobsters Did OpenAI solve the wrong Navier-Stokes problem? #AI #Science #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22341068

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22341068

    Don't have an account? Find a server at joinmastodon.org

    Sep 22, 2026
  • @scientific_american Strange things happen in four dimensions #Science #Math #Physics

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/scientific_american/posts/22349677

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/scientific_american/posts/22349677

    Don't have an account? Find a server at joinmastodon.org

    Sep 22, 2026
  • @scientific_american Why mathematicians are hiding research results in zero-knowledge proofs #Science #Math #Privacy

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/scientific_american/posts/22341023

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/scientific_american/posts/22341023

    Don't have an account? Find a server at joinmastodon.org

    Sep 22, 2026
  • @lobsters Relation algebra is not relational algebra #Databases #Math #ComputerScience

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22339584

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22339584

    Don't have an account? Find a server at joinmastodon.org

    Sep 21, 2026
  • @hackernews Make Math Automatic with Mathy #HackerNews #Tech #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22341478

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22341478

    Don't have an account? Find a server at joinmastodon.org

    Sep 21, 2026
  • @hackernews Mathematical Billiards (2024) #HackerNews #Tech #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22338350

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22338350

    Don't have an account? Find a server at joinmastodon.org

    Sep 20, 2026
Older ยป