elias_t

Do you have the names of such projects?

Yes it compresses the proofs but still "Sol had generated 1.2 million lines of Lean code in the three weeks that it had worked on the project". I mean how do you even verify that?

I wonder if at some point mathematicians will be over-flooded with proofs to check and eventually some over confident false claim will make it into math.

Maybe in the future the work of Mathematicians will be like the ones of SWEs with AI, check thousands of lines of AI generated proof and find the subtle errors

Location: Italy

Remote: Yes

Willing to relocate: Yes!

Technologies: Python, Kubernetes, Java, Aws, ML and much more

Résumé/CV: https://drive.google.com/file/d/1pOH2OhfHTgKLq34u1JlzZV723bR...

Email: elias.thouant@gmail.com

I'd love to apply but it's only open to US workers, think about changing REMOTE to REMOTE (US)

The link appears to be wrong. Try https://priorlabs.ai/careers#open-positions

In a study with 197 participants, the team could infer the identity of persons with almost 100% accuracy

That a super impressive! I wonder how that would be at scale, with a few millions people. I’m don’t think that would remain as accurate

So before it was underreporting and after it was proper categorization? If that was the case we would have seen a more smooth curve before and after I think

IMO there is also muscle memory, strategy ect. Being able to process more information doesn't mean it's processed better, the contrary actually if you think about processing times

We feel time differently over our lives. As a toddler, an afternoon feels like an eternity. In middle age, “no matter how I try, those years just flow by, like a broken down dam.” For a 5 year old, a year was a fifth of their life, and feels like it. For a 40 year old, it is just another year.

I think this explanation is true but incomplete. I believe it's also related to Critical Flicker Fusion Frequency [0], the way I see it, if an organism is smaller it has a higher frequency, it sees more image per second, therefore perception of time is slower. (E.g. a fly sees you moving really slowly). Maybe it's related to the processing time of images, with smaller brains insect can process more of them per second.

Maybe humans process more images as children, therefore see the time time going slower.

It's been a while I didn't think about this, maybe some studies have been made in the past years.

[0] https://en.wikipedia.org/wiki/Flicker_fusion_threshold

In 1950, there were 2.7 suicides per 100,000 15- to 19-year-olds. Today, there are 7.5 (though that’s down from a 1990s peak of 13.2).

Little typo, looking at the link it's 11.2 not 13.2. Someone knows why this peak?

I guess even if you win 0.1 cents/day with a bot, it's just scalling afterward

Are there any benchmarks that exist for those 24 languages?

Does someone have the benchmarks compared to other models?

Location: Europe (Turin, Italy) Remote: Worldwide can adapt to timezone, can also travel if needed ofr hybrid. Willing to relocate: Yes but in a July 2026! Technologies: Python, Kubernetes, Asp.Net, React, ELK and many more Résumé/CV: https://drive.google.com/file/d/1RlscJr5Lv9oooa0hW14Xz_zoAQP... Email: elias.thouant <at> gmail.com