The pace which AI moves today is so quick that startups are like little seedlings growing on the side of a volcano
BREAKING: Terence Tao and 24 other Fields Medalists just signed a letter telling AI companies they're destroying mathematics
>headlines: AI solves famous math problems
>25 greatest mathematicians respond today
>"we are witnessing a general threat to intellectual work"
>ai labs are treating math problems like a benchmark you can brute force
>“solutions are announced in a rush, leaving no time for a proper writeup and citing relevant previous work of others"
>they're talking about openai
>"this raises severe attribution and plagiarism questions"
>they're definitely talking about openai
>openai offered to put math professor name on navier-stokes proof
>condition: abandon his coauthor bc he works at anthropic
>"the most precious resources of our profession are students and ideas"
>for the labs the most precious resource is GPUs
A Severe Misalignment of AI in Mathematics
Jason Sun retweeted
Remember when anthropic had their models secretly sabotage your work if you were doing AI research?
I was going to sleep pretty annoyed Opus 5 speaks in a hard to understand English format.
When I woke up I realized the problem is humans are too dumb to keep up. Think about it - does a fly understand English as well?
RIP human intelligence apex.
2.4M watching this stream, from way far away and totally unfiltered commentary!
#netflixcrash #TysonPaul
Jason Sun retweeted
Everyone flooding to twitter to complain about the Netflix servers
#PaulTyson #TysonPaul #netflixcrash fight
Jason Sun retweeted
3. Arcwise AI:
A plugin for Google Sheets that instantly understands, cleans, and ingests data in your sheets using AI.
Ask Arcwise any question about your spreadsheet and it will do the math for you and give you the right answer in seconds:
Jason Sun retweeted
In addition to formula 'inference', GPT-4 is noticeably better at converting complex questions to formulas, including using SQL via the Google Sheets QUERY() function for more advanced tasks.
Here, "What are the most profitable sales teams?" results in a fully correct QUERY().
Jason Sun retweeted
We've found that GPT-4 is remarkably good at understanding spreadsheet formulas. In the task below, we "mask out" key formulas from some sample sheets and ask GPT-4 to infer the missing formulas.
#GPT4 answers surprising accuracy — meanwhile, both ChatGPT/GPT-3 fail this test.




















