Top Tweets for #AIForMath
Thought‑provoking statement from 24 Fields Medalists. We cannot equate LLM benchmark performance with real‑world progress in mathematics. Corporate incentives and the intrinsic goals of mathematical research are fundamentally different.
#AIforMath #ScienceAndAI
24 Fields Medalists speak out against "A Severe Misalignment of AI in Mathematics"
https://t.co/rpcCm3bh6G
部分的なオンライン参加になりそうなので当日のスケジュール公表をドキドキしながら待っている👀🍩
すっごい聞きたいけど、ちょっと飛行機に乗る時間もあるかも…。
ソワソワ。
#AIforMath
【AI for Math 勉強会 第3回】
https://t.co/Wtgc9dlvIi
日時：2026年10月22日（木）
会場：東京, 東銀座
締切：2026年10月1日（木）
申し込み：https://t.co/vGHp8DcxBE
想定参加者：現在か未来に，数学の研究をする人
講演予定：小泉淳之介，関 真一朗，宮﨑弘安
✨ Conference wrap-up! ✨
This week, we gathered at the Mittag-Leffler Institute for Formalizing Higher Categories — a fantastic week of math, formalization, proof assistants, and collaboration. 🧠💻🚀
#HigherCategories #Formalization #ProofAssistants #AIForMath
(1/3)
第一回AI for Math勉強会、めっちゃ自由で熱気があっておもしろかったな〜〜 #aiformath
TIFR joins the #AIforMath Initiative, supported by Google DeepMind & https://t.co/IqUKRRDpXW, alongside Imperial, IHES, IAS & Simons Institute.
At TIFR, Hariharan Narayanan & Piyush Srivastava coordinate efforts to explore how AI can extend mathematical reasoning & discovery.
Together with @Googleorg, we’re introducing the AI for Math initiative, bringing together five prestigious research institutions pioneering the use of AI in mathematics. ⤵️
Breaking new ground: Today we along with @xtxmarkets announced $18M to supercharge the future of math + AI! Can’t wait to see how grantees of the AI for Math Fund drive new discoveries. #AIforMath
Learn more: https://t.co/DNNGGfM2Lq
Today @xtxmarkets and @RenPhil21 announce 29 grantees and $18M to accelerate the discovery of AI tools for mathematics — one of the largest philanthropic investments in AI+math to date.
Learn more and explore the projects: https://t.co/t87tdhRWpM
#AIforMath
Reviving DSP for advanced theorem proving in the era of reasoning models. ~ Chenrui Cao, Liangcheng Song, Zenan Li, Xinyi Le, Xian Zhang, Hui Xue, Fan Yang. https://t.co/FPW9WUftfm #AI #Math #AIforMath #LLMs #ITP #LeanProver
Reseña de «Hardest problems in mathematics, physics & the future of AI». https://t.co/MNwW8sKT7B #ITP #LeanProver #AI #Math #AIforMath
Hardest problems in mathematics, physics & the future of AI. ~ Terence Tao, Lex Fridman. https://t.co/UBNCExpNBQ #ITP #LeanProver #AI #Math #AIforMath
The abc conjecture almost always — autoformalized. ~ Jesse Michael Han et als. https://t.co/62X0eydcbi #Autoformalization #AIforMath #ITP #LeanProver
Trinity: an autoformalization system for verified superintelligence. https://t.co/Rtk7DNeUXO #Autoformalization #AIforMath #ITP #LeanProver
Mathesis: Towards formal theorem proving from natural languages. ~ Yu Xuejun et als. https://t.co/itxdLMrN4E #AI #LLMs #Math #ITP #LeanProver #AIforMath
Reseña de «MATP-BENCH: Can MLLM be a good automated theorem prover for multimodal problems?». https://t.co/uUqE3j5umj #AI #MLLMs #Math #ITP #IsabelleHOL #LeanProver #CoqProver #AIforMath
StepProof: Step-by-step verification of natural language mathematical proofs. ~ Xiaolin Hu, Qinghua Zhou, Bogdan Grechuk, Ivan Y. Tyukin. https://t.co/NCjobW0rOe #LLMs #ITP #IsabelleHOL #Math #AIforMath
Reseña de 'LeanTutor: A formally-verified AI tutor for mathematical proofs'. https://t.co/skyFB8s5fY #ITP #LeanProver #Math #AIforMath #Teaching
LeanTutor: A formally-verified AI tutor for mathematical proofs. ~ Manooshree Patel et als. https://t.co/rScT0M230D #ITP #LeanProver #Math #AIforMath #Teaching
Readings shared June 10, 2025. https://t.co/oJOVydi9K2 #AI #AIforMath #ATP #AlphaProof #Emacs #ITP #IsabelleHOL #LLMs #LeanProver #Math #Prover9
Last Seen Hashtags on Sotwe
ashwani
Seen from Italy
opfac
Seen from United States
TwitterOffice
Seen from United States
MorriganCoven
Seen from United States
minichat((((())))) * * filter:videos
Seen from Netherlands
BlueCauldron
Seen from United States
WetEmUpWednesdays
Seen from India
feetjob
Trudeauhaircut
Seen from United States
minichat filter:videos
Seen from Switzerland
Trends for you
Most Popular Users
Elon Musk 
@elonmusk
241.7M followers
Barack Obama
@barackobama
119M followers
Cristiano Ronaldo
@cristiano
114.5M followers
Donald J. Trump
@realdonaldtrump
111.9M followers
Narendra Modi
@narendramodi
107.2M followers
Rihanna
@rihanna
98.7M followers
NASA
@nasa
92.4M followers
Justin Bieber
@justinbieber
91.8M followers
KATY PERRY
@katyperry
90M followers
Taylor Swift
@taylorswift13
84M followers
Lady Gaga
@ladygaga
75.5M followers
Virat Kohli
@imvkohli
73.5M followers
Kim Kardashian
@kimkardashian
70.9M followers
YouTube
@youtube
68.8M followers
Neymar Jr
@neymarjr
66.5M followers
Bill Gates
@billgates
65.2M followers
Selena Gomez
@selenagomez
63.1M followers
The Ellen Show
@theellenshow
62.3M followers
CNN
@cnn
61.8M followers
X
@x
60.7M followers