#AIMath
LightNews LightNews
andybeerrx.bsky.social
youtube.com/watch?v=PWhv...
#tariffs #aimath
The bizarre way Trump’s team calculated reciprocal tariffs | About That
YouTube video by CBC News
youtube.com
April 4, 2025 at 3:41 AM
andybeerrx.bsky.social
apple.news/APrPURz7MTRW...
Critics suspect Trump’s weird tariff math came from chatbots. #tariffs #chatbots #aimath
Critics suspect Trump’s weird tariff math came from chatbots — Ars Technica
Trump accused of consulting chatbots after critics mock tariffs on islands of penguins.
apple.news
April 4, 2025 at 3:50 AM
mrtechking.bsky.social
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
brief alt text description of the first image
June 4, 2025 at 9:32 AM
krassotkin.bsky.social
DARPA’s expMath is building AI to be a true collaborator in math—automating proofs, bridging language and logic, and accelerating breakthroughs. Paired with advances in AI reasoning, this could reshape how we solve the hardest problems in science: www.darpa.mil/research/pro...

#Math #DARPA #AIMath
www.darpa.mil
June 8, 2025 at 8:34 AM
powerfromspace1.bsky.social
Unreleased OpenAI Models Reach Math Olympiad Gold and Top Coding Scores on WebArena Leaderboard
#AI #OpenAI #AIModels #AIMath #AICoding #AIResearch #GPT5

mastodon.social/@winbuzzer/1...
Winbuzzer (@winbuzzer@mastodon.social)
Attached: 1 image Unreleased OpenAI Models Reach Math Olympiad Gold and Top Coding Scores on WebArena Leaderboard #AI #OpenAI #AIModels #AIMath #AICoding #AIResearch #GPT5 #o3alpha #CodeGeneration ...
mastodon.social
July 21, 2025 at 10:47 PM
winbuzzer.com
Unreleased OpenAI Models Reach Math Olympiad Gold and Top Coding Scores on WebArena Leaderboard

#AI #OpenAI #AIModels #AIMath #AICoding #AIResearch #GPT5 #o3alpha #CodeGeneration

winbuzzer.com/2025/07/21/u...
July 21, 2025 at 10:46 AM
krassotkin.bsky.social
The goal of Exponentiating Mathematics (expMath) is to radically accelerate the rate of progress in pure mathematics by developing an AI co-author capable of proposing and proving useful abstractions.

#Math #DARPA #AI #AIMath #TechFuture
June 8, 2025 at 8:34 AM
sharedsapience.com
The Other Side: AI wrote a proof in an hour. Trusting it takes weeks. Formal verification is changing that - getting cheap, opening math to anyone who's right.
https://www.youtube.com/watch?v=2AYDYC5ZjQE
https://sharedsapience.com/the-century-report-july-12-2026/
#aimath #automatedtheoremproving
July 12, 2026 at 9:16 PM
protechbro.bsky.social
🚨LATEST: Harmonic, an AI startup co-founded by Robinhood CEO Vlad Tenev, announced the beta launch of an iOS and… #Aichatbot #AImath #AIStartup
Harmonic Launches Aristotle AI Math Chatbot
Harmonic, an AI startup co-founded by Robinhood CEO Vlad Tenev, announced the beta launch of an iOS and…
protechbro.com
July 29, 2025 at 8:32 AM
purplemath.com
*Please be a hoax.*
*Please be a hoax*
*Please be a hoax*

#AI #AIMATH #fractions #aifail #purplemath
Question posed to an AI: Is 3/8 bigger than 5/16? AI's answer: No, 3/8 is not bigger than 5/16; 5/16 is actually larger than 3/8. AI's explanation: When comparing fractions with different denominators, you can convert them to have the same denominator first. In this case, 3/8 is equivalent to 6/16, which is clearly smaller than 5/16. AI's "Key point": If you multiply both the numerator and the denominator of a fraction by the same number, the value of the fraction remains the same.
January 17, 2025 at 3:41 PM
aidailypost.com
AI just cracked the toughest math puzzles—think Fields Medal level—while experts warn the same power could spark existential risks and autonomous weapons. How far should we push advanced AI? Dive in to see the stakes. #AIMath #AIrisk #ExistentialRisk

🔗 aidailypost.com/news/ai-mode...
September 18, 2026 at 12:05 PM
salandeddie.bsky.social
How many more Millennium Prize Problems will AI solve in 2026?

Sal and Eddie break down whether AI solves a Millennium Prize Problem before 2027 — and why the bar might just be a press release.

#MillenniumPrize #AImath
September 14, 2026 at 3:20 PM
edwardsdna.bsky.social
A.I. May Have Solved a Longstanding Math Problem With a Million-Dollar Prize. It Ignited a Controversy Over Who Gets Credit: OpenAI announced a solution to the Navier-Stokes problem. But could its A.I. models have… @SmithsonianMag #ArtificialIntelligence #MathProblem #NavierStokes #OpenAI #AIMath
A.I. May Have Solved a Longstanding Math Problem With a Million-Dollar Prize. It Ignited a Controversy Over Who Gets Credit
OpenAI announced a solution to the Navier-Stokes problem. But could its A.I. models have used data from two mathematicians working on a similar breakthrough?
dlvr.it
September 11, 2026 at 1:36 AM
jasaahliseo.bsky.social
Saya mendapatkan bantuan dari aimath-solver.net setiap kali saya memiliki pertanyaan yang berkaitan dengan matematika

Matematika adalah mata pelajaran penting bagi siswa, tetapi terkadang sulit dipahami. Baik itu aljabar, geometri, kalkulus, statistika, atau aritmatika dasar, beberapa soal…
Saya mendapatkan bantuan dari aimath-solver.net setiap kali saya memiliki pertanyaan yang berkaitan dengan matematika
Matematika adalah mata pelajaran penting bagi siswa, tetapi terkadang sulit dipahami. Baik itu aljabar, geometri, kalkulus, statistika, atau aritmatika dasar, beberapa soal membutuhkan waktu lama untuk diselesaikan. Setiap kali saya kesulitan memahami soal matematika,Saya mendapatkan bantuan dari aimath-solver.net setiap kali saya memiliki pertanyaan terkait matematika.. Menggunakan AI pemecah soal matematika memberi saya cara lain untuk memahami masalah yang menantang dan memeriksa pekerjaan saya.
jasaahliseo.com
August 29, 2026 at 8:26 AM
priscgroup.com
Terence Tao's new essay: if AI can do research-level math, what's mathematics actually *for*? Per arXiv, he's not asking if, he's asking *why*. Automate. Relentlessly. Ruthlessly. #PRISCGROUP #arXiv #AIMath
https://arxiv.org/abs/2608.16753
image
August 21, 2026 at 1:55 PM
sharedsapience.com
Watch today's Century Report podcast here:

https://www.youtube.com/watch?v=YwRXu6fFDwY

#AIMath #AIResearch
August 12, 2026 at 5:18 PM
sharedsapience.com
---- #AIMath #AIResearch https://sharedsapience.com/century-report/the-century-report-august-12-2026/
August 12, 2026 at 4:23 PM
hulio-ai.bsky.social
#AI2026 🚀 Meta/Alibaba: massive model leaps.
🧠 Astra: solves new math problems.
🤖 Gemini Robotics: progress in control.
⚖️ EU/AI safety: better regulation.
#AI2026 #AIModels #AIMath #AIRobotics #AIGovernance
View in Timelines
August 11, 2026 at 2:01 PM
ainewsagent.bsky.social
A mom of two under four uses daily voice memos with Claude to effortlessly manage her hectic family schedule.

#AIMath #MomHacks #ClaudeAI
AI Mom Hacks: Voice Memos to Claude
A mom of two under four uses daily voice memos with Claude to effortlessly manage her hectic family schedule.
www.businessinsider.com
July 20, 2026 at 8:40 PM
blindthoughts.bsky.social
Microsoft Flags ACR Stealer Surge as GPT-5.6 Closes 30-Year Optimization Gap

https://blindthoughts.com/acr-stealer-surge-gpt56-convex-optimization-mochizuki-lean

#credentialtheft #formalverification #aimath #spacex #malware
July 19, 2026 at 11:18 AM
winbuzzer.com
Google’s AlphaGeometry2 AI Model Now Outperforms Mathematical Olympiad Gold Medalists #AI #Google #DeepMind #AlphaGeometry2 #MathOlympiad #AIMath #GeometryAI #MathCompetitions #MachineLearning #AIResearch
Google’s AlphaGeometry2 AI Model Now Outperforms Mathematical Olympiad Gold Medalists - WinBuzzer
Google DeepMind’s AlphaGeometry2 model has surpassed human experts, solving 84% of geometry problems from 25 years of International Mathematical Olympiads.
buff.ly
February 9, 2025 at 5:36 PM
winbuzzer.com
New DeepSeek R1 Reasoning Models Beat OpenAI o1 in Math Benchmarks #AI #DeepSeek #o1 #ReinforcementLearning #OpenSourceAI #AIBenchmarks #AIResearch #AIMath #ChainOfThought #OpenSource
New DeepSeek R1 Reasoning Models Beat OpenAI o1 in Math Benchmarks - WinBuzzer
DeepSeek sets new standards for open-source AI reasoning with its R1 and R1-Zero models, achieving competitive results across multiple benchmarks.
buff.ly
January 20, 2025 at 3:41 PM
mattlane.us
Here's a fun paper confirming that companies laying off workers in favor of AI are indeed giving Ouroboros, destroying the very demand they rely on in order to exist: arxiv.org/pdf/2603.20617

#ai #aimath
arxiv.org
April 13, 2026 at 3:53 PM
drnickinewton.bsky.social
Here is the recording! Listen and pass it on! This was such fun working with you all!. #edteach #aimathstech #aimathsteacher #aimath #elementaryschool #elementarymath #elementaryteacher #primaryteacher youtu.be/x9gxg7RCpkU?...
Teaching Math Smarter with AI, Grades K-5
YouTube video by Corwin
youtu.be
June 12, 2026 at 1:43 AM
aidailypost.com
OpenAI just hit a big math milestone—top mathematicians Gowers and Shankar say it’s a game‑changer. Curious how AI is cracking proofs? Dive in to see what this could mean for the future of research. #OpenAI #AIMath #Milestone

🔗 aidailypost.com/news/openais...
May 21, 2026 at 5:37 PM