ICARM

@ICARMath

The Institute for Computer-Aided Reasoning in Mathematics (ICARM) is a new @NSF Mathematical Sciences Research Institute located at Carnegie Mellon University.

Pittsburgh, PA

Joined August 2025

4 Following

6 Followers

Replies Reposts Media

ICARM
@ICARMath
Oct 21
Missed the webinar announcing the results of First Proof's Third Batch? You can now view the recording on the ICARM YouTube channel: youtube.com/watch?v=qgnfiU…
ICARM
@ICARMath
Oct 13
Webinar: First Proof, Third Batch Results. Wednesday, October 14 at 3:00 PM ET, with live Q&A. Register here cmu.zoom.us/webinar/regist… icarm.io/news/first-pro…
ICARM
@ICARMath
Oct 13
Webinar: First Proof, Third Batch Results. Wednesday, October 14 at 3:00 PM ET, with live Q&A. Register here cmu.zoom.us/webinar/regist… icarm.io/news/first-pro…
cmu.zoom.us
Video Conferencing, Web Conferencing, Webinars, Screen Sharing
Zoom is the leader in modern enterprise video communications, with an easy, reliable cloud platform for video and audio conferencing, chat, and webinars across mobile, desktop, and room systems. Zoom...
ICARM
@ICARMath
Aug 21
Announcing Palomar, a registry of Lean verified mathematics Palomar, a public registry of Lean formalizations whose proofs have been machine-checked, is now open for submissions. Incubated by @ICARMath and the Lean FRO.
Announcing Palomar, a registry of Lean verified mathematics
From icarm.io
ICARM
@ICARMath
Aug 20
Excellent work by @dwrensha setting up this resource!
David Renshaw
@dwrensha
Aug 20
This elliptic curve over ℚ, submitted by "ranksunbounded", has rank ≥ 30: y² + xy = x³ − 201769035260418549083594900060734240952308696994802735114305555x + 1151107939141058565733479426024323225135665982951300586808823640527729578307228357301072889377 elliptic-rank.icarm.cloud/curve/273
ICARM
@ICARMath
Aug 20
New record in arithmetic geometry: the first known elliptic curve with rank 30 was uploaded to ICARM's Elliptic Curve Rank Leaderboard, surpassing the rank-29 record set by Elkies & Klagsbrun in 2024. Details + discussion:
New record breaking elliptic curve reported
From icarm.io

ICARM

ICARM’s posts