♫⃠GNew♫⃠

uso aqui pra falar qualquer merda

[1eozim @1eozinho01]

Um homem de 19 anos e um Moleque de 34

[Paula Sampaio Moreti @GiuliMedrado]

8 anos depois, Neymar segue patético.

[♫⃠GNew♫⃠ @YellowSubmsrine]

@yogeshtwet He is a better cadaver

[Math Files @Math_files]

Gauss and Euler

[thehype. @thehypedotnews]

source: https://t.co/ooEuenT1xK

[thehype. @thehypedotnews]

another bunch of unsolved math problems was solved by ai. here's how

google's agent solved 53+ open math problems. what it solved:

• 9 erdos problems out of 353 attempted, including two that had been open for 56 years (these span number theory, combinatorics, and set theory)
• 44 oeis conjectures out of 492 (oeis – the online encyclopedia of integer sequences is a catalog of number patterns – many entries have formulas or behaviors that are believed true but never proven)
• a 15-year-old open problem on hilbert functions in algebraic geometry (about whether a certain sequence of numbers always forms a "hill" shape where the middle is never lower than its neighbors)

how it was performed
they built 4 agents of increasing complexity:
- the basic one is just an llm proposing proofs + the lean compiler checking them in a loop, feeding errors back for correction
- the full-featured agent adds evolutionary search: llm raters rank proof attempts by plausibility, the best ones get combined and mutated, and it can call a specialized olympiad-level prover called alphaproof as a tool for sub-goals. all runs cost a few hundred dollars per problem

surprising finding

the basic agent solved almost everything the fancy one did, often at lower cost. the complex evolutionary agent only pulled ahead on the hardest problems, offering 2x-5x savings. as llms get more capable, simple loops with formal verification might be all you need

conclusion
ai is becoming more and more powerful in math. this destination is clear: openai, anthropic and google are improving their products for it

follow @thehypedotnews for 24/7 ai news, analysis and breakdowns

[♫⃠GNew♫⃠ @YellowSubmsrine]

@SF_Moro @FlavioBolsonaro Sergio, com toda minha cordialidade e consideração, posso perguntar se você estaria interessado em, assim, é só uma ideia sabe? De ir até aqui e, assim, se estiver bem com isso, se envolver com meu pênis de forma romântica?

[♫⃠GNew♫⃠ @YellowSubmsrine]

@luih13 @Love_Kimseokj @sazon1_ Não sabia que o trump e a igreja catolica estavam envolvidos na criação do desenho

[♫⃠GNew♫⃠ @YellowSubmsrine]

@lu_mtrip Os bolsonarista se afastam da esquerda pq acham que é tudo petista e lulista, mas se tivermos gente de esquerda de verdade, como o jones, criticando o lula e dando propostas melhores, é uma oportunidade pra essa velharada bolsonarista de descobrirem que a esquerda de vdd

[♫⃠GNew♫⃠ @YellowSubmsrine]

@Henri_grayson @otaro_Mikuel Acho mais realista, o aborto não precisa ser tratado como a única opção em uma situação limites, mas uma que ela escolheu e foi justificado, talvez não a melhor escolha mas era uma.

Não sei se consegui traduzir minha ideia da melhor forma

[♫⃠GNew♫⃠ @YellowSubmsrine]

@danrleygomesdo3 @Gard95079 @Maxx_Artist Justo

[♫⃠GNew♫⃠ @YellowSubmsrine]

@danrleygomesdo3 @Gard95079 @Maxx_Artist Ela não queria engravidar, foi um acidente, e não é uma criança, é um feto

[♫⃠GNew♫⃠ @YellowSubmsrine]

@InkstainedFox03 @DaniLarussoMD @_al12skpizg @Maxx_Artist Legally you only became a child when you are born

[♫⃠GNew♫⃠ @YellowSubmsrine]

@DaniLarussoMD @_al12skpizg @Maxx_Artist Muito melhor morrer sem dor e medo do que de forma traumatizada com sofrimento, e fetos não são bebês

[♫⃠GNew♫⃠ @YellowSubmsrine]

@HighAsura @_al12skpizg @Maxx_Artist Melhor morrer sem sofrimento do que morrer traumatizada e com medo e dor

[♫⃠GNew♫⃠ @YellowSubmsrine]

@Gard95079 @Maxx_Artist Não tinha garantia nenhuma de que ele poderia voltar, ela não tinha suporte emocional e nem estava em um momento mentalmente bem pra cuidar de uma criança, e a porra do corpo é dela e ela decide o que é melhor pra ela

[coelho @pathetic_bunnyy]

p1 de calulo 3:
o russo chega com 3 pimentoes amarelos enormes
passa a foto da prova no zap
pede pra escrever em bastao
senta e coloca serie em russo e dá pra ouvir tudo

[Normose @Normose_]

hoje o pirula postou uma foto e tá voltando
e isso foi o suficiente pra alegrar meu dia

O HOMI TÁ VOLTANDO PORRA 🩷🩵

[Math Lady Hazel 🇦🇷 @mathladyhazel]

The shortest-known paper in a math journal.