Mühendisliğin Geleceği ve Yapay Zeka (2. sayfa)

Alphaproof güzel prooflar yazıyordu zaten IMO'da falan ama sorular manuel olarak leane gore formalize edilip oyle veriliyordu. O1 ise buna gerek duymuyor ve bu muhteşem bi gelisme basli basina. LLM formalizasyonu + alphaproof gibi bisey olmus herhalde.

 ggörüyoruz yazılımcıları iş ilanların ne kadar sıkıntıda olduğunu dünyada ozellikle

Ben bunda direkt pdften kopyaliyorum ya buyuk rahatlik, openai muhendisleri sağolsun artik econometrics diye bir dersim yok hepsini cok guzel çözüyor 80 saniyede🥰