I had found it strange that Picard was trying to solve Fermat’s last theorem without being professional mathematician. 

But with the recent advances in AI, I think this will be common in 200 years

In Star Trek TNG S2:E12 Fermat’s last theorem is shown to be unsolved still in the 24th century. Interesting that this aired in 1988 which should have been the same time around which Andrew Wiles started working on its proof.

Anuraj R.

I had found it strange that Picard was trying to solve Fermat’s last theorem without being professional mathematician. 

But with the recent advances in AI, I think this will be common in 200 years 

https://x.com/anurajenp/status/1313918063289552896

for context the actual proof by Andrew Wiles is around 130 pages

Curious | building robots | https://anurajrp.io/about/

for context the actual proof by Andrew Wiles is around 130 pages 

https://en.m.wikipedia.org/wiki/Wiles%27s_proof_of_Fermat%27s_Last_Theorem

Star Trek once again predicted correctly. 

Now I think this sort casual mathematician trying to solve problems like Fermat’s Last Theorem might happen 100 years earlier than in 24th century like shown in Star Trek

2/10  Existing math benchmarks like GSM8K and MATH are approaching saturation, with AI models scoring over 90%—partly due to data contamination. FrontierMath significantly raises the bar. Our problems often require hours or even days of effort from expert mathematicians. https://t.co/XxMFECfsp4

The Frontier Math benchmark is challenging for Fields Medalists.

The state of the art stood at 2% just 2 months ago.

It has now been shattered by o3. https://t.co/NFcpxACoYw

Balaji

Star Trek once again predicted correctly. 

Now I think this sort casual mathematician trying to solve problems like Fermat’s Last Theorem might happen 100 years earlier than in 24th century like shown in Star Trek

https://x.com/balajis/status/1870206318872801766

99.99% of people cannot comprehend how insane FrontierMath is.

The problems are crafted by Math profs and not in any training data.

Math legend Terry Tao said "These are extremely challenging. I think they will resist AIs for several years at least."

OpenAI o3 did 25% on THIS. https://t.co/Cur2uOKFVL

Deedy

https://x.com/deedydas/status/1870286948235128939