Top Tweets for #problem397

8 months ago

AIが人類が誰も解いてない数学の未解決問題を解いた話。数年前のAIはそれっぽい文章書けるのに、簡単な足し算を間違えてたのと比較すると、進化スピードの恐ろしさがわかる。どんな仕事が人間に求められるのか、誰も予測できない時代だと思う。 #エルデシュ #未解決問題 #Erdos #problem397

Neel Somani

@neelsomani

8 months ago

Weekend win: The proof I submitted for Erdos Problem #397 was accepted by Terence Tao. The proof was generated by GPT 5.2 Pro and formalized with Harmonic. Many open problems are sitting there, waiting for someone to prompt ChatGPT to solve them:

neelsomani's tweet photo. Weekend win: The proof I submitted for Erdos Problem #397 was accepted by Terence Tao.

The proof was generated by GPT 5.2 Pro and formalized with Harmonic.

Many open problems are sitting there, waiting for someone to prompt ChatGPT to solve them: https://t.co/hnUBQ7YCBp

337

367

Top Tweets for #problem397

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users