Top Tweets for #AI4Math
Just type it in Isabelle! AI agents drafting, mechanizing, and generalizing from human hints. ~ Kevin Kappelmann, Maximilian Schäffeler, Lukas Stevens, Mohammad Abdulaziz, Andrei Popescu, Dmitriy Traytel. https://t.co/4cC7B18Nng #AI4Math #IsabelleHOL #ITP
Lean-GAP: A dataset of formalized graduate algebra problems. ~ Seewoo Lee et als. https://t.co/vxYdel5i7w #AI4Math #Autoformalization #LeanProver #ITP
Mathematicians say 'don't believe hype' on AI capabilities. ~ Andrew Zinin. https://t.co/H9Y64kSZcU #AI4Math
Mathematicians issue Leiden Declaration on AI proof rules. ~ Marcus Schuler. https://t.co/YZqUBnJKvB #AI4Math
A new declaration warns AI could threaten the foundations of mathematics. ~ Gayoung Lee. https://t.co/wtzC6Pb8ZC #AI4Math
Mathematicians warn of AI threats to profession as industry encroaches. ~ Jeremy Hsu. https://t.co/hkiqNP5gkx #AI4Math
A formal proof of the Ramanujan-Nagell theorem in Lean 4. ~ Barinder S. Banwait. https://t.co/xTMV9B9iXw #LeanProver #ITP #AI4Math
Leiden declaration on artificial intelligence and mathematics. https://t.co/feTQo19edy #AI4Math
TorchLean: 신경망을 Lean 4 안에서 명세하고 실행하며 검증하는 통합 프레임워크
(by 9bow님)
https://t.co/ntyDMEiMXM
#paper #neuralnetwork #ai4math #theoremproving #formalverification #lean4 #torchlean
A brief guide to autoformalization in mathematical physics. ~ James Squires. https://t.co/rDuqObr40c #AI4Math #LeanProver #Autoformalization
Readings shared May 29, 2026. https://t.co/2c0ZsMXqHM #AI4Math #CoqProver #ITP #IsabelleHOL #LeanProver #Logic #Math
Formalizing mathematics at scale. ~ Ahmad Rammal, Niket Patel, Fabian Gloeckle, Amaury Hayat, Julia Kempe, Remi Munos, Charles Arnal, Vivien Cabannes. https://t.co/ZkAQqMuDUg #AI4Math #LeanProver #ITP
Keep the proof state live: Snapshotting for efficient tactic search in Lean 4. https://t.co/Gl31M6CwH8 ~ Austin Shen, Yunong Shi. #AI4Math #LeanProver
Readings shared May 24, 2026. https://t.co/11EEmjcsfI #AI4Math #ATP #ITP #LeanProver #Math #RocqProver
Reseña de «Advancing mathematics research with AI-driven formal proof search». https://t.co/2ioNr4m6I3 #AI4Math #LeanProver
Advancing mathematics research with AI-driven formal proof search. ~ George Tsoukalas et als. https://t.co/oNHc6DXFuz #AI4Math #LeanProver
The verification problem. ~ Alexander R. Korbonits. https://t.co/vn7nT2QUJg #AI4Math
Putnam 2025 problems in Rocq using Opus 4.6 and Rocq-MCP. ~ Guillaume Baudart, Marc Lelarge, Tristan Stérin, Jules Viennot. https://t.co/UJbkSfEV7m #AI4Math #RocqProver
Last Seen Hashtags on Sotwe
Most Popular Users
Elon Musk 
@elonmusk
240.1M followers
Barack Obama
@barackobama
119.3M followers
Donald J. Trump
@realdonaldtrump
111.6M followers
Cristiano Ronaldo
@cristiano
108.7M followers
Narendra Modi
@narendramodi
106.9M followers
Rihanna
@rihanna
97.2M followers
NASA
@nasa
92.1M followers
Justin Bieber
@justinbieber
90.5M followers
KATY PERRY
@katyperry
86.7M followers
Taylor Swift
@taylorswift13
80.5M followers
Lady Gaga
@ladygaga
72.1M followers
Kim Kardashian
@kimkardashian
69.3M followers
YouTube
@youtube
68.6M followers
Virat Kohli
@imvkohli
68.4M followers
Bill Gates
@billgates
63.3M followers
The Ellen Show
@theellenshow
62.5M followers
CNN
@cnn
61.9M followers
Neymar Jr
@neymarjr
60.9M followers
X
@x
60.9M followers
CNN Breaking News
@cnnbrk
59.9M followers