Top Tweets for #firstPROOF
The second round of #FirstProof is underway. I don't have an entrant in this one, and I'm really interested to see the results! At the time of the first round four months ago, I was critical of the overhype around AI in mathematics. Things have come a long way since then, in large part thanks to GPT 5.2 -> GPT 5.5. However, mathematics is vast and any individual only knows a tiny portion of it, so it's hard for one person to gauge the broader impact. Curious to hear predictions before the results are announced (on June 10)!
The second round of #FirstProof is announced: https://t.co/GFEFlsxL3M.
Glad to see the organizers planning a rigorous process. Most AI benchmarks today still rely on the "honor system". That’s billions of valuation dollars hinging on integrity, even while there are many performance-boosting tricks that are undetectable in results (adding hints to prompts, human intervention, best-of-N, etc). For this reason, one should interpret one-off performances by proprietary models (e.g., on math contests) with a grain of salt–especially when they are carried out after solutions are already posted online.
FirstProof will be the only evaluation based on the natural distribution of research mathematics that guarantees autonomy and transparency of results. It should be considered the gold standard benchmark in the AI4Math space.
This is just the beginning for #Aletheia and autonomous math research. We’re excited to keep pushing the boundaries in AI for knowledge discovery responsibly and transparently!
Thanks to the #FirstProof team for a brilliant challenge! 🚀
Learn more about Aletheia here: https://t.co/BSvTjORG0m
Thrilled to share: #Aletheia, our math research agent, just solved 6/10 notoriously hard FirstProof problems autonomously, the best result in the inaugural challenge! To me, this is even bigger than our historic IMO-gold achievement last year; these problems challenge even top mathematicians. We share our results transparently, see paper and full thoughts in the thread. 👇
#FirstProof Challenge: #Aletheia (powered by Gemini 3 Deep Think) solved 6/10 FirstProof problems fully autonomously! Check our paper for a transparent and detailed description of the process and the evaluation:
https://t.co/Ate7Wuh3DC
#MathAI
Phew, first proof - few minor tweaks and a light aquatint ahead - but it is substantially where I wanted it to be #etching #wip #firstproof #storks #storksnesting #knepp
Always soooo exciting when the first proof of your new book arrives! Many, many #Financialthoughts #Newbook #Firstproof @ChaptersMoney
#firstproof of the new edition of Book of Squalor arrived today. So looks like video editing will be being replaced with prose editing for a couple of days.
#indiepub #supportsmallbusiness #editing #allworkandnoplay
First proof (detail) of a house print commission, bit more cutting and some collograph colour to go.
#linocutprint #linocut #linoprint #lino #commissionedart #Commission #houseprint #firstproof #get_imprinted #blackandwhite
First proof @peacockvisualarts Linocut. 90cm-90cm. #linoblock #linocutting #lino #linocut #collaboration with @vtelier #studio #workinprogress #adeadesina #printmaking #printmakingprocess #linocutprocess #aberdeen #scotland #dremalcarving #paper #printmakingstudio #firstproof
Printing prep @peacockvisualarts Linocut. 90cm-90cm. #linoblock #lino #linocut #collaboration #studio #workinprogress #adeadesina #printmaking #printmakingprocess #linocutprocess #scotland #paper #printmakingstudio #inking #linoinking #linoprinting #firstproof #aberdeen
The biggest sourdough brioche proof EVER!
#sourdough #sourdoughstarter #brioche #homebaker #homebaked #homebakedbread #homemadebread #breaddough #firstproof #risingdough #itsalive #monstrousbreaddough #rapidgrowth… https://t.co/3Mu9qU07Cj
@my19thcentury on David Berman and the strange and beautiful cacophony of memory.
“How many former lovers’ last names can you remember? How many of their middle names did you ever know?” #firstproof #davidberman https://t.co/h3dAqTSRbP
Sneaky peek at the very first proof of this new plate. Not bad, but still a few issues to sort out. #etching #firstproof #contemporaryprintmaking #architecturalgeometry #southbanklondon https://t.co/5Dw7SGihSi
Download a FREE 28-Day Trial of FirstPROOF, our prepress soft-proofing tool, to improve your workflow, reduce costs and detect errors before you get on press: https://t.co/q5T5lBQUDr
#printing #print #prepress #graphicarts #offset #flexo #firstPROOF #printer #platemaking
First proof of my new mezzotint. A bit dark but that’s better than if I had burnished too much. I love the velvety blacks though.
#mezzotint #printmaking #etching #workinprogess #WIP #firstproof
#FirstProof of bacterial MnO2 use to oxidise H2S for survival near the #DeadZone in the #BlackSea! There is an exciting new @PNASNews paper by Jan Henkel @Ostseeforschung, who discovered #Sulfurimonas marisnigri that helps with Black Sea #detox. More info: https://t.co/BbaT2AdS8C
#YesTheyCan! Erster Nachweis bakterieller MnO2-Nutzung fürs Überleben nahe der H2S-#Todeszone im Schwarzen Meer! Es gibt ein spannedes neues @PNASNews-Paper von Jan Henkel @Ostseeforschung, der #Sulfurimonas marisnigri entdeckt hat. Mehr unter https://t.co/GbrVEmaQng
In the words of Snow White: "Some day my proofs will come." And today's the day! Never has a black and white page of text been so exciting.... #history #writing #writerslife #nonfiction #firstproof #proofs @penswordbooks
Most Popular Users
Elon Musk 
@elonmusk
241M followers
Barack Obama
@barackobama
119.2M followers
Cristiano Ronaldo
@cristiano
111.9M followers
Donald J. Trump
@realdonaldtrump
111.8M followers
Narendra Modi
@narendramodi
107M followers
Rihanna
@rihanna
98M followers
NASA
@nasa
92.2M followers
Justin Bieber
@justinbieber
91.2M followers
KATY PERRY
@katyperry
88.4M followers
Taylor Swift
@taylorswift13
82.2M followers
Lady Gaga
@ladygaga
73.7M followers
Virat Kohli
@imvkohli
71M followers
Kim Kardashian
@kimkardashian
70.1M followers
YouTube
@youtube
68.7M followers
Bill Gates
@billgates
64.3M followers
Neymar Jr
@neymarjr
63.9M followers
The Ellen Show
@theellenshow
62.4M followers
CNN
@cnn
61.8M followers
Selena Gomez
@selenagomez
61.4M followers
X
@x
60.8M followers