#aimath — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #aimath, aggregated by home.social.
-
AI systems now prove research-level mathematical theorems, but access divides along commercial lines. Stanford's Ravi Vakil used private DeepMind tools for proofs he's unsure he could have developed alone, while public AI floods journals with low-quality submissions. Harmonic's $1.45B valuation prices formal verification as the new moat. Academic mathematicians migrate to private labs as the capability gap widens.
-
AI systems now prove research-level mathematical theorems, but access divides along commercial lines. Stanford's Ravi Vakil used private DeepMind tools for proofs he's unsure he could have developed alone, while public AI floods journals with low-quality submissions. Harmonic's $1.45B valuation prices formal verification as the new moat. Academic mathematicians migrate to private labs as the capability gap widens.
-
Science news this week: Japan laser weapon trial, comet 3I/ATLAS bids farewell, and AI solves 'impossible' math problems
https://atlas.whatip.xyz/post.php?slug=science-news-this-week-japan-laser-weapon-trial-comet-3iatlas-bids-farewell-and-ai-solves-impossible-math-problems
"Unveiling the Cosmos: Laser Weapon Trials, Comet Farewells, and AI Triumphs!"
#space #astronomy #science #laserweapon #aimath -
LLMs are rapidly tackling high-level math and beyond. Is AI closing in on human mathematicians? DARPA's new expMath initiative aims to modernize this crucial field, often traditional, to speed up vital breakthroughs.
#AIMath #TechFuture #DARPA -
Google’s AlphaGeometry2 AI Model Now Outperforms Mathematical Olympiad Gold Medalists #AI #Google #DeepMind #AlphaGeometry2 #MathOlympiad #AIMath #GeometryAI #MathCompetitions #MachineLearning #AIResearch