🧮Cursor Resolve Problema de Matemática que Humanos Não Conseguiram

O time do Cursor soltou o agente deles num problema de pesquisa matemática de nível Stanford/MIT/Berkeley. Rodou 4 dias sozinho, sem intervenção humana. O resultado? Uma solução que os criadores acreditam ser melhor que a resposta oficial escrita por humanos.

Cursor discovered novel solution to Problem Six of First Proof challenge - math research from Stanford/MIT/Berkeley. Ran fully autonomously for four days.
— @mntruell View on X

Mais da mesma edição

@cryptopunk7213

💰O Garoto de 24 Anos Que Transformou $225M em $5.5B

Leopold Aschenbrenner foi demitido da OpenAI ano passado. Levantou $1B, e em 12 meses transformou em $5.5B. A jogada? Ele percebeu que o gargalo da IA não são os chips - é energia. Está comprando mineradoras de Bitcoin porque elas já têm o que todo mundo precisa: acesso à rede elétrica e licenças que levam anos pra conseguir.

@JustinLin610

👋Adeus Qwen: Líder do Time Deixa a Alibaba

Justin Lin, uma das figuras mais visíveis do Qwen (o modelo open source da Alibaba que tem dado dor de cabeça pra todo mundo), anunciou sua saída. Curto e direto: bye my beloved qwen. Mais um talento saindo de big tech chinesa.

@JoshKale

💻Apple M5 Max: Llama 70B no Café da Esquina

O novo MacBook Pro com M5 Max roda Llama 70B - um modelo que precisava de $40.000 em GPUs há 18 meses - a 20-30 tokens por segundo. Por $3.499. 128GB de memória unificada, 4x mais rápido em IA que o M4 Max. A revolução da IA local acabou de ficar portátil.

Receba no seu email

Todo dia, grátis pra sempre.

Assinar newsletter