Top Tweets for #AI4math
Formalizing numerical analysis: an agent pipeline and quality audit beyond kernel acceptance. ~ Theodore Meek, Siyuan Ge, Di Qiu Xiang, Simon Chess, Vasily Ilin. https://t.co/DDO1DSRUe4 #AI4Math #LeanProver #ITP
Pythagoras-Prover: Advancing efficient formal proving via augmented Lean formalisation. ~ Joshua Ong Jun Leang, Zheng Zhao, Mihaela Cătălina Stoian, Qiyuan Xu, Haonan Li, Wenda Li, Shay B. Cohen, Eleonora Giunchiglia. https://t.co/bQmvJL33bE #AI4Math #LeanProver #ITP
AI scores a ‘C–’ on its hardest math test yet. ~ Joseph Howlett. https://t.co/oIq4c1dA9N #AI4Math
Artificial intelligence for mathematical reasoning: an integrated survey of language models, neuro-symbolic systems, and verified discovery. ~ Syed Rifat Raiyan, Mohsinul Kabir, Hasan Mahmud, Md Kamrul Hasan. https://t.co/iAREjc50MZ #AI4Math
Les mathématiciens se positionnent face à l’IA. ~ François Lassagne. https://t.co/COQbpELcMY #AI4Math
How Terry Tao became an evangelist for AI in math. ~ Kevin Hartnett. https://t.co/eai7xFSolY #AI4Math #LeanProver #ITP
A golden age of maths is dawning and mathematicians are freaking out. ~ Alex Wilkins. https://t.co/Iau9SLxxiJ #AI4Math
A problem of Andrews and Dhar on partitions. ~ Simon Mahns, Ken Ono, Jujian Zhang. https://t.co/ddF5q4OBBo #AI4Math #AxiomProver #LeanProver #ITP
DeepMind’s new AI found a strange new way to think. ~ Károly Zsolnai-Fehér. https://t.co/jtEWZGb5DD #AI4Math #LeanProver #ITP
Very interesting talk by @JaumedeDios at the @CRMatematica organized by @matdepuab.
"The goal of a PhD is to learn, papers are by-products" (my transcription)
cc @therfer #AI4math
Frontiers of AI for mathematical research. ~ Carina Hong. https://t.co/QxKUf1EBIK #AI4Math #LeanProver #ITP
Proof-Refactor: Refactoring generated formal proofs into modular artifacts. ~ Yiming Fu, Peixuan Liu, Zichen Wang, Kun Yuan. https://t.co/WPCvYUtg5v #AI4Math #LeanProver #ITP
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
Last Seen Hashtags on Sotwe
Most Popular Users
Elon Musk 
@elonmusk
240.3M followers
Barack Obama
@barackobama
119.2M followers
Donald J. Trump
@realdonaldtrump
111.6M followers
Cristiano Ronaldo
@cristiano
109.8M followers
Narendra Modi
@narendramodi
106.9M followers
Rihanna
@rihanna
97.5M followers
NASA
@nasa
92.1M followers
Justin Bieber
@justinbieber
90.7M followers
KATY PERRY
@katyperry
87.2M followers
Taylor Swift
@taylorswift13
81.1M followers
Lady Gaga
@ladygaga
72.6M followers
Kim Kardashian
@kimkardashian
69.6M followers
Virat Kohli
@imvkohli
69.2M followers
YouTube
@youtube
68.6M followers
Bill Gates
@billgates
63.6M followers
The Ellen Show
@theellenshow
62.5M followers
Neymar Jr
@neymarjr
61.9M followers
CNN
@cnn
61.9M followers
X
@x
60.9M followers
Selena Gomez
@selenagomez
60.3M followers