Kerem

research assistant @ METU.

[Konsti Wohlwend @konstiwohlwend]

drama summary for those confused:

- Aug 15th: Tristan Buckmaster & Levent Alpöge make progress on a few important math problems

- they do NOT have a proof for the $1,000,000 Millenium Prize problem. BUT, they do claim to have a proof for a similar (non-Millenium) Navier Stokes problem that could help lead the way there

- Levent works at Anthropic, but this research was independent of his work there, with a mix of GPT and Claude models. Tristan is not related to Anthropic.

- Early Sep: Rumor spreads to OpenAI that Anthropic has solved a major problem. Tristan emails OpenAI to clarify. without revealing the problem they solved or how they did it.

- After hearing of the rumor, OpenAI started researching Navier Stokes with a new internal model.

- Sep 6th: OpenAI's Sebastien Bubeck tells Tristan that they solved the $1,000,000 Millenium Prize Navier Stokes problem. The approach is very similar to Tristan & Levent's approach to the non-Millenium problem.

- Tristan is suspicious of the timing, as only few others were trying this approach. OpenAI says the model didn't access his user data directly, but leaves unanswered whether Tristan's chat conversations were part of the training.

- OpenAI says they would partially credit Tristan for the $1,000,000 discovery (even though Tristan did not solve the $1,000,000 problem) — but only if they remove Levent as an author, as he works for Anthropic.

- Sep 8th: Tristan refuses to remove Levent, and rushes to publish their results independently.

Currently unclear is whether Anthropic had a separate solution for the $1,000,000 problem, or whether the rumor was about Tristan & Levent's independent research.

[Kerem @_muopchr]

@hasanyazar_ teşekkürler

[Kerem @_muopchr]

@hasanyazar_ görsellerin stacklerini nasıl yapıyorsunuz? illustrator mu yoksa matplotlibde mi stackliyorsunuz?

[Arkadaş Özakın @ArkadasOzakin]

Daha sık konuşulmayı hak eden bir konu.

(Türkçe'si ALT'ta)

[Kerem @_muopchr]

@_shadowintel_ kaydeden arkadaşlar için yazayım: proof kitapları popüler kitaplar dolayısıyla atın çöpe. önce set theory en son mantık kitabı yazmış... sadece komik. eğer alan dışıysanız ve bakış açısı kazanmak istiyorsanız rigorous textbooklar okumayın. belli ki ahmet de okumamış.

[Leonardo de Moura @Leonard41111588]

I wrote an essay on proof assistants in the age of AI.
https://t.co/sZ8XFGDgbW

[Kerem @_muopchr]

@fatihguzeldev

[∀ugust @ModalMetamodel]

‘Ackshually, “2 + 2 = 5” is true as a heterogeneous equality over a suitable path in Type.’

[Kerem @_muopchr]

@hafifprogram

[Kerem @_muopchr]

@_shadowintel_ llm generated...

[Kerem @_muopchr]

Topologists and their donut joke… Maybe one day they’ll surprise us with a second one.

[Kerem @_muopchr]

@HawkGamma hahahahahha

[Kerem @_muopchr]

@Keleesssss

[Kerem @_muopchr]

@miriadamm masterpiece -- uzerine pek dusunmedigimiz seyler hakkinda nasil tweet atariz? ozellikle (2) ve (3).

[Kerem @_muopchr]

Gödel might be the second most misunderstood figure in the entire history of ideas.

[Ken Klippenstein @kenklippenstein]

@sethharpesq yup. see godel's incompleteness theorems

[Kerem @_muopchr]

@inci52939159 @burakkayaburak @Keleesssss @miriadamm diyemeyiz

[Kerem @_muopchr]

@Keleesssss 2022 edition