ICARM

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

[ICARM @ICARMath]

Missed the webinar announcing the results of First Proof's Third Batch? You can now view the recording on the ICARM YouTube channel: https://t.co/2SGxmwHxSR

[ICARM @ICARMath]

Webinar: First Proof, Third Batch Results.

Wednesday, October 14 at 3:00 PM ET, with live Q&A. Register here https://t.co/VsW8Mo2Abh

https://t.co/gNtSMtb80a

[ICARM @ICARMath]

Webinar: First Proof, Third Batch Results.

Wednesday, October 14 at 3:00 PM ET, with live Q&A. Register here https://t.co/VsW8Mo2Abh

https://t.co/gNtSMtb80a

[ICARM @ICARMath]

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.

https://t.co/gXxRMPmYAR

[ICARM @ICARMath]

Excellent work by @dwrensha setting up this resource!

[David Renshaw @dwrensha]

This elliptic curve over ℚ, submitted by "ranksunbounded", has rank ≥ 30:

y² + xy = x³ − 201769035260418549083594900060734240952308696994802735114305555x + 1151107939141058565733479426024323225135665982951300586808823640527729578307228357301072889377

https://t.co/LKdHLEqHiU

[ICARM @ICARMath]

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: https://t.co/u8gCtnODt0