fortend

[Vlad Tenev @vladtenev]

We are on the cusp of a profound change in the field of mathematics. Vibe proving is here.

Aristotle from @HarmonicMath just proved Erdos Problem #124 in @leanprover, all by itself. This problem has been open for nearly 30 years since conjectured in the paper “Complete sequences of sets of integer powers” in the journal Acta Arithmetica.

Boris Alexeev ran this problem using a beta version of Aristotle, recently updated to have stronger reasoning ability and a natural language interface.

Mathematical superintelligence is getting closer by the minute, and I’m confident it will change and dramatically accelerate progress in mathematics and all dependent fields.

[fortend @toramans3]

@RobinBrooksIIF

[UltraDAO @Ultra_DAO]

We're giving away Max Pain #491 by @XCOPYART in honor of @gabrielleydon's $7m Super Bowl ad spend.

All you have to do is follow @Ultra_DAO and retweet this. Winner will be picked on 2-23-23.

[Ralph Schoellhammer @Raphfel]

There is a tendency in Europe to blame the US whenever they screw up.

But there is no plan by the US to destroy Germany -they do it to themselves.

Green madness, taxation, abolishing nuclear, banning fracking, disincentivizing research, failed migration policies.

All homemade.

[Preston Pysh @PrestonPysh]

Check out the disparity on these two charts -just in 2020 alone.

A growth in M2 money supply by +22.5%
Velocity of money DOWN by -20%

Printing is nesting itself into bonds and stocks. It's causing massive destruction of the middle class. You might want to checkout #Bitcoin...

[Lyn Alden @LynAldenContact]

I published a new research piece for #bitcoin explaining why I’m currently bullish from a macro/generalist investor perspective, as part of a portfolio.

Check it out here:
https://t.co/8LxOPZTBf5

[fortend @toramans3]

A Look Back at Q1 Public SaaS Earnings by @jaminball https://t.co/w1mR3VbBUG

[fortend @toramans3]

Asset Management Outlook to 2025 https://t.co/9SR991wDxi