秩 ≥ 30 的椭圆曲线
An elliptic curve of rank ≥ 30

原始链接: https://elliptic-rank.icarm.cloud/curve/273

此条目摘自椭圆曲线秩排行榜,展示了一条秩至少为 30 的破纪录椭圆曲线。该曲线由 "ranksunbounded" 于 2026 年 8 月 20 日提交,方程为:$y^2 + xy = x^3 - 201769035260418549083594900060734240952308696994802735114305555x + 1151107939141058565733479426024323225135665982951300586808823640527729578307228357301072889377$。 除了创下秩 $\ge 30$ 的新纪录外,该曲线还在朴素高度(442.0854)、法尔廷斯高度(34.7705)及判别式数值方面设立了基准。数据包含 30 个作为该秩证明的独立点列表,以及曲线的导体和已知的坏约化素数。本研究由美国国家科学基金会(NSF)计算机辅助数学推理研究所(ICARM)维护。

最近,一位神秘用户发布了一条秩至少为 30 的椭圆曲线,打破了 Elkies 和 Klagsbrun 于 2024 年初创下的 29 的纪录。此后,这一突破被证实是由 Levent Alpöge、Ava Howell 以及人工智能模型 Claude 共同完成的。 在数学中,椭圆曲线的“秩”用于衡量曲线的复杂程度及曲线上独立有理点的数量。寻找高秩曲线难度极大且意义深远;由于此前人们曾怀疑秩可能存在上限,这一发现挑战了既有的启发式观点,即认为高秩曲线极其罕见。 这一成就因人工智能的参与及 Alpöge 的专业贡献而引发了热议。Alpöge 是一位以善于利用 AI 工具解决复杂数学问题而闻名的数学家。虽然这一发现是一个重要的里程碑,但它也引发了关于数学研究未来、人工智能在生成复杂证明中的作用,以及椭圆曲线的秩是否能无限增加等基本问题的持续争论。
相关文章

原文
curve #273 — Elliptic Curve Rank Leaderboard

y2 + xy = x3 − 201769035260418549083594900060734240952308696994802735114305555x + 1151107939141058565733479426024323225135665982951300586808823640527729578307228357301072889377

a-invariants
[1, 0, 0, -201769035260418549083594900060734240952308696994802735114305555, 1151107939141058565733479426024323225135665982951300586808823640527729578307228357301072889377]
rank (lower bound)
≥ 30
conductor (N)
2381958488309327728488641214562148525681586925734398576894288277390640894675828305511266759053188773997283310012808983216600083938367948090232306090 ★ record for rank ≥ 30
naive height
442.0854 ★ record for rank ≥ 30
Faltings height
34.7705 ★ record for rank ≥ 30
discriminant (Δ)
-46714661255308767314567688733841531918983356002159772613256840842851650254036518701100578342601553513579222272710220496887616034526983492843954090554197033638137245037791044053017600000000 ★ record for rank ≥ 30
primes of bad reduction
2, 3, 5, 7, 13, 31, 41, 47, 53, 67, 379, 4349, 25721454817, 97018222656318846556561979214040553412450110580812087282349817173780902099339117104673990259247421230916714670243202937
regulator
10720686604115654188358042985326663938.588084900092986474567459949780498792191278825612795832355129
submitted by
ranksunbounded
submitted at
2026-08-20 08:10:53
last updated
2026-08-20 11:24:48

Witness: 30 independent points

  • (-4761204159891138283979053265906, 44764265461782973805868732003346421827415264953)
  • (-14158422539541566469588779426546, 34199834254251713784176619895082644508395077433)
  • (-11522667358396562420423130332066, -44115070023357103726405378140637465204943359607)
  • (-204839531927226269712122049566, -34531574232452693997231136031282772551453427107)
  • (3899324051227528532535432912094, 20582352852872417675268569815574934013539218953)
  • (149851368287976334870008075289384, -1826442728148288630645637436047625928557963231657)
  • (240440240734591134232325971191694, 3721941824016160691689265341458606456425791434553)
  • (58446054919170749975942104376446/9, -289145377197241504032247540119122580900747897469/27)
  • (25642661602146479458845459929344, -113306861325798987289137854129016658652160209297)
  • (25720885078613923889202869994094, -113918565504468051036791617945007239588074855047)
  • (4956414590296956229584100339596814, 348939117745197814060339374812186839746231405619513)
  • (725964821994104294477684670330094, -19556488133953913131900670560396205869420775943047)
  • (20802191136944676997135829374, 33866070189878993817062821320678356972094522793)
  • (79052318332408565020526148386446/9, -202982221452031541387733280916787231176177841869/27)
  • (-11232245340662775388535509780886, -44725045659073489550941507272219743508825024527)
  • (8362456338772815315335239525614, -6972475614865802969141741730862843401376795527)
  • (2011658715643038193607509024534, 27447371869432010931671648582500375378543228993)
  • (5027695440284894460797358334207726/529, -116678851641395817353208818767411586490893208148849/12167)
  • (24649144267565165528439068441554, 105612540318783792474731275264940719325335867213)
  • (-12211389420609043025008816968566, 42356225616159991618318584560811156010370207173)
  • (7798692390172953821075781106768126/1369, -691870045568822811690292896396241871567834072004011/50653)
  • (87157992815740534253438806045216/9, 277139378791840529410298740802253693668472375061/27)
  • (30786757706172245427369935940751/4, 58841476683002984849182029306774218124047405249/8)
  • (245309280348041323814668746104926/25, 1346501028820415725958868015485008289981037919061/125)
  • (-343878076324392159036619356326, -34934957027779219869199839566344035316624147307)
  • (544211807917340289404451270094, -32271721754226832038590040491036826507284103047)
  • (20286216384652039303944170492166526/9409, -24593234902246769413006506020777691495865223432164871/912673)
  • (-25558163204018019740775243468600589874/1760929, 74707049582033426178338768659390679551818201954095350999/2336752783)
  • (4546264873863829383537112534021848799606/398521369, -145386763829319577901520209264368135012688669041886277075149/7955682089347)
  • (1709164065046406773620054102684586/169, 26450264171408287955631955124255640794301463854841/2197)

This website is maintained by the NSF Institute for Computer-Aided Reasoning in Mathematics (ICARM). Please acknowledge ICARM and NSF Grant DMS 2425401 in related publications, projects, or other scholarly work.

联系我们 contact @ memedata.com