Elektrine lite

← Feed

@mc@mathstodon.xyz

Post #2855013

2026-05-25 07:24 UTC

RE: https://social.vivaldi.net/@RosaCtrl/116629962550751648 "From a business perspective, I actually think this announcement isn’t necessarily good news for OpenAI. There are few markets smaller and less lucrative than professional academic mathematics." Idk why people think AI companies are trying to automate academics (maybe because they believe the companies' press releases?). The most lucrative market for phd-level math is finance. They're trying to sell robot grad students to trading companies.

Replies (2)

  • @mc@mathstodon.xyz And to automate formal proof for EDA.

    Open ##3080256

  • @julesh@mathstodon.xyz 2026-05-25 09:36

    @mc@mathstodon.xyz oh my god, I'd never been able to figure out why they keep funding and talking about pure maths, the best explanation I could come up with was to mumble about the rationalist cult and AGI, I don't know why I didn't think of this but suddenly everything makes sense

    Open ##3080259